MUPPET: Optimizing Performance in OpenMP via Mutation Testing.
Dolores MiaoIgnacio LagunaGiorgis GeorgakoudisKonstantinos ParasyrisCindy Rubio-GonzálezPublished in: PMAM@PPoPP (2024)
Keyphrases
- mutation testing
- test sequences
- database applications
- test generation
- test suite
- shared memory
- finite state machines
- test cases
- high performance computing
- parallel programming
- formal specification
- integration testing
- database
- image data
- parallel algorithm
- software development
- multi core processors
- testing process
- relational databases
- case study