MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications.
Reese LevineTianhao GuoMingun ChoAlan BakerRaph LevienDavid NetoAndrew QuinnTyler SorensenPublished 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