{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T02:03:40Z","timestamp":1725501820131},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540779643"},{"type":"electronic","value":"9783540779667"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-77966-7_10","type":"book-chapter","created":{"date-parts":[[2008,2,1]],"date-time":"2008-02-01T03:59:24Z","timestamp":1201838364000},"page":"86-103","source":"Crossref","is-referenced-by-count":6,"title":["Constraint Patterns and Search Procedures for CP-Based Random Test Generation"],"prefix":"10.1007","author":[{"given":"Anna","family":"Moss","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"10_CR1","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":"10_CR2","doi-asserted-by":"crossref","unstructured":"Gutkovich, B., Moss, A.: CP with Architectural State Lookup for Functional Test Generation. In: 11-th Annual IEEE International Workshop on High Level Design Validation and Test, pp. 111\u2013118 (2006)","DOI":"10.1109\/HLDVT.2006.319972"},{"key":"10_CR3","unstructured":"ILOG Solver 6.3 Reference Manual (2006)"},{"key":"10_CR4","first-page":"233","volume-title":"Constraint and Integer Programming: Toward a Unified Methodology","author":"C. Gomes","year":"2003","unstructured":"Gomes, C.: Randomized Backtrack Search. In: Milano, M. (ed.) Constraint and Integer Programming: Toward a Unified Methodology, pp. 233\u2013283. Kluwer, Dordrecht (2003)"},{"key":"10_CR5","unstructured":"Smith, B.M.: Modeling for Constraint Programming. The 1-st Constraint Programming Summer School (2005)"},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/978-3-540-45193-8_4","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"T. Walsh","year":"2003","unstructured":"Walsh, T.: Constraint Patterns. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 53\u201364. Springer, Heidelberg (2003)"},{"key":"10_CR7","unstructured":"IA-32 Intel Architecture Software Developer\u2019s Manual (2005)"},{"key":"10_CR8","unstructured":"Mittal, S., Falkenhainer, B.: Dynamic constraint satisfaction problems. In: Proceedings of 8-th National Conference on Artificial Intelligence, pp. 25\u201332 (1990)"},{"key":"10_CR9","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1023\/A:1022394531132","volume":"8","author":"E. Gelle","year":"2003","unstructured":"Gelle, E., Faltings, B.: Solving Mixed and Conditional Constraint Satisfaction Problems. Constraints\u00a08, 107\u2013141 (2003)","journal-title":"Constraints"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"649","DOI":"10.1007\/978-3-540-45193-8_44","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"M. Sabin","year":"2003","unstructured":"Sabin, M., Freuder, E.C., Wallace, R.J.: Greater Efficiency for Conditional Constraint Satisfaction. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 649\u2013663. Springer, Heidelberg (2003)"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1007\/11564751_20","volume-title":"Principles and Practice of Constraint Programming - CP 2005","author":"F. Geller","year":"2005","unstructured":"Geller, F., Veksler, M.: Assumption-Based Pruning in Conditional CSP. In: van Beek, P. (ed.) CP 2005. LNCS, vol.\u00a03709, pp. 241\u2013255. Springer, Heidelberg (2005)"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/3-540-59155-9_15","volume-title":"Constraint Programming: Basics and Trends","author":"P. Hentenryck Van","year":"1995","unstructured":"Van Hentenryck, P., Saraswat, V., Deville, Y.: Design, Implementation, and Evaluation of the Constraint Language cc(FD). In: Podelski, A. (ed.) Constraint Programming: Basics and Trends. LNCS, vol.\u00a0910, pp. 293\u2013316. Springer, Heidelberg (1995)"},{"key":"10_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"904","DOI":"10.1007\/978-3-540-45193-8_76","volume-title":"Principles and Practice of Constraint Programming \u2013 CP 2003","author":"O. Lhomme","year":"2003","unstructured":"Lhomme, O.: An Efficient Filtering Algorithm for Disjunction of Constraints. In: Rossi, F. (ed.) CP 2003. LNCS, vol.\u00a02833, pp. 904\u2013908. Springer, Heidelberg (2003)"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"377","DOI":"10.1007\/3-540-61708-6_78","volume-title":"KI-96: Advances in Artificial Intelligence","author":"J. W\u00fcrtz","year":"1996","unstructured":"W\u00fcrtz, J., M\u00fcller, T.: Constructive Disjunction Revisited. In: G\u00f6rz, G., H\u00f6lldobler, S. (eds.) KI-96: Advances in Artificial Intelligence. LNCS, vol.\u00a01137, pp. 377\u2013386. Springer, Heidelberg (1996)"}],"container-title":["Lecture Notes in Computer Science","Hardware and Software: Verification and Testing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77966-7_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:57:22Z","timestamp":1619506642000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77966-7_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540779643","9783540779667"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77966-7_10","relation":{},"subject":[]}}