TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 6.

Lochau, Malte ; Bürdek, Johannes ; Bauregger, Stefan ; Holzer, Andreas ; von Rhein, Alexander ; Apel, Sven ; Beyer, Dirk :
On facilitating reuse in multi-goal test-suite generation for software product lines.
[Online-Edition: http://subs.emis.de/LNI/Proceedings/Proceedings252/article31...]
In: Software Engineering, SE 2016.
[Konferenz- oder Workshop-Beitrag] , (2016)

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Lo, David ; Apel, Sven ; Khurshid, Sarfraz (eds.) :

An empirical evaluation of two user interfaces of an interactive program verifier.
[Online-Edition: http://doi.acm.org/10.1145/2970276.2970303]
In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016. ACM
[Konferenz- oder Workshop-Beitrag] , (2016)

Hentschel, Martin ; Hähnle, Reiner ; Bubel, Richard
Lo, David ; Apel, Sven ; Khurshid, Sarfraz (eds.) :

The interactive verification debugger: effective understanding of interactive proof attempts.
[Online-Edition: http://doi.acm.org/10.1145/2970276.2970292]
In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016. ACM
[Konferenz- oder Workshop-Beitrag] , (2016)

Bürdek, Johannes ; Lochau, Malte ; Bauregger, Stefan ; Holzer, Andreas ; von Rhein, Alexander ; Apel, Sven ; Beyer, Dirk :
Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines.
[Online-Edition: http://dx.doi.org/10.1007/978-3-662-46675-9_6]
In: Fundamental Approaches to Software Engineering - 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015.
[Konferenz- oder Workshop-Beitrag] , (2015)

Thüm, Thomas ; Schaefer, Ina ; Apel, Sven ; Hentschel, Martin :
Family-Based Deductive Verification of Software Product Lines.
In: GPCE '12 . ACM
[Konferenz- oder Workshop-Beitrag] , (2012)

Helvensteijn, Michiel ; Muschevici, Radu ; Wong, Peter Y. H.
Eisenecker, Ulrich W. ; Apel, Sven ; Gnesi, Stefania (eds.) :

Delta modeling in practice: a Fredhopper case study.
[Online-Edition: http://doi.acm.org/10.1145/2110147.2110163]
In: Sixth International Workshop on Variability Modelling of Software-Intensive Systems, Leipzig, Germany, January 25-27, 2012. Proceedings. ACM
[Konferenz- oder Workshop-Beitrag] , (2012)

Diese Liste wurde am Tue Nov 13 03:56:02 2018 CET generiert.