Search for dissertations about: "Jeff Offutt"

Found 2 swedish dissertations containing the words Jeff Offutt.

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

    Author : Jon Edvardsson; Mariam Kamkar; Maud Göthe-Lundgren; Jeff Offutt; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; testing; automatic test data generation; partition testing; constraint solving; program coverage; specification coverage; Software engineering; 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

  4. 2. Testability of Dynamic Real-Time Systems

    Author : Birgitta Lindström; Sten F. Andler; Jeff Offutt; Paul Pettersson; Zebo Peng; Lionel Briand; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Testability; Software testing; Real-time systems; Timeliness; Model-based testing; Computer science; Datalogi; Teknik;

    Abstract : This dissertation concerns testability of event-triggered real-time systems. Real-time systems are known to be hard to test because they are required to function correct both with respect to what the system does and when it does it. READ MORE