DSD-Crasher: A hybrid analysis tool for bug finding

C Csallner, Y Smaragdakis, T Xie - ACM Transactions on Software …, 2008 - dl.acm.org
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D.
Capture the program's intended execution behavior with dynamic invariant detection. The …
被引用次数：294 相关文章
[PDF] uoa.gr

[PDF][PDF] DSD-Crasher: A Hybrid Analysis Tool for Bug Finding

C Csallner, Y Smaragdakis - 2006 - cgi.di.uoa.gr
ABSTRACT DSD-Crasher is a bug finding tool that follows a three-step approach to program
analysis: D. Capture the program's intended execution behavior with dynamic invariant …
[PDF] psu.edu

[PDF][PDF] DSD-Crasher: A Hybrid Analysis Tool for Bug Finding

C Csallner, Y Smaragdakis - 2006 - Citeseer
ABSTRACT DSD-Crasher is a bug finding tool that follows a three-step approach to program
analysis: D. Capture the program's intended execution behavior with dynamic invariant …
[PDF] researchgate.net

[PDF][PDF] DSD-Crasher: A Hybrid Analysis Tool for Bug Finding

C Csallner, Y Smaragdakis - 2006 - researchgate.net
ABSTRACT DSD-Crasher is a bug finding tool that follows a three-step approach to program
analysis: D. Capture the program's intended execution behavior with dynamic invariant …

DSD-Crasher: A hybrid analysis tool for bug finding

C Csallner, Y Smaragdakis, T Xie - ACM Transactions on …, 2008 - experts.illinois.edu
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D.
Capture the program's intended execution behavior with dynamic invariant detection. The …
[PDF] github.io

[PDF][PDF] DSD-Crasher: A Hybrid Analysis Tool for Bug Finding

C Csallner, Y Smaragdakis - 2006 - yanniss.github.io
ABSTRACT DSD-Crasher is a bug finding tool that follows a three-step approach to program
analysis: D. Capture the program's intended execution behavior with dynamic invariant …
[PDF] uta.edu

[PDF][PDF] DSD-Crasher: A Hybrid Analysis Tool for Bug Finding

C Csallner, Y Smaragdakis - 2006 - ranger.uta.edu
ABSTRACT DSD-Crasher is a bug finding tool that follows a three-step approach to program
analysis: D. Capture the program's intended execution behavior with dynamic invariant …
[PDF] mit.edu

[PDF][PDF] DSD-Crasher: A Hybrid Analysis Tool for Bug Finding

C Csallner, Y Smaragdakis - 2006 - groups.csail.mit.edu
ABSTRACT DSD-Crasher is a bug finding tool that follows a three-step approach to program
analysis: D. Capture the program's intended execution behavior with dynamic invariant …

DSD-Crasher: a hybrid analysis tool for bug finding

C Csallner, Y Smaragdakis - … of the 2006 international symposium on …, 2006 - dl.acm.org
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D.
Capture the program's intended execution behavior with dynamic invariant detection. The …
[PDF] github.io

[PDF][PDF] DSD-Crasher: A Hybrid Analysis Tool for Bug Finding

C CSALLNER, Y SMARAGDAKIS, TAO XIE - taoxiease.github.io
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D.
Capture the program's intended execution behavior with dynamic invariant detection. The …