ISSTA 2014: Extending a Search-Based Test Generator with Adaptive Dynamic Symbolic Execution (Tool paper)

  • [PDF] J. P. Galeotti, G. Fraser, and A. Arcuri, “Extending a Search-Based Test Generator with Adaptive Dynamic Symbolic Execution (Tool paper),” in Proceedings of the 2014 International Symposium on Software Testing and Analysis, New York, NY, USA, 2014, pp. 421-424.
    [Bibtex] 
    @inproceedings{issta14_dse,
 author = {Galeotti, Juan Pablo and Fraser, Gordon and Arcuri, Andrea},
 title = {Extending a Search-Based Test Generator with Adaptive Dynamic Symbolic Execution (Tool paper)},
 booktitle = {Proceedings of the 2014 International Symposium on Software Testing and Analysis},
 series = {ISSTA '14},
 year = {2014},
 numpages = {4},
 publisher = {ACM},
 address = {New York, NY, USA},
 pages={421--424},
 organization={ACM}
}

Video available here.