Author:
Godefroid Patrice,Khurshid Sarfraz
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference29 articles.
1. Beyer H-G, Schwefel H-P (2002) Evolution strategies – a comprehensive introduction. Nat Comput 1(1)
2. Boigelot B, Godefroid P (1996) Model checking in practice: an analysis of the ACCESS.bus protocol using SPIN. In: Proceedings of Formal Methods Europe’96, Oxford, March 1996. Lecture notes in computer science, vol 1051. Springer, Berlin Heidelberg New York, pp 465–478
3. Bueno SPM, Jino M (2000) Identification of potentially infeasible program paths by monitoring the search for test data. In: Proceedings of the 15th IEEE international conference on automated software engineering (ASE), Grenoble, France, September 2000
4. Clarke EM, Grumberg O, Hiraishi H, Jha S, Long DE, McMillan KL, Ness LA (1993) Verification of the Futurebus+ cache coherence protocol. In: Proceedings of the 11th international symposium on computer hardware description languages and their apllications. North-Holland, Amsterdam
5. Clarke EM, Grumberg O, Peled DA (1999) Model checking. MIT Press, Cambridge, MA
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献