Architecture- and OS-Independent Binary-Level Dynamic Test Generation.

Gen Li Kai Lu Ying Zhang Xicheng Lu Wei Zhang

Published in: ICICS (2009)

Keyphrases

test generation
test cases
software architecture
database
case study
open source
operating system
static analysis
information technology
vision system
software testing
test sequences
symbolic execution