Test sequence computation for regression testing of reactive systems.
Sujit Kumar ChakrabartiY. N. SrikantPublished in: ISEC (2008)
Keyphrases
- regression testing
- reactive systems
- test cases
- test suite
- software testing
- software maintenance
- control flow
- information flow
- code coverage
- test data
- model checking
- petri net
- formal methods
- temporal logic
- testing process
- artificial intelligence
- software systems
- test set
- test generation
- software development
- sequence diagrams
- database