Effective Bug Hunting with Spin and Modex.

Gerard J. Holzmann Theo C. Ruys

Published in: SPIN (2005)

Keyphrases

multimedia
real time
information systems
high level
high quality
optimal solution
object recognition
digital libraries
source code
cost effective
highly efficient