Showing results 1 to 4 of 4
Empirical Software Engineering and Verification - Search Based Software Engineering: Techniques, Taxonomy, Tutorial Harman, Mark; McMinn, Phil; Teixeira de Souza, Jerffeson; Yoo, Shin, Lecture Notes in Computer Science, v.7007, 2012 |
Evaluating CAVM: A new search-based test data generation tool for C Kim, Junhwi; You, Byeonghyeon; Kwon, Minhyuk; McMinn, Phil; Yoo, Shin, 9th International Symposium on Search-Based Software Engineering, SSBSE 2017, pp.143 - 149, Springer Verlag, 2017-09-11 |
Optimizing for the number of tests generated in search based test data generation with an application to the oracle cost problem Harman, Mark; Kim, Sung Gon; Lakhotia, Kiran; McMinn, Phil; Yoo, Shin, 3rd International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2010, pp.182 - 191, University of Nebraska Lincoln, 2010-04-06 |
The Oracle Problem in Software Testing: A Survey Barr, Earl T.; McMinn, Phil; Shahbaz, Muzammil; Harman, Mark; Yoo, Shin, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, v.41, no.5, pp.507 - 525, 2015-05 |
Discover