Lightweight Specification-based Testing of Memory Cards: A Case Study.

Seung Mo Cho Jae Wook Lee

Published in: Electron. Notes Theor. Comput. Sci. (2005)

Keyphrases

lightweight
rfid tags
test case generation
formal verification
memory requirements
software testing
dos attacks
development environments
high level
test cases
main memory