Testing can be formal, too-Reference-Cited by-同舟云学术

Testing can be formal, too

Published:1995 Issue: Volume: Page:82-96
ISSN:0302-9743
Container-title:TAPSOFT '95: Theory and Practice of Software Development
language:
Short-container-title:

Author:

Gaudel Marie-Claude

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-59293-8_188.pdf

Reference28 articles.

1. Barbey S., Buchs D., Testing Ada abstract data types using formal specifications, in Ada in Europe, proc. 1st Int. Eurospece-Ada-Europe Symposium, Copenhagen, Sept. 1994, LNCS n°887, Springer-Verlag, 1994, pp. 76–89.

2. Bernot G., Testing against formal specifications: a theoretical view, TAPSOFT'91 CCPSD proceedings, LNCS n° 494, Springer-Verlag, Brighton, 1991, pp. 99–119.

3. Bernot G., Gaudel M-C., Marre B., Software testing based on formal specifications: a theory and a tool, Software Engineering Journal, vol. 6, n° 6, Nov. 1991.

4. Bernot G., Gaudel M-C, Marre B., A Formal Approach to Software Testing, 2nd International Conference on Algebraic Methodology and Software Technology (AMAST), Iowa City, May 1991, Workshops in Computing Series, Springer-Verlag, 1992.

5. Bougé L., A contribution to the theory of program testing, Theoretical Computer Science, vol. 37, 1985, pp. 151–181.

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

1. Testing Causality in Scientific Modelling Software;ACM Transactions on Software Engineering and Methodology;2023-11-24

2. Leveraging Conditional Statement to Generate Acceptance Tests Automatically via Traceable Sequence Generation;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security (QRS);2023-10-22

3. Incomplete Adaptive Distinguishing Sequences for Non-Deterministic FSMs;IEEE Transactions on Software Engineering;2023-09

4. Challenges in testing of cyclic systems;2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS);2023-06-14

5. Applying Formal Verification to an Open-Source Real-Time Operating System;Theories of Programming and Formal Methods;2023