Formal Test Automation: The Conference Protocol with TGV/TorX-Reference-Cited by-同舟云学术

Formal Test Automation: The Conference Protocol with TGV/TorX

Published:2000 Issue: Volume: Page:221-228
ISSN:1868-4238
Container-title:IFIP Advances in Information and Communication Technology
language:
Short-container-title:

Author:

Du Bousquet Lydie,Ramangalahy Solofo,Simon Séverine,Viho César,Belinfante Axel,de Vries René G.

Publisher

Springer US

Link

http://link.springer.com/content/pdf/10.1007/978-0-387-35516-0_14

Reference13 articles.

1. H. Agrawal, R. A. DeMillo, B. Hataway, W. Hsu, W. Hsu, E. W. Krauser, R. J. Martin, and E. Spafford. Design of mutant operators for the C programming language. Technical Report 1R-41-P, SERC, 1989.

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 IWTCS’99, pages 179–196. Kluwer, 1999.

3. Côte de Resyste. Conference protocol case study. http://www.fmt.cs.utwente.nl/ ConfCase, 1999.

4. H. Garavel. Open/cæsar: An open software architecture for verification, simulation, and testing. In TACAS’98, LNCS 1384. Springer, 1998.

5. ISO. International Standard IS-9646. 1991.

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Is CADP an Applicable Formal Method?;Electronic Proceedings in Theoretical Computer Science;2021-11-16

2. Model-Based Testing for Avionic Systems Proven Benefits and Further Challenges;Lecture Notes in Computer Science;2018

3. Using coverage to automate and improve test purpose based testing;Information and Software Technology;2009-11

4. TGV: theory, principles and algorithms;International Journal on Software Tools for Technology Transfer;2004-10-20

5. Testing Transition Systems: An Annotated Bibliography;Modeling and Verification of Parallel Processes;2001