Lehrstuhl für Informatik 11 (Software-Engineering) (SWE)

Testing the Cooperation of Autonomous Robotic Agents (2014) Lill R, Saglietti F Conference contribution Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets (2013) Lill R, Saglietti F Conference contribution Model-based Testing of Cooperating Robotic Systems using Coloured Petri Nets (2013) Lill R, Saglietti F Conference contribution, Conference Contribution Adaptation of Coupling-Based Reliability Testing for Safety-Relevant Software (2013) Meitner M, Saglietti F Conference contribution, Conference Contribution Software Reliability Testing Covering Subsystem Interactions (2012) Meitner M, Saglietti F Conference contribution, Conference Contribution Automatische Optimierung und Evaluierung modellbasierter Testfälle für den Komponenten- und Integrationstest (2012) Pinte FA Thesis Model-based Testing of Autonomous Systems based on Coloured Petri Nets (2012) Lill R, Saglietti F Conference contribution Test Coverage Criteria for Autonomous Mobile Systems based on Coloured Petri Nets (2012) Lill R, Saglietti F Conference contribution Softwarezuverlässigkeitsbewertung auf Basis von Betriebsprofiltreue und Schnittstellenüberdeckung (2011) Meitner M, Saglietti F Conference contribution Evolution of Verification Techniques by Increasing Autonomy of Cooperating Agents (2011) Saglietti F, Söhnlein S, Lill R Conference contribution, Conference Contribution