Sökning: "Christopher Svanefalk"

Hittade 1 uppsats innehållade orden Christopher Svanefalk.

  1. 1. KeYTestGen2: an automatic, verification-driven test case generator

    Kandidat-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Christopher Svanefalk; [2014-10-01]
    Nyckelord :;

    Sammanfattning : 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