{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T11:58:46Z","timestamp":1725537526329},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642042430"},{"type":"electronic","value":"9783642042447"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04244-7_57","type":"book-chapter","created":{"date-parts":[[2009,9,14]],"date-time":"2009-09-14T14:17:24Z","timestamp":1252937844000},"page":"731-745","source":"Crossref","is-referenced-by-count":0,"title":["Constraint-Based Optimal Testing Using DNNF Graphs"],"prefix":"10.1007","author":[{"given":"Anika","family":"Schumann","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Sachenbacher","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinbo","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"57_CR1","doi-asserted-by":"crossref","unstructured":"Alur, R., Courcoubetis, C., Yannakakis, M.: Distinguishing tests for nondeterministic and probabilistic machines. In: Proc. ACM Symposium on Theory of Computing, pp. 363\u2013372 (1995)","DOI":"10.1145\/225058.225161"},{"key":"57_CR2","doi-asserted-by":"crossref","unstructured":"Benedetti, M.: skizzo: A suite to evaluate and certify QBFs. In: Proc. CADE 2005 (2005)","DOI":"10.1007\/11532231_27"},{"key":"57_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2007.08.002","volume":"190","author":"S. Boroday","year":"2007","unstructured":"Boroday, S., Petrenko, A., Groz, R.: Can a model checker generate tests for non-deterministic systems? Elec. Notes Theor. Comp. Sci.\u00a0190, 3\u201319 (2007)","journal-title":"Elec. Notes Theor. Comp. Sci."},{"key":"57_CR4","unstructured":"Darwiche, A.: On the tractable counting of theory models and its application to belief revision and truth maintenance. In: CoRR (2000)"},{"key":"57_CR5","unstructured":"Darwiche, A.: The c2d compiler user manual. Technical report, UCLA (2005)"},{"key":"57_CR6","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1613\/jair.989","volume":"17","author":"A. Darwiche","year":"2002","unstructured":"Darwiche, A., Marquis, P.: A knowledge compilation map. Journal of Artificial Intelligence Research\u00a017, 229\u2013264 (2002)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"57_CR7","unstructured":"Esser, M., Struss, P.: Fault-model-based test generation for embedded software. In: Proc. IJCAI 2007, pp. 342\u2013347 (2007)"},{"key":"57_CR8","doi-asserted-by":"crossref","unstructured":"Heinz, S., Sachenbacher, M.: Using model counting to find optimal distinguishing tests. In: Proc. of CPAIOR (2009)","DOI":"10.1007\/978-3-642-01929-6_10"},{"key":"57_CR9","unstructured":"Huang, J.: Combining knowledge compilation and search for conformant probabilistic planning. In: Proc. ICAPS 2006, pp. 253\u2013262 (2006)"},{"issue":"6","key":"57_CR10","doi-asserted-by":"publisher","first-page":"1163","DOI":"10.1109\/TSMCC.2007.900659","volume":"37","author":"J. Luo","year":"2007","unstructured":"Luo, J., Pattipati, K., Qiao, L., Chigusa, S.: An integrated diagnostic development process for automotive engine control systems. IEEE Trans. on Systems, Man, and Cybernetics\u00a037(6), 1163\u20131173 (2007)","journal-title":"IEEE Trans. on Systems, Man, and Cybernetics"},{"key":"57_CR11","unstructured":"Pipatsrisawat, K., Darwiche, A.: A new d-dnnf-based bound computation algorithm for functional EMAJSAT. In: Proc. of IJCAI 2009 (2009)"},{"key":"57_CR12","unstructured":"Sachenbacher, M., Schwoon, S.: Model-based testing using quantified CSPs. In: ECAI 2008 Workshop on Model-based Systems (2008)"},{"key":"57_CR13","unstructured":"Struss, P.: Testing physical systems. In: Proc. AAAI 1994, pp. 251\u2013256 (1994)"},{"key":"57_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1007\/3-540-45349-0_32","volume-title":"Principles and Practice of Constraint Programming - CP 2000","author":"T. Walsh","year":"2000","unstructured":"Walsh, T.: SAT vs. CSP. In: Dechter, R. (ed.) CP 2000. LNCS, vol.\u00a01894, pp. 441\u2013456. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Constraint Programming - CP 2009"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04244-7_57","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,9]],"date-time":"2019-03-09T15:02:35Z","timestamp":1552143755000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04244-7_57"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642042430","9783642042447"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04244-7_57","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}