Model inference and security testing in the spacios project

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]

Authors

Matthias Büchler

This author has not been identified. Look up 'Matthias Büchler' in Google

Karim Hossen

This author has not been identified. Look up 'Karim Hossen' in Google

Petru Florin Mihancea

This author has not been identified. Look up 'Petru Florin Mihancea' in Google

Marius Minea

This author has not been identified. It may be one of the following persons: Look up 'Marius Minea' in Google

Roland Groz

This author has not been identified. Look up 'Roland Groz' in Google

Catherine Oriat

This author has not been identified. Look up 'Catherine Oriat' in Google