Specification Based Regression Testing Using Explicit State Space Enumeration.
Sujit Kumar ChakrabartiY. N. SrikantPublished in: ICSEA (2006)
Keyphrases
- regression testing
- state space
- dynamic programming
- search space
- test cases
- software maintenance
- sequence diagrams
- heuristic search
- state transition
- test suite
- software testing
- reinforcement learning
- optimal policy
- state variables
- object oriented software
- action space
- markov decision processes
- dynamical systems
- formal specification
- particle filter
- continuous state spaces
- planning problems
- specification language
- reinforcement learning algorithms
- search algorithm
- high level
- belief state
- database
- life cycle
- stochastic domains
- machine learning