Dynamically discovering likely program invariants to support program evolution

Proceedings - International Conference on Software Engineering

Volumn , Issue , 1999, Pages 213-225

  Ernst, Michael D ^a   Cockrell, Jake ^a   Griswold, William G ^a   Notkin, David ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SUPPORTED COOPERATIVE WORK; FORMAL LANGUAGES; GROUPWARE; INFERENCE ENGINES; PATTERN RECOGNITION;

EXECUTION TRACES; PROGRAM INVARIANTS; SOFTWARE EVOLUTION;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 0032639445     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Article

References (44)