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.