Sökning: "Christopher Svanefalk"
Hittade 1 uppsats innehållade orden Christopher Svanefalk.
1. KeYTestGen2: an automatic, verification-driven test case generator
Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknikSammanfattning : Software testing is a verification technique common in contemporary software engineering processes, both the development of the system itself, as well as subsequent quality assurance, maintenance and extension. It suffers, however, from the drawback that writing high quality test cases is an error prone and resource heavy process. LÄS MER
Resultatsidor:
1