Software product lines and model transformations are two techniques used in industry for
managing the development of highly complex software. Product line approaches simplify the …

Program generators are tools that automatically construct customized programs in a
particular domain. Generators mechanize implicit “theories” of how a domain expert would …

I summarize some personal observations on the topic of automated software design and
synthesis that I accumulated over twenty years. They are intended to alert researchers to …

Testing complex networks of systems is becoming more and more relevant. Single system
tests like Black-Box Tests or Hardware-In-The-Loop Tests are of course still necessary but …