%0 Conference Proceedings %F GrozISOLA12 %A Groz, Roland %A Irfan, Muhammad Naeem %A Oriat, Catherine %T Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing %B Proceedings of the International Symposium on Leveraging Applications, ISoLA 2012 %V 7609 %P 444-457 %S Lecture Notes in Computer Science %8 October %D 2012