Modular Conformance Testing and Assume-Guarantee Verification for Evolving Component-Based Software
暂无分享,去创建一个
[1] Alex Groce,et al. Adaptive Model Checking , 2006, Log. J. IGPL.
[2] Tsun S. Chow,et al. Testing Software Design Modeled by Finite-State Machines , 1978, IEEE Transactions on Software Engineering.
[3] Howard Barringer,et al. Assumption generation for software component verification , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.
[4] Kathi Fisler,et al. Modular verification of collaboration-based software designs , 2001, ESEC/FSE-9.
[5] Dana Angluin,et al. Learning Regular Sets from Queries and Counterexamples , 1987, Inf. Comput..
[6] Takuya Katayama,et al. Specification and verification of inter-component constraints in CTL , 2006 .
[7] Corina S. Pasareanu,et al. Learning Assumptions for Compositional Verification , 2003, TACAS.
[8] Mihalis Yannakakis,et al. Black Box Checking , 1999 .
[9] Jeff Magee,et al. Concurrency - state models and Java programs , 2006 .
[10] Ronald L. Rivest,et al. Inference of finite automata using homing sequences , 1989, STOC '89.
[11] Sagar Chaki,et al. Verification of Evolving Software , 2004 .