Search Results - "Testing AND Debugging—Symbolic execution General Terms Verification*"

Memoized Symbolic Execution

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

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

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

Subject Terms: 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

File Description: application/pdf

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

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

Directed Incremental Symbolic Execution.

Authors: GUOWEI YANG PERSON, SUZETTE RUNGTA, NEHA et al.

Source: ACM Transactions on Software Engineering & Methodology; Sep2014, Vol. 24 Issue 1, p1-42, 42p

Subject Terms: MATHEMATICAL logic, COMPUTER software research, SOURCE code, BOUNDARY value problems, APPLICATION software research