Diss. Nr. 7537 Naturwiss. ETH Zürich. / Polykop. Bibliogr.: S. 108-111.

Diss.--Kunstgeschichte--Saarbrücken, 1981. / Bibliogr. p. 254-269.

Zugl.: Passau, Univ., Habil.-Schr., 2006

Thesis--Tübingen, 1975. / Vita. Includes bibliographical references (p. 451-458).

Diss. phil.-hist. Bern. / Titel von CD-ROM.

Software engineers spend much of their time checking the correctness of software. Software testing is the most widely used technique for accomplishing this task. Most of the test cases used for checking software are manually created, and may not always cover all execution paths of the software. If key test cases are not executed, then the possibility of errors within the software still exists. By using tools that can automate the testing of software, software engineers can run exhaustive tests on their applications to provide verification and validation. Symbolic execution is a program analysis technique that can be utilized to achieve this. KLEE is an open-source dynamic test generation tool based on symbolic execution. In this report I present my results from evaluating KLEE on the Texas Instruments® Stellaris® Peripheral Driver Library. The Stellaris® Peripheral Driver Library consists of software drivers for controlling the peripherals on the Stellaris suite of ARM® Cortex-M based microcontrollers. In total 554 functions within the library were tested, and a total of 14763 test cases were generated. There were 32 bugs found in the software, which include assertion violations, memory errors, and arithmetic errors (division by zero, and shift errors). / text

Permission from the author to digitize this work is pending. Please contact the ICS library if you would like to view this work.

Doctorado en filosofía con mención en estética y teoría del arte / En la primera parte de nuestra investigación intentamos atender un esbozo pedagógico kleeneano de un curso de la Bauhaus, este era el llamado por Klee: Los tres casos (die Drei Fälle). Si recordamos que el movimiento que cohesionaba el dominio de una superficie y el dominio de una línea era el expresado por un punto-movimiento y una línea-movimiento, también lo que él describía nos llevaba a atender que en aquella cohesión se distinguían aquellos dominios en tanto en el dominio de una línea activa se expresaba una superficie pasiva y en el dominio de una superficie activa una línea pasiva al mismo tiempo que el movimiento era descrito por aquel punto-movimiento y aquella línea-movimiento. Dicho de otro modo, en el dominio de la línea activa se presentaba el movimiento como un puntomovimiento y en el de la superficie activa como una línea-movimiento, y, en este sentido, como decía Boehm, teníamos que concebir que la energía original del punto permanecía virulenta (virulent) en tanto en cuanto los cohesionaba transformándose en el recorrido que expresaba aquel boceto. Para Klee, en cuanto considerábamos que aquel boceto era una presentación de la cohesión entre aquellos dominios, también se expresaban dos acontecimientos en Los tres casos: los de cortar y caer, que exponían, en la medida en que aquel boceto expresaba un movimiento, el ser de sensación que presentaba el dominio de lo abstracto. Por un lado, también hemos buscado considerar para el paso hacia aquel dominio la estructura que concibe Klee bajo una concepción constructiva y compositiva que diferencia un movimiento que en tanto implica una intuición (Intuition) desborda lo constructivo de la estructura. / Abril 2023

Diss.--Universität Leiden, 1992. / Bibliogr. p. 179- p. 198. liste des oeuvres de Paul Klee contenant des caractères d'écriture p. 161- p. 175.

Compiler optimizations in the context of traditional program execution is a well-studied research area, and modern compilers typically offer a suite of optimization options. This thesis reports the first study (to our knowledge) on how standard compiler optimizations influence symbolic execution. We study 33 optimization flags of the LLVM compiler infrastructure, which are used by the KLEE symbolic execution engine. Specifically, we study (1) how different optimizations influence the performance of KLEE for Unix Coreutils, (2) how the influence varies across two different program classes, and (3) how the influence varies across three different back-end constraint solvers. Some of our findings surprised us. For example, KLEE's setting for applying the 33 optimizations in a pre-defined order provides sub-optimal performance for a majority of the Coreutils when using the basic depth-first search; moreover, in our experimental setup, applying no optimization performs better for many of the Coreutils. / text