|
Program
|
14:00 - 14:05
|
Opening
|
14:05 - 15:30
|
Session 1
(Chair: Yoonsik Cheon)
- Learning Effective Oracle Comparator Combinations for Web Applications
Sara Sprenkle, Emily Gibson, Lori Pollock
- Testing Against Natural Language Requirements
Harry Sneed
- Test-based Specification of Components and Systems
Dick Hamlet
|
15:30 - 16:00
|
Coffee Break
|
16:00 - 17:45
|
Session 2
(Chair: Dick Hamlet)
- A Scriptable, Statistical Oracle for a Metadata Extraction System
Kurt J. Maly, Steven J. Zeil, Mohammad Zubair, Ashraf Amrou, Ali Aazahr, Naveen Ratkal
- Statistical Metamorphic Testing - Testing Programs with Random Output by Means of Statistical Hypothesis Tests and Metamorphic Testing
Ralph Guderlei, Johannes Mayer
- Abstraction in Assertion-based Test Oracles
Yoonsik Cheon
- The Oracle Problem for Testing against Quantified Properties
Patricia D. L. Machado, Wilkerson L. Andrade
|
17:45
|
Closing
|
|