CTrigger: exposing atomicity violation bugs from their hiding places

By Soyeon Park, Shan Lu, Yuanyuan Zhou. International Conference on Architectural Support for Programming Languages and Operating Systems, 2009

331 citations recorded by the source corpus.

Subfields: Electrical and Electronic Engineering, Hardware and Architecture, Software

View Paper: https://www.semanticscholar.org/paper/1e3182738045e85b289a90f2f6f53565f0d6f9ca

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Hardware and Architecture

1. Yihao Li
2. Ruizhi Gao
3. W. E. Wong
4. Rui Abreu

In Software

1. Yihao Li
2. Ruizhi Gao
3. W. E. Wong
4. Franz Wotawa
5. Rui Abreu

Citations in the corpus

• Search Based Software Engineering (2013, unknown): “A quasi-random sequence of dimension N is a sequence of points defined in a subset of the R hyperspace (usually a unitary hypercube) that covers the selected subspace more uniformly than uncorrelated random points [22].”
• A Survey on Software Fault Localization (2016, background): “Park et al. apply a CTrigger testing framework [282] to detect real atomicity violations by controlling the program execution to exercise low-probability thread inter-leavings.”