Finding what s not there: a new approach to revealing neglected conditions in software

Ray-Yaung Chang, Andy Podgurski, Jiong Yang. Finding what s not there: a new approach to revealing neglected conditions in software. In David S. Rosenblum, Sebastian G. Elbaum, editors, Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2007, London, UK, July 9-12, 2007. pages 163-173, ACM, 2007. [doi]

@inproceedings{ChangPY07,
  title = {Finding what s not there: a new approach to revealing neglected conditions in software},
  author = {Ray-Yaung Chang and Andy Podgurski and Jiong Yang},
  year = {2007},
  doi = {10.1145/1273463.1273486},
  url = {http://doi.acm.org/10.1145/1273463.1273486},
  tags = {systematic-approach},
  researchr = {https://researchr.org/publication/ChangPY07},
  cites = {0},
  citedby = {0},
  pages = {163-173},
  booktitle = {Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2007, London, UK, July 9-12, 2007},
  editor = {David S. Rosenblum and Sebastian G. Elbaum},
  publisher = {ACM},
  isbn = {978-1-59593-734-6},
}