Symbolic Search-Based Testing

by Arthur Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella and Tanja Vos

International Conference on Automated Software Engineering (ASE 2011)



We present an algorithm for constructing fitness functions that improve the efficiency of search-based testing when trying to generate branch adequate test data. The algorithm combines symbolic information with dynamic analysis and has two key advantages: It does not require any change in the underlying test data generation technique and it avoids many problems traditionally associated with symbolic execution, in particular the presence of loops. We have evaluated the algorithm on industrial closed source and open source systems using both local and global search-based testing techniques, demonstrating that both are statistically significantly more efficient using our approach. The test for ... [more]


Reference

Arthur Baars, Mark Harman, Youssef Hassoun, Kiran Lakhotia, Phil McMinn, Paolo Tonella and Tanja Vos. Symbolic Search-Based Testing. International Conference on Automated Software Engineering (ASE 2011), pp. 53–62, 2011


Bibtex Entry
@inproceedings{Baars2011,
  author    = "Baars, Arthur and Harman, Mark and Hassoun, Youssef and Lakhotia, Kiran and McMinn, Phil and Tonella, Paolo and Vos, Tanja",
  title     = "Symbolic Search-Based Testing",
  booktitle = "International Conference on Automated Software Engineering (ASE 2011)",
  pages     = "53--62",
  year      = "2011",
  publisher = "IEEE"
}