Statistical model checking; Property-based testing; Model-based testing; FsCheck; User profiles; Response time; Cost learning;
机译:具有部分匹配方案的图形用户ID和用于移动Web服务的应用
机译:用于评估盲人用户的教育智能手机应用程序的可用性的清单
机译:铁电液晶光学寻址空间光调制器的分辨率和响应时间与光栅轮廓的关系
机译:在随机用户配置文件下检查Web服务应用程序的响应时间属性
机译:将Web应用程序重新设计为Web服务提供商。
机译:视觉噪声的性能评估对脑电脑界面的应用随机共振效应:运动倒车简单环与复杂棋盘图案的比较
机译:在随机用户配置文件下检查Web服务应用程序的响应时间属性