Author:
Julliand Jacques,Masson Pierre-Alain,Tissot Régis
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Abrial, J.-R.: The B Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. Amman, P., Ding, W., Xu, D.: Using a model checker to test safety properties. In: ICECCS 2001. IEEE Computer Society, Los Alamitos (2001)
3. Lecture Notes in Computer Science;F. Bouquet,2006
4. Bernard, E., Legeard, B., Luck, X., Peureux, F.: Generation of test sequences from formal specifications: GSM 11-11 standard case study. Software: Practice and Experience 34(10), 915–948 (2004)
5. Constant, C., Jéron, T., Marchand, H., Rusu, V.: Integrating formal verification and conformance testing for reactive systems. IEEE Transactions on Software Engineering 33(8), 558–574 (2007)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献