Testing aspect-oriented programs with finite state machines.
Dianxiang XuOmar el ArissWeifeng XuLinzhang WangPublished in: Softw. Test. Verification Reliab. (2012)
Keyphrases
- finite state machines
- aspect oriented
- finite state automata
- object oriented
- model checking
- software development
- mutation testing
- development process
- business applications
- crosscutting concerns
- hidden markov models
- aspect oriented programming
- software testing
- software engineering
- symbolic execution
- life cycle
- structured data
- test cases
- test set
- web applications
- machine learning