ISSTA 2006: Portland, Maine, USA

Session 1: test case selection and generation

Session 2: empirical studies

Session 3: modular reasoning

Session 4: static analysis

Session 5: test execution

Session 6: test automation

Session 7: dynamic analysis