1 |
P. Godefroid, N. Klarlund, K. Sen, "DART: Directed automated random testing", Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation, Chicago, Illinois, pp. 213-223, 2005.
|
2 |
J. Burnim, K. Sen, "Heuristics for dynamic test generation", Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering , pp. 443-446, 2008.
|
3 |
R. Santelices, P. K. Chittimalli, T. Apiwattanapong, A. Orso, M. J. Harrold, "Test suite augmentation for evolving software", Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, pp. 218-227, 2008.
|
4 |
N. Rungta, E. G. Mercer, W. Visser "Efficient testing of concurrent programs with abstraction -guided symbolic execution", Proceedings of SPIN Workshop on Model Checking of Software, Grenoble, France, pp. 218-227, 2009.
|
5 |
I.S. Chung. J. Park, "Goal-oriented concolic testing", Journal of KIISE: Software and Applications, vol. 37, n. 10, pp. 768-772, 2010.
|
6 |
L. Bottaci, "Instrumenting programs with flag variables for test data search by genetic algorithm", Proceedings of the Genetic and Evolutionary Computation Conference, pp. 1337-1342, 2002.
|
7 |
P. McMinn, M. Holcombe, Evolutionary testing using an extended chaining approach, Evolutionary Computation, vol. 14, no. 1, pp. 41-64, 2006.
DOI
|
8 |
R. Ferguson, B. Korel, The chaining approach to software test data generation, ACM Transactions on Software Engineering and Methodology, vol. 5, no. 1, pp. 63-86, 1996.
DOI
|
9 |
S. Muchnick, N. Johnes, Program Flow Analysis, Theory and Applications, Englewood Cliffs, NJ, Prentice-Hall International, 1981.
|