{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T08:07:15Z","timestamp":1777536435199,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,6,2]],"date-time":"2014-06-02T00:00:00Z","timestamp":1401667200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,6,2]]},"DOI":"10.1145\/2593929.2593946","type":"proceedings-article","created":{"date-parts":[[2014,5,20]],"date-time":"2014-05-20T13:48:00Z","timestamp":1400593680000},"page":"75-84","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Diagnosing unobserved components in self-adaptive systems"],"prefix":"10.1145","author":[{"given":"Paulo","family":"Casanova","sequence":"first","affiliation":[{"name":"Carnegie Mellon University, USA"}]},{"given":"David","family":"Garlan","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, USA"}]},{"given":"Bradley","family":"Schmerl","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, USA"}]},{"given":"Rui","family":"Abreu","sequence":"additional","affiliation":[{"name":"University of Porto, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2014,6,2]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.25"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/2487336.2487354"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/SERE.2013.13"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02161-9_1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1137677.1137679"},{"key":"e_1_3_2_1_7_1","first-page":"1573","volume-title":"Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence","author":"Collins G.","year":"1995","unstructured":"G. Collins and L. Pryor . Planning under uncertainty: Some key issues . In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence , pages 1567\u2013 1573 , 1995 . G. Collins and L. Pryor. Planning under uncertainty: Some key issues. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, pages 1567\u20131573, 1995."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1590\/S1415-47572004000100014"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90063-4"},{"key":"e_1_3_2_1_10_1","volume-title":"Software Engineering for Self-Adaptive Systems, number 10431 in Dagstuhl Seminar Proceedings","author":"de Lemos R.","year":"2011","unstructured":"R. de Lemos Software Engineering for Self-Adaptive Systems: A second Research Roadmap . In R. de Lemos, H. Giese, H. M\u00fcller, and M. Shaw, editors, Software Engineering for Self-Adaptive Systems, number 10431 in Dagstuhl Seminar Proceedings , Dagstuhl, Germany , 2011 . Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany . R. de Lemos et al. Software Engineering for Self-Adaptive Systems: A second Research Roadmap. In R. de Lemos, H. Giese, H. M\u00fcller, and M. Shaw, editors, Software Engineering for Self-Adaptive Systems, number 10431 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany, 2011. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany."},{"key":"e_1_3_2_1_11_1","first-page":"918","volume-title":"Computing minimal diagnoses by greedy stochastic search","author":"Feldman A.","unstructured":"A. Feldman , G. M. Provan , and A. J. C. van Gemund . Computing minimal diagnoses by greedy stochastic search . In D. Fox and C. P. Gomes, editors, AAAI , pages 911\u2013 918 . AAAI Press, 2008. A. Feldman, G. M. Provan, and A. J. C. van Gemund. Computing minimal diagnoses by greedy stochastic search. In D. Fox and C. P. Gomes, editors, AAAI, pages 911\u2013918. AAAI Press, 2008."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2004.175"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101949"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings 24th International Workshop on Principles of Diagnosis: DX-2013","author":"Landi C.","year":"2013","unstructured":"C. Landi , A. van Gemund , and M. Zanella . Test oracle placement in spectrum-based fault localization . In Proceedings 24th International Workshop on Principles of Diagnosis: DX-2013 , October 1-4 2013 . To appear. C. Landi, A. van Gemund, and M. Zanella. Test oracle placement in spectrum-based fault localization. In Proceedings 24th International Workshop on Principles of Diagnosis: DX-2013, October 1-4 2013. To appear."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1516533.1516538"},{"key":"e_1_3_2_1_17_1","volume-title":"The Mathematical Theory of Communication","author":"Shannon C. E.","year":"1949","unstructured":"C. E. Shannon and W. Weaver . The Mathematical Theory of Communication . Univ of Illinois Press , 1949 . C. E. Shannon and W. Weaver. The Mathematical Theory of Communication. Univ of Illinois Press, 1949."},{"key":"e_1_3_2_1_18_1","first-page":"15","volume-title":"2011 2nd International Workshop on","author":"Souza V.","year":"2011","unstructured":"V. Souza and J. Mylopoulos . From awareness requirements to adaptive systems: A control-theoretic approach. In Requirements@Run.Time (RE@RunTime) , 2011 2nd International Workshop on , pages 9\u2013 15 , 2011 . V. Souza and J. Mylopoulos. From awareness requirements to adaptive systems: A control-theoretic approach. In Requirements@Run.Time (RE@RunTime), 2011 2nd International Workshop on, pages 9\u201315, 2011."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1142\/S021819400900426X"}],"event":{"name":"ICSE '14: 36th International Conference on Software Engineering","location":"Hyderabad India","acronym":"ICSE '14","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","TCSE IEEE Computer Society's Tech. Council on Software Engin."]},"container-title":["Proceedings of the 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593929.2593946","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2593929.2593946","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:03:55Z","timestamp":1750273435000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2593929.2593946"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,6,2]]},"references-count":18,"alternative-id":["10.1145\/2593929.2593946","10.1145\/2593929"],"URL":"https:\/\/doi.org\/10.1145\/2593929.2593946","relation":{},"subject":[],"published":{"date-parts":[[2014,6,2]]},"assertion":[{"value":"2014-06-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}