Publisher
Springer Berlin Heidelberg
Reference31 articles.
1. Jean-Raymond Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press, Trumpington Street, Cambridge CB2 1RP, Great Britain, 1996.
2. Lionel Van Aertryck. Une méthode et un outil pour l’la génération de jeux de tests de logiciels. PhD thesis, Universitées, January 1998.
3. Lect Notes Comput Sci;B. K. Aichernig,1999
4. Bernhard K. Aichernig, Andreas Gerstinger, and Robert Aster. Formal specification techniques as a catalyst in validation. In Proceedings of the 5th Conference on High-Assurance Software Engineering, 5th-7th November 2000, Albuquerque, New Mexico, USA. IEEE, 2000. To be published.
5. Ralph Back, Anna Mikhajlova, and Joakim von Wright. Reasoning about inter-active systems. In Jeannette M. Wing, Jim Woodcock, and Jim Davies, editors, FM’99 — Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 1999, Proceedings, Volume II, volume 1709 of Lecturen Notes in Computer Science. Springer, 1999.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Model-Based Mutation Testing of Reactive Systems;Theories of Programming and Formal Methods;2013
2. Formalization Process in Software Development;Encyclopedia of Information Science and Technology, Second Edition;2009
3. Viewpoint-Based Testing of Concurrent Components;Lecture Notes in Computer Science;2004
4. Contract-Based Testing;Formal Methods at the Crossroads. From Panacea to Foundational Support;2003
5. The Commuting V-Diagram;Computer Science Logic;2003