{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T20:10:09Z","timestamp":1746303009682,"version":"3.40.4"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319089089"},{"type":"electronic","value":"9783319089096"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08909-6_9","type":"book-chapter","created":{"date-parts":[[2014,7,11]],"date-time":"2014-07-11T06:02:05Z","timestamp":1405058525000},"page":"136-151","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Coverage Driven Test Generation and Consistency Algorithm"],"prefix":"10.1007","author":[{"given":"Jomu George Mani","family":"Paret","sequence":"first","affiliation":[]},{"given":"Otmane","family":"Ait Mohamed","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,7,12]]},"reference":[{"key":"9_CR1","unstructured":"http:\/\/www.satlib.org. Accessed 16 Sept 2013"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"733","DOI":"10.2478\/v10006-011-0058-2","volume":"21","author":"M Arang\u00fa","year":"2011","unstructured":"Arang\u00fa, M., Salido, M.: A fine-grained arc-consistency algorithm for non-normalized constraint satisfaction problems. Int. J. Appl. Math. Comput. Sci. 21, 733\u2013744 (2011)","journal-title":"Int. J. Appl. Math. Comput. Sci."},{"key":"9_CR3","unstructured":"Arangu, M., Salido, M.A., Barber, F.: Ac3-op: an arc-consistency algorithm for arithmetic constraints. In: Proceedings of the 2009 Conference on Artificial Intelligence Research and Development, pp. 293\u2013300 (2009)"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"219","DOI":"10.1007\/978-3-642-13033-5_23","volume-title":"Trends in Applied Intelligent Systems","author":"M Arang\u00fa","year":"2010","unstructured":"Arang\u00fa, M., Salido, M.A., Barber, F.: Ac2001-op: an arc-consistency algorithm for constraint satisfaction problems. In: Garc\u00eda-Pedrajas, N., Herrera, F., Fyfe, C., Ben\u00edtez, J.M., Ali, M. (eds.) IEA\/AIE 2010, Part III. LNCS, vol. 6098, pp. 219\u2013228. Springer, Heidelberg (2010)"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Bessi\u00e8re, C.: Arc-consistency and arc-consistency again. In: Artifical Intelligence, pp. 179\u2013190, January 1994","DOI":"10.1016\/0004-3702(94)90041-8"},{"key":"9_CR6","unstructured":"Bessi\u00e8re, C., Freuder, E.C., Regin, J.-C.: Using inference to reduce arc consistency computation. In: Proceedings of the 14th International Joint Conference on Artificial Intelligence, vol. 1, pp. 592\u2013598 (1995)"},{"key":"9_CR7","unstructured":"Bessi\u00e8re, C., R\u00e9gin, J.-C.: Local consistency on conjunctions of constraints. In: Proceedings of the ECAI\u201998 Workshop on Non-binary Constraints, pp. 53\u201359 (1998)"},{"key":"9_CR8","unstructured":"Bessire, C.: Refining the basic constraint propagation algorithm. In: Proceedings IJCAI01, pp. 309\u2013315 (2001)"},{"issue":"3","key":"9_CR9","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 Syst. J. 41(3), 386\u2013402 (2002)","journal-title":"IBM Syst. J."},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1007\/3-540-46135-3_58","volume-title":"Principles and Practice of Constraint Programming - CP 2002","author":"MRC van Dongen","year":"2002","unstructured":"van Dongen, M.R.C.: $$\\rm {AC-3}_{d}$$ an efficient arc-consistency algorithm with a low space-complexity. In: Van Hentenryck, P. (ed.) CP 2002. LNCS, vol. 2470, pp. 755\u2013760. Springer, Heidelberg (2002)"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Fine, S., Ziv, A.: Coverage directed test generation for functional verification using bayesian networks. In: Proceedings of the Design Automation Conference, pp. 286\u2013291, June 2003","DOI":"10.1145\/775832.775907"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Fournier, L., Arbetman, Y., Levinger, M.: Functional verification methodology for microprocessors using the genesys test-program generator. application to the x86 microprocessors family. In: Design, Automation and Test in Europe Conference and Exhibition, pp. 434\u2013441 (1999)","DOI":"10.1145\/307418.307540"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Iyer, M.: Race a word-level atpg-based constraints solver system for smart random simulation. In: International Test Conference, pp. 299\u2013308 (2003)","DOI":"10.1109\/TEST.2003.1270852"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Mackworth, A.: Consistency in networks of relations. In: Artificial Intelligence, pp. 99\u2013118 (1977)","DOI":"10.1016\/0004-3702(77)90007-8"},{"key":"9_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-540-77966-7_10","volume-title":"Hardware and Software: Verification and Testing","author":"A Moss","year":"2008","unstructured":"Moss, A.: Constraint patterns and search procedures for CP-based random test generation. In: Yorav, K. (ed.) HVC 2007. LNCS, vol. 4899, pp. 86\u2013103. Springer, Heidelberg (2008)"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Roger, M., Thomas, H.: Arc and path consistency revisited. In: Artificial Intelligence, pp. 225\u2013233 (1986)","DOI":"10.1016\/0004-3702(86)90083-4"},{"key":"9_CR17","unstructured":"Van Hentenryck, P., Deville, Y., Teng, C.: A generic arc consistency algorithm and its specializations. Technical report, Providence, RI, USA (1991)"}],"container-title":["Lecture Notes in Computer Science","Declarative Programming and Knowledge Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08909-6_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T19:28:51Z","timestamp":1746300531000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-08909-6_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319089089","9783319089096"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08909-6_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"12 July 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}