TY - GEN
T1 - Classifying bugs with interpolants
AU - Podelski, Andreas
AU - Schäf, Martin
AU - Wies, Thomas
N1 - Funding Information:
This work is funded in parts by AFRL contract No. FA8750-15-C-0010 and the National Science Foundation under grant CCF-1350574.
Publisher Copyright:
© Springer International Publishing Switzerland 2016.
PY - 2016
Y1 - 2016
N2 - We present an approach to the classification of error messages in the context of static checking in the style of ESC/Java. The idea is to compute a semantics-based signature for each error message and then group together error messages with the same signature. The approach aims at exploiting modern verification techniques based on, e.g., Craig interpolation in order to generate small but significant signatures. We have implemented the approach and applied it to three benchmark sets (from Apache Ant, Apache Cassandra, and our own tool). Our experiments indicate an interesting practical potential. More than half of the considered error messages (for procedures with more than just one error message) can be grouped together with another error message.
AB - We present an approach to the classification of error messages in the context of static checking in the style of ESC/Java. The idea is to compute a semantics-based signature for each error message and then group together error messages with the same signature. The approach aims at exploiting modern verification techniques based on, e.g., Craig interpolation in order to generate small but significant signatures. We have implemented the approach and applied it to three benchmark sets (from Apache Ant, Apache Cassandra, and our own tool). Our experiments indicate an interesting practical potential. More than half of the considered error messages (for procedures with more than just one error message) can be grouped together with another error message.
UR - http://www.scopus.com/inward/record.url?scp=84977595111&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84977595111&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-41135-4_9
DO - 10.1007/978-3-319-41135-4_9
M3 - Conference contribution
AN - SCOPUS:84977595111
SN - 9783319411347
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 151
EP - 168
BT - Tests and Proofs - 10th International Conference, TAP 2016 Held as Part of STAF 2016, Proceedings
A2 - Aichernig, Bernhard K.
A2 - Furia, Carlo A.
PB - Springer Verlag
T2 - 10th International Conference on Tests and Proofs, TAP 2016 and Held as Part of Software Technologies: Applications and Foundations, STAF 2016
Y2 - 5 July 2016 through 7 July 2016
ER -