Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker.
Moonzoo KimYunho KimHotae KimPublished in: ASE (2008)
Keyphrases
- model checker
- flash memory
- ai planning
- hand held devices
- unit testing
- model checking
- test suite
- test cases
- formal verification
- planning domains
- formal methods
- software testing
- file system
- temporal logic
- main memory
- description language
- random access
- formal specification
- embedded systems
- integer programming
- b tree
- integration testing
- data storage
- web service composition
- set theory
- database systems
- planning problems
- small size
- orders of magnitude
- heuristic search
- service composition
- specification language
- database management systems
- multi dimensional
- database
- black box
- domain independent
- low cost
- software engineering