Login / Signup

Combining Model Checking and Testing for Software Analysis.

Jianguo ChenHangxia ZhouStefan D. Bruda
Published in: CSSE (2) (2008)
Keyphrases