{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T04:13:16Z","timestamp":1746245596821,"version":"3.40.4"},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319074665"},{"type":"electronic","value":"9783319074672"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-07467-2_10","type":"book-chapter","created":{"date-parts":[[2014,5,20]],"date-time":"2014-05-20T09:11:19Z","timestamp":1400577079000},"page":"88-97","source":"Crossref","is-referenced-by-count":0,"title":["Retaining Consistency for Knowledge-Based Security Testing"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Bernauer","sequence":"first","affiliation":[]},{"given":"Josip","family":"Bozic","sequence":"additional","affiliation":[]},{"given":"Dimitris E.","family":"Simos","sequence":"additional","affiliation":[]},{"given":"Severin","family":"Winkler","sequence":"additional","affiliation":[]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Bond, G.W.: Logic Programs for Consistency-Based Diagnosis. PhD thesis, Carleton University, Faculty of Engineering, Ottawa, Canada (1994)"},{"issue":"7","key":"10_CR2","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1109\/32.605761","volume":"23","author":"D.M. Cohen","year":"1997","unstructured":"Cohen, D.M., Dalal, S.R., Fredman, M.L., Patton, G.C.: The AETG system: An approach to testing based on combinatorial design. IEEE Trans. Softw. Eng.\u00a023(7), 437\u2013444 (1997)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Console, L., Friedrich, G., Dupr\u00e9, D.T.: Model-based diagnosis meets error diagnosis in logic programs. In: International Joint Conference on Artificial Intelligence (IJCAI), Chambery, pp. 1494\u20131499 (August 1993)","DOI":"10.1007\/BFb0019402"},{"key":"10_CR4","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1016\/0004-3702(84)90042-0","volume":"24","author":"R. Davis","year":"1984","unstructured":"Davis, R.: Diagnostic reasoning based on structure and behavior. Artificial Intelligence\u00a024, 347\u2013410 (1984)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"10_CR5","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1016\/S0004-3702(03)00117-6","volume":"152","author":"A. Felferning","year":"2004","unstructured":"Felferning, A., Friedrich, G., Jannach, D., Stumptner, M.: Consistency based diagnosis of configuration knowledge bases. Artificial Intelligence\u00a0152(2), 213\u2013234 (2004)","journal-title":"Artificial Intelligence"},{"issue":"1","key":"10_CR6","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/0004-3702(89)90079-9","volume":"41","author":"R. Greiner","year":"1989","unstructured":"Greiner, R., Smith, B.A., Wilkerson, R.W.: A correction to the algorithm in Reiter\u2019s theory of diagnosis. Artificial Intelligence\u00a041(1), 79\u201388 (1989)","journal-title":"Artificial Intelligence"},{"key":"10_CR7","unstructured":"Hoglund, G., McGraw, G.: Exploiting Software: How to Break Code. Addison-Wesley (2004) ISBN: 0-201-78695-8"},{"key":"10_CR8","unstructured":"McCune, W.: Prover9 and mace4, http:\/\/www.cs.unm.edu\/~mccune\/prover9\/ (2005\u20132010)"},{"issue":"1","key":"10_CR9","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence\u00a032(1), 57\u201395 (1987)","journal-title":"Artificial Intelligence"},{"key":"10_CR10","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1192.001.0001","volume-title":"Algorithmic Program Debugging","author":"E. Shapiro","year":"1983","unstructured":"Shapiro, E.: Algorithmic Program Debugging. MIT Press, Cambridge (1983)"}],"container-title":["Lecture Notes in Computer Science","Modern Advances in Applied Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-07467-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,2]],"date-time":"2025-05-02T23:51:29Z","timestamp":1746229889000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-07467-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319074665","9783319074672"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-07467-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}