A Transparent Control-Flow Based Approach to Record-Replay Non-deterministic Bugs.
Nan WangJizhong HanJinyun FangPublished in: NAS (2012)
Keyphrases
- control flow
- data flow
- software testing
- process model
- test cases
- workflow management systems
- source code
- software systems
- business process models
- modeling language
- reactive systems
- database
- learning algorithm
- machine learning
- formal semantics
- transition systems
- black box
- object oriented
- artificial intelligence
- real world