Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms-Reference-Cited by-同舟云学术

Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms

Published:2006 Issue: Volume: Page:203-217
ISSN:0302-9743
Container-title:Formal Approaches to Software Testing
language:
Short-container-title:

Author:

Aiguier Marc,Arnould Agnès,Boin Clément,Le Gall Pascale,Marre Bruno

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11759744_14

Reference21 articles.

1. Aiguier, M., Arnould, A., Boin, C., Le Gall, P., Marre, B.: Testing from algebraic specifications: Test data set selection by unfolding axioms. Rapport LaMI 110, Université d’Évry-Val d’Essonne (2005), ftp://ftp.lami.univ-evry.fr/pub/publications/reports

2. Arnould, A., Le Gall, P.: Test de conformité: une approche algébrique. Technique et Science Informatiques, Test de logiciel 21(9), 1219–1242 (2002)

3. Lecture Notes in Computer Science;A. Arnould,1996

4. Lecture Notes in Computer Science;G. Bernot,1991

5. 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)

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

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

2. Some General Results About Proof Normalization;Logica Universalis;2010-02-11

3. Integration Testing from Structured First-Order Specifications via Deduction Modulo;Theoretical Aspects of Computing - ICTAC 2009;2009

4. Testing Data Types Implementations from Algebraic Specifications;Formal Methods and Testing;2008

5. Specification-Based Testing for CoCasl’s Modal Specifications;Algebra and Coalgebra in Computer Science;2007