Statistical Model Checking of Response Times for Different System Deployments.
SETTA（2018）
关键词
Statistical model checking, Model-based testing, System deployments, Property-based testing, Performance, Response time, Stochastic user profiles, Web-service application
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要