dynamic invariant detection

18

ISSTA
2006
ACM

136views Software Engineering» more ISSTA 2006»

DSD-Crasher: a hybrid analysis tool for bug finding

14 years 1 months ago

DSD-Crasher is a bug ﬁnding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....

Christoph Csallner, Yannis Smaragdakis

claim paper

Read More »

18

click to vote

SIGSOFT
2004
ACM

133views Software Engineering» more SIGSOFT 2004»

Efficient incremental algorithms for dynamic detection of likely invariants

14 years 8 months ago

Download www.cs.washington.edu

Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...

Jeff H. Perkins, Michael D. Ernst

claim paper

Read More »

22

click to vote

DAC
2005
ACM

125views Computer Architecture» more DAC 2005»

IODINE: a tool to automatically infer dynamic invariants for hardware designs

14 years 8 months ago

Download www-cs-students.stanford.edu

We describe IODINE, a tool to automatically extract likely design properties using dynamic analysis. A practical bottleneck in the formal verification of hardware designs is the n...

Sudheendra Hangal, Naveen Chandra, Sridhar Narayan...

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers