program verification; automatic programming; program testing; C language; test generation; counterexamples; software model checker; BLAST; test suite generation; C program; target predicate; program locations; program execution; test vector generation;
机译:V-和S-DINI测试的比较。 关于普通哈尔和沃尔什系统的对称性DINI测试的监控器
机译:关于为线性动力系统生成各种不安全的反例
机译:A(T)生成的变体-两个反例
机译:从Conterexamples生成定时UI测试
机译:用于测试用例可行性的二进制分类器应用于事件驱动软件的自动生成的测试。
机译:PNAS Plus:规模演算的反例
机译:从反例生成测试