Sign in

Functional test generation based on word-level SAT.

Zhihong ZengKesava R. TalupuruMaciej J. Ciesielski
Published in: J. Syst. Archit. (2005)
Keyphrases