SMARTEST - „Evaluierung von Verfahren zum Testen der Informationssicherheit in der nuklearen Leittechnik durch smarte Testfallgenerierung – Modellbasierte Teststrategien" : Abschlussbericht = SMARTEST - „Evaluation of Testing Techniques for IT-Security Checks in Automatic Control Software for Nuclear Power Plants – Model-based Testing Strategies“ - Saglietti, Francesca (Verfasser); Sardy, Loui Al (Verfasser); Spisländer, Marc (Verfasser); Neubaum, Andreas (Verfasser); Friedrich-Alexander-Universität Erlangen-Nürnberg. Lehrstuhl für Software Engineering (Herausgebendes Organ) (Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), 2019)