Maciej Dorsz, Mariusz Wasielewski. Automatic software validation process. In Krzysztof Sacha, editor, Software Engineering Techniques: Design for Quality, SET 2006, October 17-20, 2006, Warsaw, Poland. Volume 227 of IFIP, pages 191-197, Springer, 2006. [doi]
Abstract is missing.