{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,23]],"date-time":"2025-12-23T15:31:48Z","timestamp":1766503908713,"version":"3.28.0"},"reference-count":40,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/ase.2013.6693085","type":"proceedings-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T17:07:25Z","timestamp":1389028045000},"page":"257-267","source":"Crossref","is-referenced-by-count":45,"title":["Entropy-based test generation for improved fault localization"],"prefix":"10.1109","author":[{"given":"Jose","family":"Campos","sequence":"first","affiliation":[]},{"given":"Rui","family":"Abreu","sequence":"additional","affiliation":[]},{"given":"Gordon","family":"Fraser","sequence":"additional","affiliation":[]},{"given":"Marcelo","family":"d'Amorim","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","article-title":"Computers and intractability","author":"garey","year":"1990","journal-title":"A Guide to the Theory of NP-Completeness"},{"key":"35","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070508"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025179"},{"key":"36","first-page":"263","article-title":"CUTE: A concolic unit testing engine for C","author":"sen","year":"2005","journal-title":"ESEC\/FSE'05 - Proceedings of the Joint 10th European Software Engineering Conference (ESEC) and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-13)"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831728"},{"key":"33","first-page":"309","article-title":"Isolating failure causes through test case generation","author":"ro?\ufffdler","year":"2012","journal-title":"Proceedings of the 2012 International Symposium on Software Testing and Analysis Ser ISSTA 2012"},{"key":"15","first-page":"911","article-title":"Computing minimal diagnoses by greedy stochastic search","volume":"2","author":"feldman","year":"2008","journal-title":"Proceedings of the 23rd National Conference on Artificial Intelligence"},{"key":"34","article-title":"Reconstructing core dumps","author":"ro?\ufffdler","year":"2013","journal-title":"Proceedings of the 6th International Conference on Software Testing Verification and Validation Ser ICST '13"},{"key":"16","first-page":"827","article-title":"A two-step hierarchical algorithm for model-based diagnosis","volume":"1","author":"feldman","year":"2006","journal-title":"Proceedings of the National Conference on Artificial Intelligence"},{"key":"39","first-page":"746","article-title":"Model-based debugging or how to diagnose programs automatically","author":"wotawa","year":"2002","journal-title":"Proceedings of the 15th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems Ser IEA\/AIE '02"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90063-4"},{"key":"14","first-page":"733","article-title":"Diagnosing multiple persistent and intermittent faults","author":"de kleer","year":"2009","journal-title":"Proceedings of the 21st International Joint Conference on Artificial Intelligence Ser IJCAI '09"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1109\/SERE.2012.12"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001447"},{"key":"38","first-page":"836","article-title":"Bridging the gap between slicing and model-based diagnosis","author":"wotawa","year":"2008","journal-title":"Proceedings of the Twentieth International Conference on Software Engineering & Knowledge Engineering Ser SEKE '08"},{"key":"12","first-page":"391","author":"carey","year":"1999","journal-title":"Software Hell"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100153"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"40","doi-asserted-by":"publisher","DOI":"10.1145\/2491509.2491513"},{"key":"22","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1609\/aaai.v25i1.7844","article-title":"Spectrum-based sequential diagnosis","author":"gonzalez-sanchez","year":"2011","journal-title":"Proceedings of the 25th AAAI International Conference on Artificial Intelligence (AAAI'11)"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2011.22"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2010.28"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/IRE-PGRQC.1960.5007263"},{"key":"26","first-page":"467","article-title":"Visualization of test information to assist fault localization","author":"jones","year":"2002","journal-title":"Proceedings - International Conference on Software Engineering"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.23"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.294"},{"journal-title":"Software Testing and Validation Techniques","year":"1981","author":"miller","key":"29"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2009.06.035"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.25"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134299"},{"key":"1","article-title":"A low-cost approximate minimal hitting set algorithm and its application to model-based diagnosis","author":"abreu","year":"2009","journal-title":"Symposium on Abstraction Reformulation and Approximation Ser SARA '09"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001445"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2013.02.061"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100114"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240292"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.89"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2013.13"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.1993.366927"},{"key":"9","article-title":"Nonlinear programming: Analysis and methods","author":"avriel","year":"2003","journal-title":"Ser Dover Books on Computer Science Series"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1831708.1831715"}],"event":{"name":"2013 IEEE\/ACM 28th International Conference on Automated Software Engineering (ASE)","start":{"date-parts":[[2013,11,11]]},"location":"Silicon Valley, CA, USA","end":{"date-parts":[[2013,11,15]]}},"container-title":["2013 28th IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6684409\/6693054\/06693085.pdf?arnumber=6693085","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,9]],"date-time":"2023-07-09T13:23:33Z","timestamp":1688909013000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6693085\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":40,"URL":"https:\/\/doi.org\/10.1109\/ase.2013.6693085","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}