6th International Conference on Tests and Proofs (TAP 2012)
Event name
6th International Conference on Tests and Proofs (TAP 2012)
Start date
31-05-2012
End date
01-06-2012
Location
Prague, Czech Republic
Country
Event format Veranstaltungsformat
On Site
Results 1-2 of 2 (Search time: 0.002 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Creignou, Nadia ; Egly, Uwe ; Seidl, Martina | A Framework for the Specification of Random SAT and QSAT Formulas | Konferenzbeitrag Inproceedings  | 2012 | |
| 2 | Kaufmann, Petra ; Egly, Uwe ; Gabmeyer, Sebastian ; Kappel, Gerti ; Seidl, Martina ; Tompits, Hans ; Widl, Magdalena ; Wimmer, Manuel | Towards Scenario-Based Testing of UML Diagrams | Konferenzbeitrag Inproceedings | 2012 |