Generating Counterexamples of Model-based Software Product Lines

Abstract

Publication
Software Tools for Technology Transfer (STTT), Springer
Date