Design and Analysis of Different Alternating Variable Searches for Search-Based Software Testing

by Joseph Kempka, Phil McMinn and Dirk Sudholt

Theoretical Computer Science, 2015



Manual software testing is a notoriously expensive part of the software development process, and its automation is of high concern. One aspect of the testing process is the automatic generation of test inputs. This paper studies the Alternating Variable Method (AVM) approach to search-based test input generation. The AVM has been shown to be an effective and efficient means of generating branch-covering inputs for procedural programs. However, there has been little work that has sought to analyse the technique and further improve its performance. This paper proposes two different local searches that may be used in conjunction with the AVM, ... [more]


Reference

Joseph Kempka, Phil McMinn and Dirk Sudholt. Design and Analysis of Different Alternating Variable Searches for Search-Based Software Testing. Theoretical Computer Science, vol. 605, pp. 1–20, 2015


Bibtex Entry
@article{Kempka2015,
  author  = "Kempka, Joseph and McMinn, Phil and Sudholt, Dirk",
  title   = "Design and Analysis of Different Alternating Variable Searches for Search-Based Software Testing",
  journal = "Theoretical Computer Science",
  volume  = "605",
  pages   = "1--20",
  year    = "2015"
}