A theory of specification-based testing for object-oriented software-Reference-Cited by-同舟云学术

A theory of specification-based testing for object-oriented software

Published:1996 Issue: Volume: Page:303-320
ISSN:0302-9743
Container-title:Dependable Computing — EDCC-2
language:
Short-container-title:

Author:

Barbey Stéphane,Buchs Didier,Péraire Cécile

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-61772-8_45.pdf

Reference12 articles.

1. Stéphane Barbey, Manuel Ammann, and Alfred Strohmeier. Open issues in testing object-oriented software. In Karol Frühauf, editor, ECSQ '94 (European Conference on Software Quality), pages 257–267, Basel, Switzerland, October 17–20 1994. vdf Hochschulverlag AG an der ETH Zürich. Also available as Technical Report (EPFL-DI-LGL No 94/45).

2. Stéphane Barbey, Didier Buchs, and Cécile Péraire. A theory of specification-based testing for object-oriented software. Technical Report 96/163, EPFL-DI-LGL, January 1996.

3. Gilles Bernot, Marie-Claude Gaudel, and Bruno Marre. Software testing based on formal specifications: a theory and a tool. IEE Software Engineering Journal, 6(6):387–405, November 1991.

4. Olivier Biberstein and Didier Buchs. Structured algebraic nets with object-orientation. In Workshop on Object-Oriented Programming and Models of Concurrency '95, Turin, June 1995.

5. Didier Buchs and Nicolas Guelfi. A concurrent object-oriented Petri nets approach for system specification. In M. Silva, editor, 12th International Conference on Application and Theory of Petri Nets, pages 432–454, Aahrus, Denmark, June 1991.

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

1. “Testing Can Be Formal Too”: 30 Years Later;The French School of Programming;2023-10-11

2. Enhancing the Capability of Testing-Based Formal Verification by Handling Operations in Software Packages;IEEE Transactions on Software Engineering;2023-01-01

3. Putting the semantics into semantic versioning;Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2020-11-17

4. Exhaustive test sets for algebraic specifications;Software Testing, Verification and Reliability;2016-01-27

5. Considering Execution Environment Resilience: A White-Box Approach;Lecture Notes in Computer Science;2015