Kansas State University.;
机译:与Evomaster的RESTFUL API自动化的黑色和白盒测试
机译:黑盒和白盒级联储罐基准系统识别方法
机译:通过集成黑色和白盒测试技术测试套件增强
机译:针对UML模型的嵌入式系统软件的非侵入式黑盒和白盒测试
机译:通过自动证明进行规定性安全检查,以实现控制流完整性。
机译:使用Microsoft Pex在开源C#项目上的White-Box软件测试生成:数据集
机译:用于软件完整性检查的黑色,灰色和白盒侧通道编程