Work

Asserting and checking determinism for multithreaded programs

Year: 2009

Type: conference-paper

Source: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE)

DOI: 10.1145/1595696.1595700

Authors: Jacob Burnim, Koushik Sen

Institution: University of California, Berkeley

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funders: U.S. Department of Defense, National Defense Science and Engineering Graduate

OpenAlex ID: W2073961002

FWCI: 8.063

Cites: 54

Cited by: 70

Related to: 10