Casper Svenning Jensen, Mukul R. Prasad, Anders Møller. Automated testing with targeted event sequence generation. In Mauro Pezzè, Mark Harman, editors, International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013. pages 67-77, ACM, 2013. [doi]