IEEE - Institute of Electrical and Electronics Engineers, Inc. - Summary of dynamically discovering likely program invariants

Proceedings IEEE International Conference on Software Maintenance. ICSM 2001

Author(s): M.D. Ernst
Sponsor(s): IEEE Comput. Soc. Tech. Council on Software Eng
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2001
Conference Location: Florence, Italy, Italy
Conference Date: 7 November 2001
Page Count: 5
Page(s): 540 - 544
ISBN (Paper): 0-7695-1189-9
ISSN (Paper): 1063-6773
DOI: 10.1109/ICSM.2001.972767
Regular:

The dissertation dynamically discovering likely program invariants introduces dynamic detection of program invariants, presents techniques for detecting such invariants from traces, assesses the... View More

Advertisement