{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:43:49Z","timestamp":1725565429537},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540226710"},{"type":"electronic","value":"9783540277750"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27775-0_43","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T20:29:36Z","timestamp":1284582576000},"page":"471-472","source":"Crossref","is-referenced-by-count":1,"title":["Probabilistic Choice Operators as Global Constraints: Application to Statistical Software Testing"],"prefix":"10.1007","author":[{"given":"Matthieu","family":"Petit","sequence":"first","affiliation":[]},{"given":"Arnaud","family":"Gotlieb","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"9","key":"43_CR1","doi-asserted-by":"publisher","first-page":"900","DOI":"10.1109\/32.92910","volume":"17","author":"R.A. DeMillo","year":"1991","unstructured":"DeMillo, R.A., Jefferson Offutt, A.: Constraint-based automatic test data generation. IEEE Trans. Softw. Eng.\u00a017(9), 900\u2013910 (1991)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"43_CR2","doi-asserted-by":"crossref","unstructured":"Gotlieb, A., Botella, B., Rueher, M.: A clp framework for computing structural test data. In: Computational Logic (CL). LNCS (LNAI), vol.\u00a01891, pp. 399\u2013413 (2000)","DOI":"10.1007\/3-540-44957-4_27"},{"key":"43_CR3","doi-asserted-by":"crossref","unstructured":"Gupta, V., Jagadeesan, R., Panangaden, P.: Stochastic processes as concurrent constraint programs. In: Symposium on POPL, pp. 189\u2013202 (1999)","DOI":"10.1145\/292540.292558"},{"key":"43_CR4","doi-asserted-by":"crossref","unstructured":"Van Hentenryck, P., Saraswat, V.A., Deville, Y.: Design, implementation, and evaluation of the constraint langage cc(FD). Journal of Logic Programming (1998)","DOI":"10.1016\/S0743-1066(98)10006-7"},{"key":"43_CR5","doi-asserted-by":"crossref","unstructured":"Saraswat, V.A., Rinard, M., Panangaden, P.: Semantic foundations of concurrent constraint programming. In: Symposium on POPL, pp. 333\u2013352 (1991)","DOI":"10.1145\/99583.99627"},{"key":"43_CR6","doi-asserted-by":"crossref","unstructured":"Th\u00e9venod-Fosse, P., Waeselynck, H.: An Investigation of Statistical Software Testing. Journal of Software Testing, Verification and Reliability (1991)","DOI":"10.1002\/stvr.4370010203"}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27775-0_43.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:19:58Z","timestamp":1605759598000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27775-0_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540226710","9783540277750"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27775-0_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}