SAST focuses on bringing together software testing researchers and practitioners to discuss and present experiences and contributions to the field. We welcome submissions addressing themes across the full spectrum of software testing. Example topics covered by the workshop are the following:

 

- Program-based testing;

- Specification-based testing;

- Model-based testing;

- Model-driven testing;

- Risk-based testing;

- Error-based and fault-based testing;

- Performance, load and stress testing;

- Combinatorial testing and random testing;

- Test case selection techniques;

- Test case generation techniques;

- Test oracle and test result checking techniques;

- Test driver, stubs, harness and test script generation;

- Test adequacy and coverage measurement;

- Test effective analysis and test report generation;

- Test related software artifact generation;

- Management of testing activities and resources;

- Maintenance and reuse of test artifacts;

- Requirements and Tests;

- Test artifacts traceability;

- Testing integrated with development activities;

- Test-driven development; and

- Formal Approaches to Testing.