Search Results - "Testing and Debugging—Debugging aids General Terms Reliability Keywords automated debugging"

Execution Synthesis: A Technique for Automated Software Debugging

Authors: Cristian Zamfir George C The Pennsylvania State University CiteSeerX Archives

Contributors: Cristian Zamfir George C The Pennsylvania State University CiteSeerX Archives

Source: http://dslab.epfl.ch/pubs/esd.pdf.

Subject Terms: Categories and Subject Descriptors D.2.2.5 [Software En- gineering, Testing and Debugging—Debugging aids General Terms Reliability Keywords automated debugging, symbolic execution

File Description: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.644.7581; http://dslab.epfl.ch/pubs/esd.pdf

Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.644.7581
http://dslab.epfl.ch/pubs/esd.pdf