Automated Test and Oracle Generation for Smart-Card Applications-Reference-Cited by-同舟云学术

Automated Test and Oracle Generation for Smart-Card Applications

Published:2001 Issue: Volume: Page:58-70
ISSN:0302-9743
Container-title:Smart Card Programming and Security
language:
Short-container-title:

Author:

Clarke Duncan,Jéron Thierry,Rusu Vlad,Zinovieva Elena

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-45418-7_6

Reference13 articles.

1. A. Belinfante, J. Feenstra, R. de Vries, J. Tretmans, N. Goga, L. Feijs, and S. Mauw. Formal test automation: a simple experiment. In International Workshop on the Testing of Communication Systems (IWTCS’99), pages 179–196, 1999.

2. Lect Notes Comput Sci;M. Bozga,1999

3. CEPSCO. Common Electronic Purse Specifications, Technical Specification ( http://www.cepsco.org ), May 2000.

4. ISO/IEC. LOTOS-a formal description technique based on the temporal ordering of observational behaviour. Technical Report 8807, International Organization for Standards-Information Processing Systems-Open Systems Interconnection, 1988.

5. ISO/IEC. International Standard 9646-1/2/3, OSI-Open Systems Interconnection, Information Technology-Open Systems Interconnection Conformance Testing Methodology and Framework, 1992.

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

1. An automated testing experiment for layered embedded C code;International Journal on Software Tools for Technology Transfer;2009-03-20

2. Applying Model-Based Testing to HTML Rendering Engines – A Case Study;Testing of Software and Communicating Systems;2008

3. Model Based Testing with Labelled Transition Systems;Formal Methods and Testing;2008

4. Automatic Test Generation on a (U)SIM Smart Card;Smart Card Research and Advanced Applications;2006

5. Abstractions for Model-Based Testing;Electronic Notes in Theoretical Computer Science;2005-01