Search dblp for Publications

export results for "Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing"

 download as .bib file

@inproceedings{DBLP:conf/isola/GrozIO12,
  author       = {Roland Groz and
                  Muhammad{-}Naeem Irfan and
                  Catherine Oriat},
  title        = {Algorithmic Improvements on Regular Inference of Software Models and
                  Perspectives for Security Testing},
  booktitle    = {ISoLA {(1)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7609},
  pages        = {444--457},
  publisher    = {Springer},
  year         = {2012}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics