( en | de | ru )

 

Disambiguierung von "Wotawa, Franz"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Diagnosing Java Programs with Static Abstractions of Data Structures.

, , und . Intelligent Information Processing, Volume 163 von IFIP, Seite 369-372. Springer, (2004)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Nicolas Wotawa

Florian Franz

Realzeittest von Fahrzeugsoftware-Komponenten. TU München, (2009)

Simon Franzmann

Tobias Franz

Jan Franzen

 

Weitere Publikationen von Autoren mit dem selben Namen

Test purpose generation in an industrial application., , , und . A-MOST, Seite 115-125. ACM, (2007)Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software., , und . ICST Workshops, Seite 14-17. IEEE, (2020)Debugging VHDL designs using model-based reasoning.. Artif. Intell. Eng., 14 (4): 331-351 (2000)Combining Slicing and Constraint Solving for Better Debugging: The CONBAS Approach., und . Adv. Softw. Eng., (2012)QR-Model Based Testing., , und . AST, Seite 17-20. ACM, (2008)An introduction to model-based systems., , und . AI Commun., 20 (1): 1-6 (2007)Binding Environmental Sciences and Artificial Intelligence., , und . AI Commun., 18 (4): 243-245 (2005)AI for Localizing Faults in Spreadsheets., , und . ICTSS, Volume 10533 von Lecture Notes in Computer Science, Seite 71-87. Springer, (2017)A "Strength of Decision Tree Equivalence"-Taxonomy and Its Impact on Test Suite Reduction., , und . ICTSS, Volume 10533 von Lecture Notes in Computer Science, Seite 197-212. Springer, (2017)Metamorphic Testing of Logic Theorem Prover., und . ICTSS, Volume 13045 von Lecture Notes in Computer Science, Seite 131-137. Springer, (2021)