Work

Bounded-Interference Sequentialization for Testing Concurrent Programs

Year: 2012

Type: conference-paper

Source: Lecture notes in computer science

Parent work: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change: 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I

DOI: 10.1007/978-3-642-34026-0_28

Authors: Niloofar Razavi, Azadeh Farzan, Andreas Holzer

Institutions: University of Toronto, TU Wien

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: Austrian Science Fund

Award: Coordination: Rigorous Systems Engineering (RiSE)

OpenAlex ID: W2130345641

FWCI: 0.913

Cites: 26

Cited by: 7

Related to: 10