Automated test and oracle generation for smart-card applications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2140, Issue , 2001, Pages 58-70

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

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

SMART CARDS; SPECIFICATIONS; TESTING; TRANSPORTATION;

AUTOMATED TEST; LABELLED TRANSITION SYSTEMS; SMART-CARD APPLICATION; SYMBOLIC TEST GENERATION; SYSTEM SPECIFICATION; TEST PURPOSE;

HARDWARE SECURITY;

EID: 84937402122     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/3-540-45418-7_6     Document Type: Article

References (13)

1. [BFdV+99] 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. [BFG+99] M. Bozga, J.-C. Fernandez, L. Ghirvu, S. Graf, J.P. Krimm, and L. Mounier. If: An intermediate representation and validation environment for timed asynchronous systems. In Proceedings of World Conference on Formal Methods, FM’99, volume 1708 of LNCS, pages 307-327, Toulouse, France, September 1999. Springer-Verlag.
3. [CEP00] CEPSCO. Common Electronic Purse Specifications, Technical Specification (http://www.cepsco.org), May 2000.
4. [IS088] 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. [IS092] ISO/IEC. International Standard 9646-1/2/3, OSI-Open Systems Interconnection, Information Technology - Open Systems Interconnection Conformance Testing Methodology and Framework, 1992.
6. [IT94] ITU-T. Recommendation Z-100. Specification and Description Language (SDL), 1994.
7. [JM99] T. Jeron and P. Morel. Test generation derived from model-checking. In Computer Aided Verification (CAV’99), volume 1633 of LNCS, pages 108-122, 1999.
8. [KJG99] A. Kerbrat, T. Jeron, and R. Groz. Automated test genration from SDL specifications. In Proceedings of SDL Forum. Elsevier Science (North Holland), 1999.
9. [KMP+] W. Kelly, V. Maslov, W. Pugh, E. Rosser, T. Shpiesman, and D. Wonnacott. The Omega library interface guide. Available at http://www.cs.umd.edu/projects/omega.
10. [MdBOO] H. Martin and L. du Bousquet. Automatic test generation for java-card applets. In Proceedings of the Java-Card Workshop, Cannes, September 2000.
11. [RdBJOO] Vlad Rusu, Lydie du Bousquet, and Thierry Jeron. An approach to symbolic test generation. In International Conference on Integrating Formal Methods, volume 1945 of Lecture Notes in Computer Science, pages 338357, Dagstuhl, Germany, November 2000. Springer-Verlag.
12. [RW85] Sandra Rapps and Elaine J. Weyuker. Selecting software test data using data flow information. IEEE Transactions on Software Engineering, SE- ll(4):367-375, April 1985.
13. [Tre94] J. Tretmans. A formal approach to conformance testing. In The 6th International Workshop on Protocol Test Systems, number C-19 in IFIP Transactions, pages 257-276, 1994.