Inference and Abstraction of the Biometric Passport

  title={Inference and Abstraction of the Biometric Passport},
  author={Fides Aarts and Julien Schmaltz and Frits W. Vaandrager},
Model-based testing is a promising software testing technique for the automation of test generation and test execution. One obstacle to its adoption is the difficulty of developing models. Learning techniques provide tools to automatically derive automata-based models. Automation is obtained at the cost of time and unreadability of the models. We propose an abstraction technique to reduce the alphabet and large data sets. Our idea is to extract a priori knowledge about the teacher and use this… CONTINUE READING
Highly Cited
This paper has 96 citations. REVIEW CITATIONS
59 Citations
17 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 59 extracted citations

97 Citations

Citations per Year
Semantic Scholar estimates that this publication has 97 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 17 references

9303 - machine readable travel documents - part 1-2

  • ICAO. Do
  • Technical report, International Civil Aviation…
  • 2006
2 Excerpts

Similar Papers

Loading similar papers…