dynamic invariant detection

25

ISSTA
2006
ACM

136views Software Engineering» more ISSTA 2006»

DSD-Crasher: a hybrid analysis tool for bug finding

14 years 3 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 »

25

click to vote

SIGSOFT
2004
ACM

133views Software Engineering» more SIGSOFT 2004»

Efficient incremental algorithms for dynamic detection of likely invariants

14 years 10 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 »

30

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 10 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