Static detection of equivalent mutants in real-time model-based mutation testing.
Davide BasileMaurice H. ter BeekSami LazregMaxime CordyAxel LegayPublished in: Empir. Softw. Eng. (2022)
Keyphrases
- mutation testing
- real time
- test sequences
- test generation
- test suite
- database applications
- test cases
- object detection
- detection algorithm
- integration testing
- detection method
- testing process
- vision system
- false positives
- case study
- finite state machines
- pattern matching
- static analysis
- data model
- multi agent systems
- video sequences
- database systems
- face detection and tracking