Interval constraint-based mutation testing of numerical specifications.
Clothilde JeangoudouxEva DarulovaChristoph Quirin LauterPublished in: ISSTA (2021)
Keyphrases
- mutation testing
- test sequences
- finite state machines
- database applications
- test generation
- integration testing
- test suite
- high level
- high quality
- error rate
- delay insensitive
- databases
- three dimensional
- interval arithmetic
- neural network
- computer vision
- constraint satisfaction
- test cases
- database
- image data
- hidden markov models