.gif)
] Filters: Author is Lars Luthmann [Clear All Filters]
"Unifying modal interface theories and compositional input/output conformance testing",
Science of Computer Programming, vol. 172, 2019.
Abstract
"Compositionality, Decompositionality and Refinement in Input/Output Conformance Testing",
Formal Aspects of Component Software, Besançon, France, Springer Berlin Heidelberg, 04/2017, 2016.
Abstract
"Towards an I/O Conformance Testing Theory for Software Product Lines based on Modal Interface Automata",
International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2016), London, UK, EPTCS, 04/2015.
Abstract