Dynamic method for software test data generation

Test data generation in program testing is the process of identifying a set of test data which satisfies a given testing criterion. Existing pathwise test data generators proceed by selecting program paths that satisfy the selected criterion and then generating program inputs for these paths. One of the problems with this approach is that unfeasible paths are often selected; as a result, significant computational effort can be wasted in analysing those paths. In this paper, an approach to test data generation, referred to as a dynamic approach for test data generation, is presented. In this approach, the path selection stage is eliminated. Test data are derived based on the actual execution of the program under test and function minimization methods. The approach starts by executing a program for an arbitrary program input. During program execution for each executed branch, a search procedure decides whether the execution should continue through the current branch or an alternative branch should be taken. If an undesirable execution flow is observed at the current branch, then a real-valued function is associated with this branch, and function minimization search algorithms are used to locate values of input variables automatically, which will change the flow of execution at this branch.     

Synthesis,Computational Studies and Assessment of in Vitro Activity of Squalene Derivatives as Carbonic Anhydrase Inhibitors

We report novel molecules incorporating the nontoxic squalene scaffold and different carbonic anhydrase inhibitors (CAIs). Potent inhibitory action, in the low-nanomolar range, was detected against isoforms hCA II for sulfonamide derivatives, which proved to be selective against this isoform over the tumor-associate hCA IX and XII isoforms. On the other hand, coumarin derivatives showed weak potency but high selectivity against the tumor-associated isoform CA IX. These compounds are interesting candidates for preclinical evaluation in glaucoma or various tumors in which the two enzymes are involved. In addition, an in silico study of inhibitor-bound hCA II revealed extensive interactions with the hydrophobic pocket of the active site and provided molecular insights into the binding properties of these new inhibitors.     

Specific Heat of Olive Oil to 356 MPa

We measured the velocity of sound in olive oil under pressure with the Brillouin light scattering technique. Using the values for the density and the thermal conductivity that have only recently been reported, we calculated the adiabatic compressibility and the isobaric specific heat up to 356 MPa and the thermal diffusivity up to 200 MPa. The specific heat displays a maximum at 124 MPa, suggesting a possible phase transition around this pressure. Apart from the theoretical and practical importance of these results for the food industry and beyond, this work shows that Brillouin light scattering and macroscopic methods are complementary and can be employed to measure thermophysical parameters of food liquids under pressure.     

Coordination‐Assisted Bioorthogonal Chemistry: Orthogonal Tetrazine Ligation with Vinylboronic Acid and a Strained Alkene

Bioorthogonal chemistry can be used for the selective modification of biomolecules without interfering with any other functionality that might be present. Recent developments in the field include orthogonal bioorthogonal reactions to modify multiple biomolecules simultaneously. During our research, we observed that the reaction rates for the bioorthogonal inverse‐electron‐demand Diels–Alder (iEDDA) reactions between nonstrained vinylboronic acids (VBAs) and dipyridyl‐s‐tetrazines were exceptionally higher than those between VBAs and tetrazines bearing a methyl or phenyl substituent. As VBAs are mild Lewis acids, we hypothesised that coordination of the pyridyl nitrogen atom to the boronic acid promoted tetrazine ligation. Herein, we explore the molecular basis and scope of VBA–tetrazine ligation in more detail and benefit from its unique reactivity in the simultaneous orthogonal tetrazine labelling of two proteins modified with VBA and norbornene, a widely used strained alkene. We further show that the two orthogonal iEDDA reactions can be performed in living cells by labelling the proteasome by using a nonselective probe equipped with a VBA and a subunit‐selective VBA bearing a norbornene moiety.     

Transient thermal response of a PCS heat storage system

Over the last years the use of phase change slurries (PCSs) based on microencapsulated phase change material (MEPCM) increased considerably due to their capacity of adaptation to various heat storage systems. PCSs are obtained by dispersing a microencapsulated PCM (particle diameter 5-20 μm) into a heat carrier fluid (e.g. water). Heat storage systems are used in applications where the available energy supply is not synchronous with the demand, such as solar thermal and waste heat recovery systems. The theoretical study conducted here - based on heat transfer and energy conservation equations - is intended to developing a theoretical model of the heat storage properties of phase change slurries capable of predicting the transient thermal response of a thermal energy storage system (TES). Most of the research work was focused on investigating the enthalpy-temperature curves resulting from a heating-cooling cycle around the melting point of the PCM. The influence of other parameters such as mico-particles diameter was assessed.     

Carbon nanotube air-bubble interactions studied by atomic force microscopy

Interaction forces between a multi-walled carbon nanotube (MWCNT) and an air-bubble in pure deionized water and methyl isobutyl carbinol (MIBC) solutions were measured by atomic force microscopy (AFM). The MWCNT terminated probe was brought into contact with the bubble at controlled applied forces. The repulsive steps followed by attractive jumps recorded in the approach force curves correspond to changes in the MWCNT diameter along its length, an observation confirmed by transmission electron microscopy (TEM) data. By processing the retraction part of the force curves obtained in pure water it is possible to estimate the end diameter of the carbon nanotube with nanometer resolution using a capillary force model.     

A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems

Since the 1980s, two approaches have been developed for analyzing security protocols. One of the approaches relies on a computational model that considers issues of complexity and probability. This approach captures a strong notion of security, guaranteed against all probabilistic polynomial-time attacks. The other approach relies on a symbolic model of protocol executions in which cryptographic primitives are treated as black boxes. Since the seminal work of Dolev and Yao, it has been realized that this latter approach enables significantly simpler and often automated proofs. However, the guarantees that it offers with respect to the more detailed computational models have been quite unclear. For more than 20 years the two approaches have coexisted but evolved mostly independently. Recently, significant research efforts attempt to develop paradigms for cryptographic systems analysis that combines the best of both worlds. There are two broad directions that have been followed. Computational soundness aims to establish sufficient conditions under which results obtained using symbolic models imply security under computational models. The direct approach aims to apply the principles and the techniques developed in the context of symbolic models directly to computational ones. In this paper we survey existing results along both of these directions. Our goal is to provide a rather complete summary that could act as a quick reference for researchers who want to contribute to the field, want to make use of existing results, or just want to get a better picture of what results already exist.