Program logical error localization and program testing are two of the most important sections in software engineering. Programmers or companies that produce programs will lose their credit and profit effectively if one of their programs delivered to a customer has any drawback. Nowadays there are many methods to test a program. This paper suggests a framework to localize the program logical errors by extraction of knowledge from invariants using a clustering technique. © 2011 Springer-Verlag.
CITATION STYLE
Daryabari, M., Minaei-Bidgoli, B., & Parvin, H. (2011). Localizing program logical errors using extraction of knowledge from invariants. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6630 LNCS, pp. 124–135). https://doi.org/10.1007/978-3-642-20662-7_11
Mendeley helps you to discover research relevant for your work.