Author:
Bozga Marius,Fernandez Jean-Claude,Ghirvu Lucian
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. A. Aho, R. Sethi, and J.D. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, 1986. 247
2. A. Belinfante, J. Feenstra, R.G. de Vries, J. Tretmans, N. Goga, L. Feijs, S. Mauw, and L. Heerink. Formal Test Automation: a Simple Experiment. In G. Csopaki, S. Dibuz, and K. Tarnay, editors, 12 th International Workshop on Testing of Communicating Systems. Kluwer Academic Publishers, 1999. 235
3. Lect Notes Comput Sci;F. Bourdoncle,1993
4. Lect Notes Comput Sci;M. Bozga,1999
5. M. Bozga, J.-C. Fernandez, L. Ghirvu, S. Graf, J.-P. Krimm, L. Mounier, and J. Sifakis. IF: An Intermediate Representation for SDL and its Applications. In SDL Forum Proceedings, Montreal, CA, June 1999. 247
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Static slicing of Use Case Maps requirements models;Software & Systems Modeling;2018-06-07
2. AN EFFICIENT LOTOS-BASED FRAMEWORK FOR DESCRIBING AND SOLVING (TEMPORAL) CSPs;International Journal of Software Engineering and Knowledge Engineering;2009-09
3. Automated Test Generation and Verified Software;Verified Software: Theories, Tools, Experiments;2008
4. Implementing Conformiq Qtronic;Testing of Software and Communicating Systems;2007
5. Property Oriented Test Case Generation;Formal Approaches to Software Testing;2004