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.
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]

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.
In: Tests and Proofs, Springer Berlin Heidelberg, In: Lecture Notes in Computer Science, 7305, 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.
In: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, Springer Berlin Heidelberg, In: Lecture Notes in Computer Science, 7609, 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 Oct 22 01:59:49 2019 CEST.