{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T22:15:09Z","timestamp":1725747309899},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642406683"},{"type":"electronic","value":"9783642406690"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40669-0_16","type":"book-chapter","created":{"date-parts":[[2013,9,4]],"date-time":"2013-09-04T13:40:52Z","timestamp":1378302052000},"page":"175-186","source":"Crossref","is-referenced-by-count":3,"title":["A Distributed Approach to Diagnosis Candidate Generation"],"prefix":"10.1007","author":[{"given":"Nuno","family":"Cardoso","sequence":"first","affiliation":[]},{"given":"Rui","family":"Abreu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Abreu, R.: Spectrum-based Fault Localization in Embedded Software. PhD thesis, Delft University of Technology (November 2009)","key":"16_CR1","DOI":"10.1109\/ASE.2009.25"},{"unstructured":"Abreu, R., van Gemund, A.J.C.: A low-cost approximate minimal hitting set algorithm and its application to model-based diagnosis. In: Symposium on Abstraction, Reformulation, and Approximation, SARA 2009 (2009)","key":"16_CR2"},{"doi-asserted-by":"crossref","unstructured":"Abreu, R., Zoeteweij, P., van Gemund, A.J.C.: On the accuracy of spectrum-based fault localization. In: Testing: Academic and Industrial Conference Practice and Research Techniques, TAICPART 2007 (2007)","key":"16_CR3","DOI":"10.1109\/TAIC.PART.2007.13"},{"unstructured":"de Kleer, J., Williams, B.C.: Readings in model-based diagnosis (1992)","key":"16_CR4"},{"unstructured":"Dean, J., Ghemawat, S.: Mapreduce: simplified data processing on large clusters. In: Symposium on Opearting Systems Design & Implementation, OSDI 2004 (2004)","key":"16_CR5"},{"unstructured":"Feldman, A., Provan, G., Van Gemund, A.J.C.: Computing minimal diagnoses by greedy stochastic search. In: AAAI Conference on Artificial intelligence, AAAI 2008 (2008)","key":"16_CR6"},{"unstructured":"Garey, M.R., Johnsonp, D.S.: Computers and Intractability; A Guide to the Theory of NP-Completeness (1990)","key":"16_CR7"},{"doi-asserted-by":"crossref","unstructured":"Greiner, R., Smith, B.A., Wilkerson, R.W.: A correction to the algorithm in Reiter\u2019s theory of diagnosis. Artificial Intelligence\u00a041(1) (1989)","key":"16_CR8","DOI":"10.1016\/0004-3702(89)90079-9"},{"doi-asserted-by":"crossref","unstructured":"Hailpern, B., Santhanam, P.: Software debugging, testing, and verification. IBM Syst. J.\u00a041(1) (January 2002)","key":"16_CR9","DOI":"10.1147\/sj.411.0004"},{"doi-asserted-by":"crossref","unstructured":"Harrold, M.J., Rothermel, G., Wu, R., Yi, L.: An empirical investigation of program spectra. In: Program Analysis for Software Tools and Engineering, PASTE 1998 (1998)","key":"16_CR10","DOI":"10.1145\/277631.277647"},{"unstructured":"Pill, I., Quaritsch, T.: Optimizations for the boolean approach to computing minimal hitting sets. In: European Conference on Artificial Intelligence, ECAI 2012 (2012)","key":"16_CR11"},{"doi-asserted-by":"crossref","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence\u00a032(1) (1987)","key":"16_CR12","DOI":"10.1016\/0004-3702(87)90062-2"},{"unstructured":"Ruchkys, D.P., Song, S.W.: A parallel approximation hitting set algorithm for gene expression analysis. In: Symposium on Computer Architecture and High Performance Computing (2002)","key":"16_CR13"},{"doi-asserted-by":"crossref","unstructured":"Wotawa, F.: A variant of Reiter\u2019s hitting-set algorithm. Information Processing Letters\u00a079(1) (2001)","key":"16_CR14","DOI":"10.1016\/S0020-0190(00)00166-6"},{"key":"16_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/978-3-540-74171-8_16","volume-title":"Advanced Intelligent Computing Theories and Applications. With Aspects of Theoretical and Methodological Issues","author":"X. Zhao","year":"2007","unstructured":"Zhao, X., Ouyang, D.: Improved algorithms for deriving all minimal conflict sets in model-based diagnosis. In: Huang, D.-S., Heutte, L., Loog, M. (eds.) ICIC 2007. LNCS, vol.\u00a04681, pp. 157\u2013166. Springer, Heidelberg (2007)"}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-40669-0_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T01:58:04Z","timestamp":1558058284000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40669-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642406683","9783642406690"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40669-0_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}