Using Fuzzy Logic and Symbolic Execution to Prioritize UML-RT Test Cases.
Eric James RaposJürgen DingelPublished in: ICST (2015)
Keyphrases
- test cases
- symbolic execution
- test data generation
- test generation
- sequence diagrams
- model based testing
- uml models
- regression testing
- testing process
- software testing
- specification language
- object oriented
- test sequences
- test data
- test case generation
- black box
- modeling language
- test suite
- test set
- metamodel
- static analysis
- number of test cases
- test case selection
- test suite reduction
- set of test cases
- software systems
- software engineering
- artificial intelligence
- data sets
- development process
- domain independent
- relational databases
- decision trees
- databases