@InProceedings{CastanedaSchulteWahlberg:CP:2010, Author = "CastaƱeda Lozano, Roberto and Christian Schulte and Lars Wahlberg", Title = "Testing Continuous Double Auctions with a Constraint-based Oracle", Editor = "David Cohen", Booktitle = "Sixteenth International Conference on Principles and Practice of Constraint Programming", Year = 2010, Month = sep, Address = "St Andrews, UK", Publisher = "Springer-Verlag", Series = "Lecture Notes in Computer Science", Volume = "6308", Pages = "613--627", DOI = "10.1007/978-3-642-15396-9_48", URL = "https://chschulte.github.io/papers/castanedaschultewahlberg-cp-2010.html" }