Author:
Bouquet Fabrice,Dadeau Frédéric,Groslambert Julien,Julliand Jacques
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Abrial, J.R.: The B Book. Cambridge University Press, Cambridge (1996)
2. Ammann, P., Black, P.E., Majurski, W.: Using model checking to generate tests from specifications. In: ICFEM 1998, pp. 46–55. IEEE Comp. Soc. Press, Los Alamitos (1998)
3. Lecture Notes in Computer Science;F. Bouquet,2006
4. Lecture Notes in Computer Science;F. Bouquet,2005
5. Boyapati, C., Khurshid, S., Marinov, D.: Korat: automated testing based on java predicates. In: ISSTA 2002, pp. 123–133. ACM Press, New York (2002)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献