Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing
ACM Digital Library