Sökning: "Christoph Kaiser"
Hittade 1 uppsats innehållade orden Christoph Kaiser.
1. Quantitative Analysis of Exploration Schedules for Symbolic Execution
Master-uppsats, KTH/Skolan för datavetenskap och kommunikation (CSC)Sammanfattning : Due to complexity in software, manual testing is not enough to cover all relevant behaviours of it. A different approach to this problem is Symbolic Execution. Symbolic Execution is a software testing technique that tests all possible inputs of a program in the hopes of finding all bugs. LÄS MER
Resultatsidor:
1