Java; multiprocessing systems; program testing; Java PathFinder; Java components; concurrent systems; concurrent testing; model checking techniques;
机译:测试并发Java组件的工具支持
机译:测试并发Java组件的工具支持
机译:基于并发故障分析的并发Java组件验证方法
机译:使用Java Pathfinder并发测试Java组件
机译:SeSFJava:一种用于并发系统的设计和断言测试的框架。
机译:Monte-Carlo Metropolis Ising模型的螺纹Java并发实现
机译:软件组件的模型检查:结合Java PathFinder和行为协议模型检查器