Automated Boundary Testing from Z and B-Reference-Cited by-同舟云学术

Automated Boundary Testing from Z and B

Published:2002 Issue: Volume: Page:21-40
ISSN:0302-9743
Container-title:FME 2002:Formal Methods—Getting IT Right
language:
Short-container-title:

Author:

Legeard Bruno,Peureux Fabien,Utting Mark

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45614-7_2

Reference24 articles.

1. E. Bernard, B. Legeard, X. Luck, and F. Peureux. Generation of test sequences from formal specifications: GSM 11.11 standard case-study. Submitted to the Journal of Software Practice and Experience, 2002.

2. Lect Notes Comput Sci;M.-C. Gaudel,1995

3. J. Tretmans. Test generation with inputs, outputs and repetitive quiescence. Software-Concepts and Tools, 17(3):103–120, 1996.

4. J.M. Spivey. The Z notation: A Reference Manual. Prentice-Hall, 2 nd edition, 1992. ISBN 0 13 978529 9.

5. C.B. Jones. Systematic Software Development Using VDM. Prentice-Hall, 2 nd edition, 1990.

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

1. Automated Generation of Initial Configurations for Testing Component Systems;Formal Aspects of Component Software;2021

2. OffSide;Proceedings of the IEEE/ACM 42nd International Conference on Software Engineering Workshops;2020-06-27

3. Software Construction Monitoring and Predicting for Human-Machine Pair Programming;Structured Object-Oriented Formal Language and Method;2019

4. MBT4J: Automating the Model-Based Testing Process for Java Applications;Advances in Intelligent Systems and Computing;2018-09-27

5. A text-based visual notation for the unit testing of model-driven tools;Computer Languages, Systems & Structures;2017-09