{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:30:12Z","timestamp":1725564612412},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642153952"},{"type":"electronic","value":"9783642153969"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15396-9_48","type":"book-chapter","created":{"date-parts":[[2010,9,6]],"date-time":"2010-09-06T07:00:16Z","timestamp":1283756416000},"page":"613-627","source":"Crossref","is-referenced-by-count":2,"title":["Testing Continuous Double Auctions with a Constraint-Based Oracle"],"prefix":"10.1007","author":[{"given":"Roberto","family":"Casta\u00f1eda Lozano","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Schulte","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lars","family":"Wahlberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"48_CR1","unstructured":"Wagner, W.H.: Electronic trading: rival or replacement for traditional floor-based exchanges? In: World of Exchanges: Adapting to a New Environment. Euromoney Books (2007)"},{"volume-title":"The double auction market: institutions, theories, and evidence","year":"1993","key":"48_CR2","unstructured":"Friedman, D., Rust, J. (eds.): The double auction market: institutions, theories, and evidence. Addison-Wesley, Reading (1993)"},{"key":"48_CR3","unstructured":"H\u00f6jeberg, N.: Random tests in a trading system: random tests in a trading system using simulations and a test oracle. Master\u2019s thesis, School of Computer Science and Communication. KTH Royal Institute of Technology, Sweden (2008)"},{"key":"48_CR4","unstructured":"Hoffman, D.: Using oracles in test automation. In: Proceedings of Pacific Northwest Software Quality Conference, pp. 90\u2013117 (2001)"},{"issue":"2","key":"48_CR5","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1145\/271775.271790","volume":"23","author":"A. Gotlieb","year":"1998","unstructured":"Gotlieb, A., Botella, B., Rueher, M.: Automatic test data generation using constraint solving techniques. SIGSOFT Softw. Eng. Notes\u00a023(2), 53\u201362 (1998)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"issue":"2","key":"48_CR6","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1002\/stvr.225","volume":"11","author":"C. Meudec","year":"2001","unstructured":"Meudec, C.: ATGen: automatic test data generation using constraint logic programming and symbolic execution. Software Testing Verification and Reliability\u00a011(2), 81\u201396 (2001)","journal-title":"Software Testing Verification and Reliability"},{"issue":"3","key":"48_CR7","doi-asserted-by":"publisher","first-page":"386","DOI":"10.1147\/sj.413.0386","volume":"41","author":"E. Bin","year":"2002","unstructured":"Bin, E., Emek, R., Shurek, G., Ziv, A.: Using a constraint satisfaction formulation and solution techniques for random test program generation. IBM Systems Journal\u00a041(3), 386\u2013402 (2002)","journal-title":"IBM Systems Journal"},{"key":"48_CR8","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1023\/A:1018927700552","volume":"71","author":"Y.U. Ryu","year":"1997","unstructured":"Ryu, Y.U.: Hierarchical constraint satisfaction of multilateral trade matching in commodity auction markets. Annals of Operations Research\u00a071, 317\u2013334 (1997)","journal-title":"Annals of Operations Research"},{"issue":"3","key":"48_CR9","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1023\/A:1011589804040","volume":"1","author":"J.R. Kalagnanam","year":"2001","unstructured":"Kalagnanam, J.R., Davenport, A.J., Lee, H.S.: Computational aspects of clearing continuous call double auctions with assignment constraints and indivisible demand. Electronic Commerce Research\u00a01(3), 221\u2013238 (2001)","journal-title":"Electronic Commerce Research"},{"key":"48_CR10","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195301649.001.0001","volume-title":"Empirical Market Microstructure: The Institutions, Economics, and Econometrics of Securities Trading","author":"J. Hasbrouck","year":"2007","unstructured":"Hasbrouck, J.: Empirical Market Microstructure: The Institutions, Economics, and Econometrics of Securities Trading. Oxford University Press, Oxford (2007)"},{"key":"48_CR11","unstructured":"Gecode Team: Gecode: Generic constraint development environment (2006), http:\/\/www.gecode.org"},{"key":"48_CR12","unstructured":"Casta\u00f1eda Lozano, R.: Constraint programming for random testing of a trading system. Master\u2019s thesis, School of Information and Communication Technology. KTH Royal Institute of Technology, Sweden (2010)"},{"key":"48_CR13","unstructured":"Cinnober Financial Technology AB: TRADExpress Trading System product sheet (2010), http:\/\/www.cinnober.com\/files\/TS_ProductSheet_0.pdf"},{"key":"48_CR14","volume-title":"A Framework of Software Measurement","author":"H. Zuse","year":"1997","unstructured":"Zuse, H.: A Framework of Software Measurement. Walter de Gruyter & Co., Hawthorne (1997)"},{"key":"48_CR15","unstructured":"FIX Protocol Limited: Financial Information eXchange Protocol (2010), www.fixprotocol.org"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming \u2013 CP 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15396-9_48.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,30]],"date-time":"2024-03-30T05:22:17Z","timestamp":1711776137000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15396-9_48"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642153952","9783642153969"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15396-9_48","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}