Work

Check 'n' crash: combining static checking and testing

Year: 2005

Type: conference-abstract

Source: ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)

DOI: 10.1145/1062455.1062533

Authors: Christoph Csallner, Yannis Smaragdakis

Institution: Georgia 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: W2146641295

Cites: 25

Cited by: 220

Related to: 9