{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,29]],"date-time":"2025-12-29T18:51:31Z","timestamp":1767034291735,"version":"3.40.5"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2002,1,1]],"date-time":"2002-01-01T00:00:00Z","timestamp":1009843200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Applied Intelligence"],"published-print":{"date-parts":[[2002,1]]},"DOI":"10.1023\/a:1012821511498","type":"journal-article","created":{"date-parts":[[2002,12,23]],"date-time":"2002-12-23T15:09:07Z","timestamp":1040656147000},"page":"71-92","source":"Crossref","is-referenced-by-count":21,"title":["Debugging Hardware Designs Using a Value-Based Model"],"prefix":"10.1007","volume":"16","author":[{"given":"Franz","family":"Wotawa","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"383275_CR1","doi-asserted-by":"crossref","first-page":"320","DOI":"10.1109\/92.311641","volume":"2","author":"P.-Y. Chung","year":"1994","unstructured":"P.-Y. Chung, Y.-M. Wang, and I.N. Hajj, \u201cLogic design error diagnosis and correction,\u201d IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol. 2, pp. 320\u2013332, 1994.","journal-title":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems"},{"issue":"2","key":"383275_CR2","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0004-3702(99)00034-X","volume":"111","author":"G. Friedrich","year":"1999","unstructured":"G. Friedrich, M. Stumptner, and F. Wotawa. \u201cModel-based diagnosis of hardware designs,\u201d Artificial Intelligence, vol. 111, no. 2, pp. 3\u201339, 1999.","journal-title":"Artificial Intelligence"},{"key":"383275_CR3","unstructured":"M. Stumptner and F. Wotawa, \u201cVHDLDIAG +:Value-level diagnosis of VHDL programs,\u201d in Proceedings of the Ninth International Workshop on Principles of Diagnosis (DX), Cape Cod, May 1998."},{"key":"383275_CR4","volume-title":"VHDL Analysis and Modeling of Digital Systems","author":"Z. Navabi","year":"1993","unstructured":"Z. Navabi, VHDL Analysis and Modeling of Digital Systems, McGraw-Hill, USA, 1993."},{"issue":"1","key":"383275_CR5","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"R. Reiter, \u201cA theory of diagnosis from first principles,\u201d Artificial Intelligence, vol. 32, no. 1, pp. 57\u201395, 1987.","journal-title":"Artificial Intelligence"},{"issue":"1","key":"383275_CR6","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0004-3702(87)90063-4","volume":"32","author":"J. de Kleer","year":"1987","unstructured":"J. de Kleer and B.C. Williams, \u201cDiagnosing multiple faults,\u201d Artificial Intelligence, vol. 32, no. 1, pp. 97\u2013130, 1987.","journal-title":"Artificial Intelligence"},{"key":"383275_CR7","unstructured":"IEEE, IEEE P1076.6\/D1.12 Draft Standard For VHDL Register Transfer Level Synthesis, 1998. Institute of Electrical and Electronics Engineers, Inc. IEEE."},{"key":"383275_CR8","unstructured":"P. Struss and O. Dressler, \u201cPhysical negation\u2014Integrating fault models into the general diagnostic engine,\u201d in Proceedings 11th International Joint Conference on Artificial Intelligence (IJCAI), Detroit, Aug. 1989, pp. 1318- 1323."},{"key":"383275_CR9","unstructured":"F. Wotawa, \u201cApplying model-based diagnosis to software debugging of concurrent and sequential imperative programming languages,\u201d PhD thesis, Technische Universit\u00e4t Wien, 1996."},{"key":"383275_CR10","unstructured":"J. de Kleer, A.K. Mackworth, and R. Reiter, \u201cCharacterizing diagnoses\u201d in Proceedings of the National Conference on Artificial Intelligence (AAAI), Boston, Aug. 1990, pp. 324- 330."},{"issue":"1","key":"383275_CR11","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/0004-3702(89)90079-9","volume":"41","author":"R. Greiner","year":"1989","unstructured":"R. Greiner, B.A. Smith, and R.W.Wilkerson, \u201cAcorrection to the algorithm in Reiter's theory of diagnosis,\u201d Artificial Intelligence, vol. 41, no. 1, pp. 79\u201388, 1989.","journal-title":"Artificial Intelligence"},{"key":"383275_CR12","unstructured":"P. Fr\u00f6hlich and W. Nejdl, \u201cA static model-based engine for model-based reasoning,\u201d in Proceedings 15th International Joint Conference on Artificial Intelligence (IJCAI), Nagoya, Japan, Aug. 1997."},{"key":"383275_CR13","unstructured":"Y.E. Fattah and R.Dechter, \u201cDiagnosing tree-decomposable circuits,\u201d in Proceedings 14th International Joint Conference on Artificial Intelligence (IJCAI), 1995, pp. 1742\u20131748."},{"key":"383275_CR14","unstructured":"M. Stumptner and F. Wotawa, \u201cDiagnosing tree-structured systems,\u201d in Proceedings 15th International Joint Conference on Artificial Intelligence (IJCAI), Nagoya, Japan, 1997."},{"key":"383275_CR15","unstructured":"IEEE, IEEE Standard VHDL Language Reference Manual LRM Std 1076-1987, 1988. Institute of Electrical and Electronics Engineers, Inc. IEEE."},{"key":"383275_CR16","doi-asserted-by":"crossref","unstructured":"K.-T. Cheng and A. Krstic, \u201cCurrent directions in automatic test-pattern generation,\u201d IEEE-Computer, vol. 32, no. 11, 1999.","DOI":"10.1109\/2.803642"},{"key":"383275_CR17","unstructured":"W.C. Hamscher and R. Davis, \u201cDiagnosing circuits with state\u2014 an inherently underconstrained problem,\u201d in Proceedings of the National Conference on Artificial Intelligence (AAAI), Morgan Kaufmann, 1984, pp. 276\u2013282."},{"key":"383275_CR18","volume-title":"The Design and Analysis of Computer Algorithms","author":"A.V. Aho","year":"1974","unstructured":"A.V. Aho, J.E. Hopcroft, and J.D. Ullman, \u201cThe Design and Analysis of Computer Algorithms, Addison-Wesley Publishing Company, Reading, 1974."},{"key":"383275_CR19","unstructured":"M. Stumptner and F. Wotawa, \u201cDebugging functional programs,\u201d in Proceedings 16th International Joint Conference on Artificial Intelligence (IJCAI), Stockholm, Sweden, Aug. 1999."},{"key":"383275_CR20","unstructured":"C. B\u00f6ttcher, \u201cNo faults in structure? How to diagnose hidden interaction,\u201d in Proceedings 14th International Joint Conference on Artificial Intelligence (IJCAI), Montreal, Aug. 1995."},{"issue":"3","key":"383275_CR21","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1145\/203330.203338","volume":"38","author":"L. Burnell","year":"1995","unstructured":"L. Burnell and E. Horvitz, \u201cStructure and chance: Melding logic and probability for software debugging,\u201d Communications of the ACM, vol. 38, no. 3, 1995, pp. 31\u201341.","journal-title":"Communications of the ACM"},{"key":"383275_CR22","doi-asserted-by":"crossref","unstructured":"L. Burnell and E. Horvitz, \u201cA synthesis of logical and probabilistic reasoning for program understanding and debugging,\u201d in Proceedings of the International Conference on Uncertainty in Artificial Intelligence, 1993, pp. 285\u2013291.","DOI":"10.1016\/B978-1-4832-1451-1.50039-1"},{"key":"383275_CR23","doi-asserted-by":"crossref","unstructured":"L. Console, G. Friedrich, and D.T. Dupr\u00e9, \u201cModel-based diagnosis meets error diagnosis in logic programs,\u201d in Proceedings 13th International Joint Conference on Artificial Intelligence (IJCAI), Chambery, Aug. 1993, pp. 1494- 1499.","DOI":"10.1007\/BFb0019402"},{"key":"383275_CR24","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1192.001.0001","volume-title":"Algorithmic Program Debugging","author":"E. Shapiro","year":"1983","unstructured":"E. Shapiro, Algorithmic Program Debugging, MIT Press: Cambridge, Massachusetts, 1983."},{"key":"383275_CR25","volume-title":"Technical Report SCE-94-15","author":"G.W. Bond","year":"1994","unstructured":"G.W. Bond and B. Pagurek, \u201cA critical analysis of \u2018model-based diagnosis meets error diagnosis in logic programs,\u2019\u201d Technical Report SCE-94-15, Carleton University, Dept. of Systems and Computer Engineering, Ottawa, Canada, 1994."},{"key":"383275_CR26","volume-title":"PhD thesis","author":"G.W. Bond","year":"1994","unstructured":"G.W. Bond, \u201cLogic programs for consistency-based diagnosis,\u201d PhD thesis, Carleton University, Faculty of Engineering, Ottawa, Canada, 1994."},{"issue":"4","key":"383275_CR27","doi-asserted-by":"crossref","first-page":"352","DOI":"10.1109\/TSE.1984.5010248","volume":"10","author":"M. Weiser","year":"1984","unstructured":"M. Weiser, \u201cProgram slicing,\u201d IEEE Transactions on Software Engineering, vol. 10, no. 4, pp. 352\u2013357, 1984.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"2","key":"383275_CR28","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1145\/210134.210135","volume":"4","author":"D. Jackson","year":"1995","unstructured":"D. Jackson, \u201cAspect: Detecting bugs with abstract dependences,\u201d ACM Transactions on Software Engineering and Methodology, vol. 4, no. 2, pp. 109\u2013145, 1995.","journal-title":"ACM Transactions on Software Engineering and Methodology"}],"container-title":["Applied Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1012821511498.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1012821511498\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1012821511498.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T14:43:11Z","timestamp":1747579391000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1012821511498"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,1]]},"references-count":28,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2002,1]]}},"alternative-id":["383275"],"URL":"https:\/\/doi.org\/10.1023\/a:1012821511498","relation":{},"ISSN":["0924-669X","1573-7497"],"issn-type":[{"type":"print","value":"0924-669X"},{"type":"electronic","value":"1573-7497"}],"subject":[],"published":{"date-parts":[[2002,1]]}}}