Franz Wotawa

• Artículos de revistas (2)
• Colaboraciones en obras colectivas (2)

• Artículos de revistas

  • Using coverage to automate and improve test purpose based testing

    Martin Weiglhofer, Gordon Fraser, Franz Wotawa

    Information and software technology, ISSN 0950-5849, Vol. 51, Nº 11, 2009, págs. 1601-1617

    

  • Improving Robustness of Mobile Robots Using Model-based Reasoning.

    Michael Hofbaur, Johannes Köb, Gerald Steinbauer, Franz Wotawa

    Journal of intelligent & robotic systems: Theory & applications, ISSN 0921-0296, Vol. 48, Nº. 1, 2007, págs. 37-54

    

• Colaboraciones en obras colectivas

  • When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving

    Martin Weiglhofer, Franz Wotawa, Elisabeth Jobstl, Bernhard K. Aichernig

    Third International Conference on Software Testing, Verification, and Validation. ICST 2010. 7-9 April 2010 Paris, France / coord. por Marie-Claude Gaudel, 2010, ISBN 9780769539904, págs. 479-488

    

  • Constraint Satisfaction Problems for Modeling and Explanation in Sustainability Science

    Franz Wotawa

    Advanced Methods for Decision Making and Risk Management in Sustainability Science / coord. por Jürgen Scheffran, Jürgen Kropp, 2007, ISBN 1600214274, págs. 143-159

    

Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.