David Insa, Josep Silva, Adrián Riesco
Speeding Up Algorithmic Debugging Using Balanced Execution Trees
TAP, 2013.
@inproceedings{TAP-2013-InsaSR, author = "David Insa and Josep Silva and Adrián Riesco", booktitle = "{Proceedings of the Seventh International Conference on Tests and Proofs}", doi = "10.1007/978-3-642-38916-0_8", isbn = "978-3-642-38915-3", pages = "133--151", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Speeding Up Algorithmic Debugging Using Balanced Execution Trees}", volume = 7942, year = 2013, }