Rui Abreu, Alberto González, Peter Zoeteweij, Arjan J. C. van Gemund
Automatic software fault localization using generic program invariants
SAC, 2008.
@inproceedings{SAC-2008-AbreuGZG, author = "Rui Abreu and Alberto González and Peter Zoeteweij and Arjan J. C. van Gemund", booktitle = "{Proceedings of the 23rd Symposium on Applied Computing}", doi = "10.1145/1363686.1363855", editor = "Roger L. Wainwright and Hisham Haddad", isbn = "978-1-59593-753-7", pages = "712--717", publisher = "{ACM}", title = "{Automatic software fault localization using generic program invariants}", year = 2008, }