Author:
Cavalcanti Ana,Gaudel Marie-Claude
Publisher
Springer Berlin Heidelberg
Reference37 articles.
1. Bernot, G., Gaudel, M.-C., Marre, B.: Software testing based on formal specifications: a theory and a tool. Software Engineering Journal 6(6), 387–405 (1991)
2. Bougé, L., Choquet, N., Fribourg, L., Gaudel, M.-C.: Test set generation from algebraic specifications using logic programming. Journal of Systems and Software 6(4), 343–360 (1986)
3. Brinksma, E.: A theory for the derivation of tests. In: Protocol Specification, testing and Verification VIII, pp. 63–74. North-Holland, Amsterdam (1988)
4. Lecture Notes in Computer Science;A. Butterfield,2007
5. Lecture Notes in Computer Science;A.L.C. Cavalcanti,2007
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Bringing RoboStar and RT-Tester Together;Lecture Notes in Computer Science;2023
2. Applying Formal Verification to an Open-Source Real-Time Operating System;Theories of Programming and Formal Methods;2023
3. Hoare and He’s Unifying Theories of Programming;Theories of Programming;2021-10-02
4. UTP by Example: Designs;Engineering Trustworthy Software Systems;2017
5. Formal mutation testing for;Information and Software Technology;2017-01