Author of the publication

Extending a search-based test generator with adaptive dynamic symbolic execution.

, , and . ISSTA, page 421-424. ACM, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Using coverage to automate and improve test purpose based testing., , and . Information & Software Technology, 51 (11): 1601-1617 (2009)Nondeterministic Testing with Linear Model-Checker Counterexamples., and . QSIC, page 107-116. IEEE Computer Society, (2007)Search-based data-flow test generation., , , and . ISSRE, page 370-379. IEEE Computer Society, (2013)Combining search-based and constraint-based testing., and . ASE, page 436-439. IEEE Computer Society, (2011)Search-based testing using constraint-based mutation., and . Softw. Test., Verif. Reliab., 24 (6): 472-495 (2014)Guest editorial: Search-based software engineering., and . Empirical Software Engineering, 19 (5): 1421-1422 (2014)Does Automated Unit Test Generation Really Help Software Testers? A Controlled Empirical Study., , , , and . ACM Trans. Softw. Eng. Methodol., 24 (4): 23:1-23:49 (2015)Automated Test Generation for Java Generics., and . SWQD, volume 166 of Lecture Notes in Business Information Processing, page 185-198. Springer, (2014)Gamifying a Software Testing Course with Code Defenders., , , and . SIGCSE, page 571-577. ACM, (2019)Bytecode Testability Transformation., and . SSBSE, volume 6956 of Lecture Notes in Computer Science, page 237-251. Springer, (2011)