Work

Efficient incremental algorithms for dynamic detection of likely invariants

Year: 2004

Type: article

Source: ACM SIGSOFT Software Engineering Notes

DOI: 10.1145/1041685.1029901

Authors: Jeff H. Perkins, Michael D. Ernst

Institution: Massachusetts Institute of Technology

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4235272014

FWCI: 1.062

Cites: 27

Cited by: 23

Related to: 10