Work

Automated Synthesis of Comprehensive Memory Model Litmus Test Suites

Year: 2017

Type: article

Source: ACM SIGPLAN Notices

DOI: 10.1145/3093336.3037723

Authors: Daniel Lustig, Andrew Wright, Alexandros Papakonstantinou, Olivier Giroux

Institutions: Nvidia (United States), Massachusetts Institute of Technology

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

Funder: U.S. Department of Energy

OpenAlex ID: W3019068005

FWCI:

Cites: 26

Cited by: 2

Related to: 10