TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 6.

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

Hentschel, Martin and Hähnle, Reiner and Bubel, Richard
Lo, David and Apel, Sven and Khurshid, Sarfraz (eds.) (2016):
An empirical evaluation of two user interfaces of an interactive program verifier.
ACM, In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016, DOI: 10.1145/2970276.2970303,
[Online-Edition: http://doi.acm.org/10.1145/2970276.2970303],
[Conference or Workshop Item]

Hentschel, Martin and Hähnle, Reiner and Bubel, Richard
Lo, David and Apel, Sven and Khurshid, Sarfraz (eds.) (2016):
The interactive verification debugger: effective understanding of interactive proof attempts.
ACM, In: Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, ASE 2016, Singapore, September 3-7, 2016, DOI: 10.1145/2970276.2970292,
[Online-Edition: http://doi.acm.org/10.1145/2970276.2970292],
[Conference or Workshop Item]

Bürdek, Johannes and Lochau, Malte and Bauregger, Stefan and Holzer, Andreas and von Rhein, Alexander and Apel, Sven and Beyer, Dirk (2015):
Facilitating Reuse in Multi-goal Test-Suite Generation for Software Product Lines.
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, [Online-Edition: http://dx.doi.org/10.1007/978-3-662-46675-9_6],
[Conference or Workshop Item]

Thüm, Thomas and Schaefer, Ina and Apel, Sven and Hentschel, Martin (2012):
Family-Based Deductive Verification of Software Product Lines.
In: Proceedings of the 11th International Conference on Generative Programming and Component Engineering, ACM, Dresden, Germany, In: GPCE '12, ISBN 978-1-4503-1129-8,
[Conference or Workshop Item]

Helvensteijn, Michiel and Muschevici, Radu and Wong, Peter Y. H.
Eisenecker, Ulrich W. and Apel, Sven and Gnesi, Stefania (eds.) (2012):
Delta modeling in practice: a Fredhopper case study.
ACM, In: Sixth International Workshop on Variability Modelling of Software-Intensive Systems, Leipzig, Germany, January 25-27, 2012. Proceedings, DOI: 10.1145/2110147.2110163,
[Online-Edition: http://doi.acm.org/10.1145/2110147.2110163],
[Conference or Workshop Item]

This list was generated on Tue Jun 25 01:31:22 2019 CEST.