Author:
Bigot Céline,Faivre Alain,Gaston Christophe,Simon Julien
Publisher
Springer Berlin Heidelberg
Reference36 articles.
1. Abrial, J.R.: The B-Book, Assigning programs to meanings. Cambridge University Press, Cambridge (1996)
2. Lecture Notes in Computer Science;S. Behnia,1999
3. Bernard, E., Legeard, B., Luck, X., Peureux, F.: Generation of test sequences from formal specifications: GSM 11.11 standard case-study. The Journal of Software Practice and Experience 34(10), 915–948 (2004)
4. Bigot, C., Faivre, A., Gallois, J.P., Lapitre, A., Lugato, D., Pierron, J.Y., Rapin, N.: Automatic test generation with AGATHA, TACAS, April 7-11 (2003)
5. Bouquet, F., Peureux, F.: Generation of functional test sequences from B formal specifications – Presentation and industrial case-study. In: Procs. of the 16th International Conference on Automated Software Engineering (ASE 2001), San Diego (USA), pp. 377–381 (November 2003)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An automated testing experiment for layered embedded C code;International Journal on Software Tools for Technology Transfer;2009-03-20