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

Kamischke, Jochen ; Lochau, Malte ; Baller, Hauke (2012):
Conditioned Model Slicing of Feature-annotated State Machines.
In: FOSD '12, pp. 9-16, New York, NY, USA, ACM, Proceedings of the 4th International Workshop on Feature-Oriented Software Development, New York, NY, USA, ISBN 978-1-4503-1309-4,
[Conference or Workshop Item]

Lochau, Malte ; Schaefer, Ina ; Kamischke, Jochen ; Lity, Sascha
Brucker, Achim ; Julliand, Jacques (eds.) (2012):
Incremental Model-Based Testing of Delta-Oriented Software Product Lines.
In: Lecture Notes in Computer Science, 7305, In: Tests and Proofs, pp. 67-82,
Springer Berlin Heidelberg, ISBN 978-3-642-30472-9,
[Conference or Workshop Item]

Lochau, Malte ; Kamischke, Jochen
Margaria, Tiziana ; Steffen, Bernhard (eds.) (2012):
Parameterized Preorder Relations for Model-Based Testing of Software Product Lines.
In: Lecture Notes in Computer Science, 7609, In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, pp. 223-237,
Springer Berlin Heidelberg, ISBN 978-3-642-34025-3,
[Conference or Workshop Item]

This list was generated on Tue May 24 03:24:13 2022 CEST.