Contributions related to software quality assurance, especially on one of the following topic, are welcome from academia and industry:

• Software testing: deterministic, random, oracles, tools, automation, processes, and standards
• Formal methods: program analysis, model checking, and verification
• Metrics for software quality assurance
• Reviews, inspections, and walkthroughs
• Software quality assurance and its relation to knowledge management
• Software quality assurance and agile processes
• Processes and their relation to software quality assurance