Jon Edvardsson

Learn More
In order to reduce the high cost of manual software testing and at the same time to increase the reliability of the testing processes researchers and practitioners have tried to automate it. One of the most important components in a testing environment is an automatic test data generator — a system that automatically generates test data for a given program.(More)
In a series of articles Gupta et al. develop a framework for automatic test data generation for computer programs. In general, their approach consists of a branch predicate collector, which derives a system of linear inequalities representing the branch predicates for a given path in the program. This system is solved using a solving technique of theirs(More)
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. In short, their approach consists of a branch predicate collector, which derives a system of linear inequalities representing an(More)
Code coverage analysis holds a very important role in software testing procedure. By the test case runs it provides developers by means to quantify of how well their source code is being exercised. By detecting errors/bugs in the code it estimates the efficiency of the test. We must implement a systematic way and support the theoretical bases for testing(More)
[2] This documents contains corrections for a proof presented in the article Analysis of the Constraint Solver in UNA Based Test Data Generations. 1. CORRECTIONS This paper presents corrections to the discussions on the in-completeness of una in our article Analysis of the Constraint Solver in UNA Based Test Data Generation [1]. The corrections are minor,(More)
Software testing is complex and time consuming. One way to reduce testing effort is to automatically generate test data. In this work we study a specification-based approach for generating software tests. Briefly, tests are generated by partitioning the specification input domain into a set of subdomains using an automatic partitioning strategy. An(More)
  • 1