Reverse Engineered Formal Models for GUI Testing.
Ana C. R. PaivaJoão C. P. FariaPedro M. C. MendesPublished in: FMICS (2007)
Keyphrases
- formal models
- test cases
- rule based systems
- formal model
- process model
- model based testing
- test case generation
- software testing
- graphical user interface
- user friendly
- test data
- data mining
- user interface
- distance measure
- test suite
- software engineering
- knowledge representation
- pattern recognition
- test data generation
- multiscale
- case study