SRCIROR: a toolset for mutation testing of C source code and LLVM intermediate representation.
Farah HaririAugust ShiPublished in: ASE (2018)
Keyphrases
- intermediate representation
- source code
- mutation testing
- program understanding
- test generation
- test sequences
- static analysis
- database applications
- open source
- test suite
- software systems
- test cases
- intermediate level
- finite state machines
- software maintenance
- software evolution
- testing process
- software projects
- databases
- tightly coupled
- object models
- development process
- high level
- source files
- video sequences
- software repositories
- case study