Reference Specification Issues in On-line Verification by Passive Testing.
Krzysztof M. BrzezinskiNorbert MalinskiPublished in: Parallel and Distributed Computing and Networks (2006)
Keyphrases
- formal verification
- symbolic execution
- specification language
- test case generation
- model checking
- asynchronous circuits
- key issues
- handwritten signature verification
- test generation
- formal methods
- test cases
- data sets
- programming language
- high level
- learning algorithm
- protocol specification
- test set
- software testing
- object oriented
- database systems
- signature verification
- case study
- e learning
- databases