Software testing is one of the most popular Software Verification and Validation techniques used currently in the software industry. When applied effectively, this technique can provide important evidences regarding the quality and reliability of a software system.

The current scenario shows that we are increasingly dependent on software in daily activities and industrial environments, emerging a growing need for fast and correct answers of these systems, which are often critical, pervasive, persistent, mobile, distributed, real-time, embbedded, and adaptive. This need drives the development of techniques, criteria and supporting tools for software testing considering the different application domains and programming paradigms.

This year celebrates the 1st edition of the Brazilian Symposium on Systematic and Automated Software Testing (SAST), which since 2007 existed with the name of Brazilian Workshop on Systematic and Automated Software Testing in 9 previous editions. This is the main scientific event on software testing in Brazil. Its goal is to promote an annual forum to discuss issues on the systematization and automation of software testing activity, promoting interaction between researchers and industry in order to strengthen cooperation and innovation in this important area of software development.