Work

Parallel assertions for debugging parallel programs

Year: 2011

Type: conference-paper

Source: ACM/IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE)

DOI: 10.1109/memcod.2011.5970525

Authors: Daniel Schwartz-Narbonne, Feng Liu, Tarun Pondicherry, David August, Sharad Malik

Institution: Princeton University

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W2027989394

FWCI: 1.368

Cites: 40

Cited by: 10

Related to: 10