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: 5.

Lochau, Malte and Mennicke, Stephan and Baller, Hauke and Ribbeck, Lars (2016):
Incremental model checking of delta-oriented software product lines.
85, [Online-Edition: http://dx.doi.org/10.1016/j.jlamp.2015.09.004],
[Conference or Workshop Item]

Lochau, Malte and Mennicke, Stephan and Baller, Hauke and Ribbeck, Lars (2014):
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), [Conference or Workshop Item]

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

Baller, Hauke and Lochau, Malte (2014):
Towards Incremental Test Suite Optimization for Software Product Lines.
New York, NY, USA, ACM, In: Proceedings of the 6th International Workshop on Feature-Oriented Software Development, In: FOSD '14, ISBN 978-1-4503-2980-4,
[Online-Edition: http://doi.acm.org/10.1145/2660190.2662115],
[Conference or Workshop Item]

Kamischke, Jochen and Lochau, Malte and Baller, Hauke (2012):
Conditioned Model Slicing of Feature-annotated State Machines.
New York, NY, USA, ACM, In: Proceedings of the 4th International Workshop on Feature-Oriented Software Development, New York, NY, USA, In: FOSD '12, ISBN 978-1-4503-1309-4,
[Online-Edition: http://doi.acm.org/10.1145/2377816.2377818],
[Conference or Workshop Item]

This list was generated on Tue Jun 18 02:17:56 2019 CEST.