Verification-aided regression testing.
Fabrizio PastoreLeonardo MarianiAntti Eero Johannes HyvärinenGrigory FedyukovichNatasha SharyginaStephan SehestedtAli MuhammadPublished in: ISSTA (2014)
Keyphrases
- regression testing
- software maintenance
- test generation
- test cases
- test suite
- model checking
- object oriented software
- software testing
- formal verification
- verification method
- face verification
- software quality
- case study
- information systems
- neural network
- databases
- signature verification
- database systems
- sequence diagrams