Talks and Poster Presentations (with Proceedings-Entry):

P. Brosch, U. Egly, S. Gabmeyer, G. Kappel, M. Seidl, H. Tompits, M. Widl, M. Wimmer:
"Towards Scenario-Based Testing of UML Diagrams";
Talk: 6th International Conference on Tests and Proofs (TAP 2012), Prague, Czech Republic; 05-31-2012 - 06-01-2012; in: "Proceedings of the 6th International Conference on Tests and Proofs (TAP 2012)", Springer, LNCS 7305 (2012), ISBN: 978-3-642-30472-9; 149 - 155.

"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)

Electronic version of the publication:

Related Projects:
Project Head Uwe Egly:
Quantified Boolean Formulas

Project Head Martina Seidl:
FAME: Formalisierung und Handhabung von Evolution in modellbasierter Softwareentwicklung

Created from the Publication Database of the Vienna University of Technology.