Inference and abstraction of the biometric passport

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

Volumn 6415 LNCS, Issue PART 1, 2010, Pages 673-686

  Aarts, Fides ^a   Schmaltz, Julien ^a,b   Vaandrager, Frits ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

^b OPEN UNIVERSITY OF THE NETHERLANDS   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTION TECHNIQUES; AUTOMATA-BASED MODEL; BIOMETRIC PASSPORT; LARGE DATASETS; LEARNING TECHNIQUES; MODEL BASED TESTING; PRIORI KNOWLEDGE; SOFTWARE TESTING TECHNIQUES; TEST EXECUTION; TEST GENERATIONS;

ABSTRACTING; BIOMETRICS; COMPUTER SOFTWARE SELECTION AND EVALUATION; FORMAL METHODS; SOFTWARE TESTING; TEACHING; TESTING;

EQUIVALENCE CLASSES;

EID: 78650271044     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16558-0_54     Document Type: Conference Paper

References (18)

1. Aarts, F.: Inference and Abstraction of Communication Protocols. Master's thesis, Radboud University Nijmegen and Uppsala University (2009)
2. Aarts, F., Jonsson, B., Uijen, J.: Generating Models of Infinite-State Communication Protocols using Regular Inference with Abstraction. In: Proceedings ICTSS 2010, 22nd IFIP International Conference on Testing Software and Systems (2010)
3. Aarts, F., Vaandrager, F.: Learning I/O Automata. In: Proceedings CONCUR 2010, 21th International Conference on Concurrency Theory, pp. 71-85 (2010)
4. Angluin, D.: Learning regular sets from queries and counterexamples. Information and Computation 75(2), 87-106 (1987)
5. Belinfante, A.: JTorX: A tool for on-line model-driven test derivation and execution. In: Esparza, J., Majumdar, R. (eds.) TACAS 2010. LNCS, vol. 6015, pp. 266-270. Springer, Heidelberg (2010)
6. BSI. Advanced security mechanisms for machine readable travel documents - extended access control (eac) - version 1.11. Technical Report TR-03110, German Federal Office for Information Security (BSI), Bonn, Germany (2008)
7. Chow, T.S.: Testing software design modeled by Infinite-state machines. IEEE Trans.on Software Engineering 4(3), 178-187 (1978); Special collection based on COMPSAC
8. Clarke, E.M., Grumberg, O., Jha, S., Lu, Y., Veith, H.: Counterexample- guided abstraction refinement for symbolic model checking. Journal of the ACM 50(5), 752-794 (2003)
9. de Alfaro, L., Henzinger, T.A.: Interface automata. In: Gruhn, V. (ed.) Proceedings of the Joint 8th European Software Engineering Conference and 9th ACM SIGSOFT Symposium on the Foundation of Software Engineering (ESEC/FSE- 2001). Software Engineering Notes, vol. 26, pp. 109-120. ACM Press, New York (September 2001)
10. ICAO. Doc 9303 - machine readable travel documents - part 1-2. Technical report, International Civil Aviation Organization, 6th edn. (2006)
11. Lee, D., Yannakakis, M.: Principles and methods of testing Finite state machines a survey. Proc. IEEE 84(8), 1090-1126 (1996)
12. Loiseaux, C., Graf, S., Sifakis, J., Boujjani, A., Bensalem, S.: Property preserving abstractions for the verifIcation of concurrent systems. Formal Methods in System Design 6(1), 11-44 (1995)
13. Mostowski, W., Poll, E., Schmaltz, J., Tretmans, J., Wichers Schreur, R.: Model-based testing of electronic passports. In: Cofer, D., Fantechi, A. (eds.) FMICS 2008. LNCS, vol. 5596, pp. 207-209. Springer, Heidelberg (2009)
14. Niese, O.: An integrated approach to testing complex systems. Technical report, Dortmund University, Doctoral thesis (2003)
15. Raffelt, H., Steffen, B., Berg, T.: Learnlib: a library for automata learning and experimentation. In: FMICS 2005: Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems, pp. 62-71. ACM Press, New York (2005)
16. Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software - Concepts and Tools 17(3), 103-120 (1996)
17. Tretmans, J.: Model based testing with labelled transition systems. In: Hierons, R.M., Bowen, J.P., Harman, M. (eds.) FORTEST. LNCS, vol. 4949, pp. 1-38. Springer, Heidelberg (2008)
18. Tretmans, J., Brinksma, H.: TorX: Automated model-based testing. In: Hartman, A., Dussa-Ziegler, K. (eds.) First European Conference on Model-Driven Software Engineering, pp. 31-43 (December 2003)