Testing Continuous Double Auctions with a Constraint-Based Oracle. - Roberto Castañeda Lozano; Christian Schulte 001; Lars Wahlberg (CP, 2010)