Experience with a Concurrency Bugs Benchmark
Lillehammer（2008）
摘要
Some approaches to Model-Based Testing focus on test case generation from assertions (operation pre- and post- conditions) and invariants, e.g., written in the Object Constraint Language. In such a setting, assertions must be val- idated. Validation ...
更多查看译文
关键词
test case generation,model-based testing focus,concurrency bugs benchmark,operation pre,object constraint language,benchmark testing,internet,computational modeling,distributed databases,debugging,software engineering,java,stress,engines,computer languages,computer bugs,concurrent testing,algorithm design and analysis,writing,software testing,software quality,schedules,web server,inspection,concurrent computing,concurrent engineering,testing,noise,scalability,silver,taxonomy,computer science,multi threading,programming
AI 理解论文
溯源树
样例
生成溯源树，研究论文发展脉络
Chat Paper
正在生成论文摘要