Search

Dynamic symbolic execution (DSE) is a powerful test generation approach based on an exploration of the path space of the program under test. Well-adapted for path coverage, this approach is however less efficient for conditions, decisions, advanced coverage criteria (such as multiple conditions, weak mutations, boundary testing) or user-provided test objectives. While theoretical solutions to adapt DSE to a large set of criteria have been proposed, they have never been integrated into publicly available testing tools. This paper presents a first integration of an optimized test generation strategy for advanced coverage criteria into a popular open-source testing tool based on DSE, namely, Klee. The integration is performed in a fully black-box manner, and can therefore inspire an easy integration into other similar tools. The resulting version of the tool, named Klee4labels, is publicly available. We present the design of the proposed technique and evaluate it on several benchmarks. Our results confirm the benefits of the proposed tool for advanced coverage criteria., Comment: 15 pages

We present the first long-duration and high duty cycle 40-tesla pulsed-field cryomagnet addressed to single crystal neutron diffraction experiments at temperatures down to 2 K. The magnet produces a horizontal field in a bi-conical geometry, $\pm$15 and $\pm$30{\deg} upstream and downstream of the sample, respectively. Using a 1.15MJ mobile generator, magnetic field pulses of 100 ms length are generated in the magnet, with a rise time of 23 ms and a repetition rate of 6-7 pulses per hour at 40 T. The setup was validated for neutron diffraction on the CEA-CRG three-axis spectrometer IN22 at the ILL., Comment: 7 pages, 8 figures

Edited proceedings of an interdisciplinary symposium on consciousness held at the University of Cambridge in January 1978. The purpose of the Cambridge conference was to encourage distinguished scientists to express their views on the relationship of conscious experience to the physical world., Comment: The text was prepared using OCR software, and in consequence some errors are present. An error-free version obtained by scanning can be found at https://www.repository.cam.ac.uk/handle/1810/245189