Producing Execution Traces for Dynamic Invariant Detection
Download:
|
|
by Jake Cockrell
http://www.cs.washington.edu/homes/jake/work/quals_final.ps
Add To MetaCart
Abstract:
When developing and modifying code, programmers often depend on explicitly stated invariants to understand the properties that must hold in the program. Examples include developing programs from specifications, dynamically verifying program properties with assert statements, and making a change to a program that is consistent with
Citations
| 801 | A theory of type polymorphism in programming – Milner - 1978 |
| 325 | Dynamically discovering likely program invariants to support program evolution – Ernst, Cockrell, et al. - 2001 |
| 120 | Experiments on the effectiveness of dataflow- and control-flow-based test adequacy criteria – Hutchins, Foster, et al. - 1994 |
| 89 | Lackwit: A Program Understanding Tool Based on Type Inference – O’Callahan, Jackson - 1997 |
| 86 | Empirical studies of a safe regression test selection technique – Rothermel, Harrold - 1998 |
| 47 | Type inference with recursive types. Syntax and Semantics – Cardone, Coppo - 1991 |
| 8 | C++ Front End Internal Documentation, version 2.28 edition – Group - 1995 |
| 7 | Practical program understanding with type inference – O'Callahan, Jackson - 1996 |
