Search Results - "Testing and Debugging— Error handling and recovery General Terms Reliability"

Assertion-based Repair of Complex Data Structures

Authors: Bassem Elkarablieh Ivan Garcia Yuk Lai et al.

Contributors: Bassem Elkarablieh Ivan Garcia Yuk Lai et al.

Source: http://users.ece.utexas.edu/~elkarabl/files/p64-elkarablieh.pdf.

Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Symbolic execution, D.2.5 [Software Engineering, Testing and Debugging— Error handling and recovery General Terms Reliability, Verification Keywords Data structure repair, Assertion-driven development, Symbolic execution, Systematic search, Error recovery

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.1800

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.1800
http://users.ece.utexas.edu/~elkarabl/files/p64-elkarablieh.pdf

Juzi: A Tool for Repairing Complex Data Structures

Authors: Bassem Elkarablieh Sarfraz Khurshid The Pennsylvania State University CiteSeerX Archives

Contributors: Bassem Elkarablieh Sarfraz Khurshid The Pennsylvania State University CiteSeerX Archives

Source: http://www.ece.utexas.edu/~khurshid/papers/2008/08icse-juzi.pdf.

Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Symbolic execution, D.2.5 [Software Engineering, Testing and Debugging— Error handling and recovery General Terms Reliability Keywords Data structure, Assertions, Systematic search, Symbolic execution, Error recovery

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.2390

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.149.2390
http://www.ece.utexas.edu/~khurshid/papers/2008/08icse-juzi.pdf