Hauptmenü öffnen
Forschungsportal |
Über das Portal
Publikationen
Projekte
Vorträge
Preisverleihungen
Promotionen
Habilitationen
Personen
Einrichtungen
DE
|
EN
Best Paper Award for the Seventh International Conference on Advances in System Testing and Validation Lifecycle
Grunddaten zur Preisverleihung
Art des Preises:
Preis für beste Veröffentlichung
Verliehen von:
IARIA
Verliehen an:
Kuchen, Herbert; Caballero, Rafael, von Hof, Vincent; Montenegro, Manuel
Bekannt gegeben am:
20.11.2015
Verleihung erfolgte am:
15.11.2015
Preisträger*innen der Universität Münster
Kuchen
,
Herbert
Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen)
(PI)
von Hof
,
Vincent
Lehrstuhl für Praktische Informatik in der Wirtschaft (Prof. Kuchen)
(PI)
Ausgezeichnete Aktivitäten & Ergebnisse
Ausgezeichnete Publikationen
Automatic Falsification of Java Assertions
Caballero R, Montenegro M, Kuchen H, von Hof V
(2015)
In:
(Hrsg.),
.
(kein Verlag angegeben)
.
Forschungsartikel in Sammelband (Konferenz)
| Peer reviewed
| Veröffentlicht