This book constitutes the refereed proceedings of the 6th International Symposium on Automated Te...

This handbook provides a unique and in-depth survey of the current state-of-the-art in software e...