Automated testing with targeted event sequence generation

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]

@inproceedings{JensenPM13,
  title = {Automated testing with targeted event sequence generation},
  author = {Casper Svenning Jensen and Mukul R. Prasad and Anders Møller},
  year = {2013},
  doi = {10.1145/2483760.2483777},
  url = {http://doi.acm.org/10.1145/2483760.2483777},
  researchr = {https://researchr.org/publication/JensenPM13},
  cites = {0},
  citedby = {0},
  pages = {67-77},
  booktitle = {International Symposium on Software Testing and Analysis, ISSTA '13, Lugano, Switzerland, July 15-20, 2013},
  editor = {Mauro Pezzè and Mark Harman},
  publisher = {ACM},
  isbn = {978-1-4503-2159-4},
}