Login / Signup
MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications.
Reese Levine
Tianhao Guo
Mingun Cho
Alan Baker
Raph Levien
David Neto
Andrew Quinn
Tyler Sorensen
Published in:
ASPLOS (2) (2023)
Keyphrases
</>
test cases
test suite
test sequences
test data
unit testing
memory usage
memory requirements
software testing
memory size
memory space
main memory
random access
low memory
control flow
computing power
testing process
memory management
test generation
specification language
artificial intelligence
test set
operating system
image quality
training data