Proceedings of the 2nd Brazilian Symposium on Systematic and Automated Software Testing
ACM Digital Library