Jochen Kamischke

According to our database, Jochen Kamischke authored at least 3 papers in 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2012

Incremental Model-Based Testing of Delta-Oriented Software Product Lines.

Malte Lochau, Ina Schaefer, Jochen Kamischke, Sascha Lity

Proceedings of the Tests and Proofs - 6th International Conference, 2012

Parameterized Preorder Relations for Model-Based Testing of Software Product Lines.

Malte Lochau, Jochen Kamischke

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Conditioned model slicing of feature-annotated state machines.

Jochen Kamischke, Malte Lochau, Hauke Baller

Proceedings of the 4th International Workshop on Feature-Oriented Software Development, 2012