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

This book constitutes the refereed proceedings of the tracks and workshops which complemented the...

This volume constitutes the proceedings of 23rd International Conference on Software Engineering ...