TU Darmstadt / ULB / TUbiblio

Browsen nach Person

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

Lochau, Malte ; Mennicke, Stephan ; Baller, Hauke ; Ribbeck, Lars :
Incremental model checking of delta-oriented software product lines.
[Online-Edition: http://dx.doi.org/10.1016/j.jlamp.2015.09.004]
In: J. Log. Algebr. Meth. Program. , 85 (1)
[Konferenz- oder Workshop-Beitrag] , (2016)

Lochau, Malte ; Mennicke, Stephan ; Baller, Hauke ; Ribbeck, Lars :
DeltaCCS: A Core Calculus for Behavioral Change.
In: Proceedings of 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. In: International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) .
[Konferenz- oder Workshop-Beitrag] , (2014)

Baller, Hauke ; Lity, Sascha ; Lochau, Malte ; Schaefer, Ina :
Multi-Objective Test Suite Optimization for Incremental Product Family Testing.
In: 7th IEEE International Conference on Software Testing, Verification and Validation. In: International Conference on Software Testing, Verification and Validation (ICST) . IEEE Computer Society Press , Los Alamitos
[Konferenz- oder Workshop-Beitrag] , (2014)

Baller, Hauke ; Lochau, Malte :
Towards Incremental Test Suite Optimization for Software Product Lines.
[Online-Edition: http://doi.acm.org/10.1145/2660190.2662115]
In: Proceedings of the 6th International Workshop on Feature-Oriented Software Development. In: FOSD '14 . ACM , New York, NY, USA
[Konferenz- oder Workshop-Beitrag] , (2014)

Kamischke, Jochen ; Lochau, Malte ; Baller, Hauke :
Conditioned Model Slicing of Feature-annotated State Machines.
[Online-Edition: http://doi.acm.org/10.1145/2377816.2377818]
In: Proceedings of the 4th International Workshop on Feature-Oriented Software Development, New York, NY, USA. In: FOSD '12 . ACM , New York, NY, USA
[Konferenz- oder Workshop-Beitrag] , (2012)

Diese Liste wurde am Sat Dec 8 04:02:09 2018 CET generiert.