A Case Study: Verification of Specifications of an Embedded System and Generation of Verification Items Using Pairwise Testing.
Toshifusa SekizawaTsugu KotoriiPublished in: APSEC (2) (2013)
Keyphrases
- formal verification
- pairwise
- automated verification
- model checking
- test generation
- asynchronous circuits
- symbolic execution
- verification method
- concurrent systems
- case study
- bounded model checking
- multi class
- signature verification
- model checker
- false acceptance rate
- markov random field
- database
- fingerprint verification
- real world