( en | de | ru )

 

Disambiguation of "Wotawa, Franz"

Author of the publication

copydeleteadd this publication to your clipboard
Planning-Based Security Testing of the SSL/TLS Protocol.

, , , and . ICST Workshops, page 347-355. IEEE Computer Society, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nicolas Wotawa

Florian Franz

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

Simon Franzmann

Tobias Franz

Jan Franzen

 

Other publications of authors with the same name

Test purpose generation in an industrial application., , , and . A-MOST, page 115-125. ACM, (2007)Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software., , and . ICST Workshops, page 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., and . Adv. Softw. Eng., (2012)QR-Model Based Testing., , and . AST, page 17-20. ACM, (2008)An introduction to model-based systems., , and . AI Commun., 20 (1): 1-6 (2007)Binding Environmental Sciences and Artificial Intelligence., , and . AI Commun., 18 (4): 243-245 (2005)AI for Localizing Faults in Spreadsheets., , and . ICTSS, volume 10533 of Lecture Notes in Computer Science, page 71-87. Springer, (2017)A "Strength of Decision Tree Equivalence"-Taxonomy and Its Impact on Test Suite Reduction., , and . ICTSS, volume 10533 of Lecture Notes in Computer Science, page 197-212. Springer, (2017)Metamorphic Testing of Logic Theorem Prover., and . ICTSS, volume 13045 of Lecture Notes in Computer Science, page 131-137. Springer, (2021)