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

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

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

This list was generated on Tue Jul 7 01:16:38 2020 CEST.