Chalmers University of Technology;
Chalmers University of Technology;
Chalmers and Quviq AB;
机译:TESTAF:使用面向对象的正式规范进行类测试的测试自动化框架
机译:多项选择考试和猜测:旨在阻止猜测的通用化学测试的为期一年的研究结果
机译:FLAME:一个用于通过自动规范测试验证的软件产品线自动化分析的正式框架
机译:QuickSpec:使用测试猜测正式规格
机译:在多项选择测试情况下,测试说明,测试焦虑,自信心和判断力对裁判行为的影响。
机译:控制二分Rasch模型中的猜测偏差将其应用于大规模垂直规模的测试程序
机译:QuickSpec:使用测试猜测正式规格