Search for dissertations about: "Jon Edvardsson"

Found 2 swedish dissertations containing the words Jon Edvardsson.

  1. 1. Contributions to program- and specification-based test data generation

    University dissertation from Linköping : Linköpings universitet

    Author : Jon Edvardsson; [2002]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; TECHNOLOGY Information technology Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap;

    Abstract : Software testing is complex and time consuming. One way to reduce testing effort is to automatically generate test data. In the first part of this thesis we consider a framework by Gupta et al. for generating tests from programs. READ MORE

  2. 2. Techniques for Automatic Generation of Tests from Programs and Specifications

    University dissertation from Institutionen för datavetenskap

    Author : Jon Edvardsson; Mariam Kamkar; Maud Göthe-Lundgren; Jeff Offutt; [2006]
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; testing; automatic test data generation; partition testing; constraint solving; program coverage; specification coverage; TECHNOLOGY Information technology Computer science Software engineering; TEKNIKVETENSKAP Informationsteknik Datavetenskap Programvaruteknik;

    Abstract : Software testing is complex and time consuming. One way to reduce the effort associated with testing is to generate test data automatically. This thesis is divided into three parts. In the first part a mixed-integer constraint solver developed by Gupta et. READ MORE