Testing of Object-Oriented Programs Based on Finite State Machines.
Hyoung Seok HongYong Rae KwonSung Deok ChaPublished in: APSEC (1995)
Keyphrases
- object oriented programs
- finite state machines
- integration testing
- mutation testing
- specification languages
- black box
- model checking
- formal specification
- test cases
- finite state automata
- software testing
- object oriented
- impact analysis
- case study
- hidden markov models
- regular expressions
- training set
- data analysis
- database