Symbolic Test Selection Based on Approximate Analysis-Reference-Cited by-同舟云学术

Symbolic Test Selection Based on Approximate Analysis

Published:2005 Issue: Volume: Page:349-364
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Jeannet Bertrand,Jéron Thierry,Rusu Vlad,Zinovieva Elena

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-31980-1_23.pdf

Reference16 articles.

1. ISO/IEC 9646. Conformance Testing Methodology and Framework (1992)

2. Belinfante, A., Feenstra, J., de Vries, R.G., Tretmans, J., Goga, N., Feijs, L., Mauw, S., Heerink, L.: Formal test automation: A simple experiment. In: 12 th Int. Workshop on Testing of Communicating Systems. Kluwer Academic Publishers, Dordrecht (1999)

3. Benjamin, M., Geist, D., Hartman, A., Mas, G., Smeets, R., Wolfsthal, Y.: A feasibility study in formal coverage driven test generation. In: DAC 1999 (1999)

4. Cousot, P., Cousot, R.: Abstract intrepretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: 4th ACM Symposium on Principles of Programming Languages, Los Angeles, CA (1977)

5. Lecture Notes in Computer Science;L. Frantzen,2005

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

1. Coverage-Based Testing with Symbolic Transition Systems;Tests and Proofs;2019

2. Tri-modal under-approximation of event systems for test generation;Proceedings of the 30th Annual ACM Symposium on Applied Computing;2015-04-13

3. An orchestrated survey of methodologies for automated software test case generation;Journal of Systems and Software;2013-08

4. Symbolic Execution-Based Techniques for Conformance Testing;Model-Driven Engineering for Distributed Real-Time Systems;2013-03-05

5. Decentralized Control of Infinite Systems;Discrete Event Dynamic Systems;2011-05-06