Quickly detecting relevant program invariants

Proceedings - International Conference on Software Engineering

Volumn , Issue , 2000, Pages 449-458

  Ernst, Michael D ^a   Czeisler, Adam ^a   Griswold, William G ^a   Notkin, David ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPARABILITY; POLYMORPHISM ELIMINATION; REDUNDANT INVARIANT;

C (PROGRAMMING LANGUAGE); COMPUTATIONAL COMPLEXITY; COMPUTER SOFTWARE SELECTION AND EVALUATION; JAVA PROGRAMMING LANGUAGE; LISP (PROGRAMMING LANGUAGE); OBJECT ORIENTED PROGRAMMING;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0033698745     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. Michael D. Ernst, Jake Cockrell, William G. Griswold, and David Notkin. Dynamically discovering likely program invariants to support program evolution. IEEE Transactions on Software Engineering. To appear.
2. A previous version appeared in Proceedings of the 21st International Conference on Software Engineering, pages 213-224, May 19-21, 1999.
3. Michael D. Ernst, William G. Griswold, Yoshio Kataoka, and David Notkin. Dynamically discovering pointer-based program invariants. Technical Report UW-CSE-99-11-02, University of Washington, Seattle, WA, November 16, 1999.
4. Amrit L. Goel. Software reliability models: Assumptions, limitations, and applicability. IEEE Transactions on Software Engineering, SE-11(12):1411-23, December 1985.
5. David Gries. The Science of Programming. Springer-Verlag, New York, 1981.
6. Monica Hutchins, Herb Foster, Tarak Goradia, and Thomas Ostrand. Experiments on the effectiveness of dataflow-and control-flow-based test adequacy criteria. In Proceedings of the 16th International Conference on Software Engineering, pages 191-200, May 1994.
7. Robert O'Callahan and Daniel Jackson. Lackwit: A program understanding tool based on type inference. In Proceedings of the 19th International Conference on Sofhare Engineering, pages 338-348, May 1997.
8. Gregg Rothermel and Mary Jean Harold. Empirical studies of a safe regression test selection technique. IEEE Transactions on Software Engineering, 24(6):401-419, June 1998.
9. Gerard Salton. Automatic Information Organization and Retrieval. McGraw-Hill, 1968.
10. Mark Allen Weiss. Data Structures and Algorithm Analysis in Java. Addison Wesley Longman, 1999.