Filtering TOBIAS Combinatorial Test Suites-Reference-Cited by-同舟云学术

Filtering TOBIAS Combinatorial Test Suites

Published:2004 Issue: Volume: Page:281-294
ISSN:0302-9743
Container-title:Fundamental Approaches to Software Engineering
language:
Short-container-title:

Author:

Ledru Yves,du Bousquet Lydie,Maury Olivier,Bontron Pierre

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-24721-0_21

Reference12 articles.

1. Lecture Notes in Computer Science;B.K. Aichernig,1999

2. Boyapati, C., Khurshid, S., Marinov, D.: Korat: Automated testing based on java predicates. In: Proceedings of the International Symposium on Software Testing and Analysis, Rome, July 22-24. IEEE, Los Alamitos (2002)

3. Lecture Notes in Computer Science;Y. Cheon,2002

4. Cohen, D.M., Dalal, S.R., Parelius, J., Patton, G.C.: The combinatorial design approach to automatic test generation. IEEE Software 13(5), 83–88 (1996)

5. du Bousquet, L., Martin, H., Jézéquel, J.-M.: Conformance Testing from UML specifications, Experience Report. In: Informatik, G.f. (ed.) p-UML workshop, Toronto. Lecture Notes in Informatics, vol. P-7, pp. 43–56 (2001)

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

1. Model-Based Testing for Functional and Security Test Generation;Foundations of Security Analysis and Design VII;2014

2. Temporal Constraint Support for OCL;Software Language Engineering;2013

3. Scenario-based testing from UML/OCL behavioral models;International Journal on Software Tools for Technology Transfer;2011-02-25

4. Using formal methods to increase confidence in a home network system implementation: a case study;Innovations in Systems and Software Engineering;2009-06-20

5. Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies;Journal of Automated Reasoning;2009-06-02