Algorithmic Improvements on Regular Inference of Software Models and Perspectives for Security Testing.

Roland Groz, Muhammad-Naeem Irfan, Catherine Oriat

Browse the full ISoLA paper archive.