Výsledky vyhledávání - "Testing and Debugging—Debugging aids General Terms Reliability Keywords automated debugging"

Execution Synthesis: A Technique for Automated Software Debugging

Autoři: Cristian Zamfir George C The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Cristian Zamfir George C The Pennsylvania State University CiteSeerX Archives

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

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

Popis souboru: application/pdf

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

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