Software Quality Lab, University of Paderborn, Warburgerstr. 100, 33098 Paderborn, Germany;
Department of Computer Science, University of Paderborn, Warburgerstr. 100, 33098 Paderborn, Germany;
design by contract; visual contracts; test case generation; model checking;
机译:基于文本的视觉符号,用于模型驱动工具的单元测试
机译:HiL测试中模型驱动的测试用例生成:使用模型和以模型为中心的测试
机译:使用模型驱动和链接数据方法建模和发布地理数据:土耳其行政单位案例研究
机译:视觉分散单元:无线传感器网络应用程序的视觉模型驱动测试框架
机译:Web应用程序的模型驱动的渗透测试框架。
机译:WESSBAS:提取概率性工作负载规范以进行负载测试和性能预测-基于模型的基于会话的应用系统的方法
机译:进行模型驱动的单元测试