Suchergebnisse - "Testing and Debugging—Symbolic execution General Terms Verification"

Memoized Symbolic Execution

Autoren: Guowei Yang Corina S. Păsăreanu Sarfraz Khurshid et al.

Weitere Verfasser: Guowei Yang Corina S. Păsăreanu Sarfraz Khurshid et al.

Quelle: https://hostdb.ece.utexas.edu/~gyang/publications/YangETAL12Memoise.pdf.

Schlagwörter: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging—Symbolic execution General Terms Verification, Algorithms Keywords Symbolic Execution, Incremental Analysis, Trie Data Structure, Constraint Solving

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.296.4357