Using B Machines for Model-Based Testing of Smartcard Software

Eddie Jaffuel. Using B Machines for Model-Based Testing of Smartcard Software. In Jacques Julliand, Olga Kouchnarenko, editors, B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besançon, France, January 17-19, 2007, Proceedings. Volume 4355 of Lecture Notes in Computer Science, pages 2, Springer, 2007. [doi]

@inproceedings{Jaffuel07,
  title = {Using B Machines for Model-Based Testing of Smartcard Software},
  author = {Eddie Jaffuel},
  year = {2007},
  doi = {10.1007/11955757_2},
  url = {http://dx.doi.org/10.1007/11955757_2},
  tags = {rule-based, testing},
  researchr = {https://researchr.org/publication/Jaffuel07},
  cites = {0},
  citedby = {0},
  pages = {2},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International Conference of B Users, Besançon, France, January 17-19, 2007, Proceedings},
  editor = {Jacques Julliand and Olga Kouchnarenko},
  volume = {4355},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-68760-2},
}