Directed symbolic execution
In this paper, we study the problem of automatically finding program executions that reach a
particular target line. This problem arises in many debugging scenarios; for example, a …
particular target line. This problem arises in many debugging scenarios; for example, a …
Directed Symbolic Execution
KK Ma, KY Phang, JS Foster, M Hicks - Static Analysis - infona.pl
In this paper, we study the problem of automatically finding program executions that reach a
particular target line. This problem arises in many debugging scenarios; for example, a …
particular target line. This problem arises in many debugging scenarios; for example, a …
Directed Symbolic Execution
KK Ma, KY Phang, JS Foster, M Hicks - Static Analysis, 2011 - Springer
In this paper, we study the problem of automatically finding program executions that reach a
particular target line. This problem arises in many debugging scenarios; for example, a …
particular target line. This problem arises in many debugging scenarios; for example, a …
[PDF][PDF] Directed symbolic execution
KK Ma, KY Phang, JS Foster, M Hicks - Citeseer
In this paper, we study the problem of automatically finding program executions that reach a
particular target line. This problem arises in many debugging scenarios, eg, a developer …
particular target line. This problem arises in many debugging scenarios, eg, a developer …
Directed Symbolic Execution
KK Ma, KY Phang, JS Foster… - Static Analysis: 18th …, 2011 - books.google.com
In this paper, we study the problem of automatically finding program executions that reach a
particular target line. This problem arises in many debugging scenarios; for example, a …
particular target line. This problem arises in many debugging scenarios; for example, a …
[PDF][PDF] Directed symbolic execution
KK Ma, KY Phang, JS Foster, M Hicks - academia.edu
In this paper, we study the problem of automatically finding program executions that reach a
particular target line. This problem arises in many debugging scenarios, eg, a developer …
particular target line. This problem arises in many debugging scenarios, eg, a developer …
[PDF][PDF] Directed symbolic execution
KK Ma, KY Phang, JS Foster, M Hicks - cs.umd.edu
In this paper, we study the problem of automatically finding program executions that reach a
particular target line. This problem arises in many debugging scenarios, eg, a developer …
particular target line. This problem arises in many debugging scenarios, eg, a developer …
[PDF][PDF] Directed symbolic execution
KK Ma, KY Phang, JS Foster, M Hicks - cs.tufts.edu
In this paper, we study the problem of automatically finding program executions that reach a
particular target line. This problem arises in many debugging scenarios, eg, a developer …
particular target line. This problem arises in many debugging scenarios, eg, a developer …
Directed symbolic execution
KK Ma, KY Phang, JS Foster, M Hicks - Proceedings of the 18th …, 2011 - dl.acm.org
In this paper, we study the problem of automatically finding program executions that reach a
particular target line. This problem arises in many debugging scenarios; for example, a …
particular target line. This problem arises in many debugging scenarios; for example, a …
[PDF][PDF] Directed Symbolic Execution
KK Ma - pdfs.semanticscholar.org
Directed Symbolic Execution Page 1 Directed Symbolic Execution Kin-Keung Ma, Khoo Yit
Phang, Jeffrey S. Foster, and Michael Hicks University of Maryland, College Park SAS 2011 …
Phang, Jeffrey S. Foster, and Michael Hicks University of Maryland, College Park SAS 2011 …