Matthias Büchler, Karim Hossen, Petru Florin Mihancea, Marius Minea, Roland Groz, Catherine Oriat. Model inference and security testing in the spacios project. In Serge Demeyer, Dave Binkley, Filippo Ricca, editors, 2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering, CSMR-WCRE 2014, Antwerp, Belgium, February 3-6, 2014. pages 411-414, IEEE, 2014. [doi]
Abstract is missing.