Security Verification Using Portable Stimulus Driven Test Suite Synthesis

Author(s):
Adnan Hamid and David Kelf