This book presents the thoroughly refereed and revised post-workshop proceedings of the 17th Mont...

This book constitutes the refereed proceedings of the 13th International Conference on Software E...

Architecture-independent programming and automatic parallelisation have long been regarded as two...

Automating Test Case Design, Selection and Evaluation.- Human-Oriented Formal Methods.- Modelling...

This book constitutes the refereed proceedings of the 11th International Workshop on Software Eng...

This book constitutes the refereed proceedings of the 19th International Conference on Software E...