|
Topics of Interest
|
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
|