{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T10:49:22Z","timestamp":1725619762292},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642244179"},{"type":"electronic","value":"9783642244186"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24418-6_21","type":"book-chapter","created":{"date-parts":[[2011,10,10]],"date-time":"2011-10-10T15:51:58Z","timestamp":1318261918000},"page":"299-306","source":"Crossref","is-referenced-by-count":0,"title":["Package Upgrade Robustness: An Analysis for GNU\/Linux\u00ae Package Management Systems"],"prefix":"10.1007","author":[{"given":"John","family":"Thomson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andre","family":"Guerreiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo","family":"Trezentos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeff","family":"Johnson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"Barata, P., Trezentos, P., Lynce, I., di Ruscio, D.: Survey of the state of the art technologies. Mancoosi project deliverable D3.1, Mancoosi (June 2009)"},{"issue":"6","key":"21_CR2","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1145\/1323293.1294283","volume":"41","author":"O. Crameri","year":"2007","unstructured":"Crameri, O., Knezevic, N., Kostic, D., Bianchini, R., Zwaenepoel, W.: Staged deployment in mirage, an integrated software upgrade testing and distribution system. SIGOPS Oper. Syst. Rev.\u00a041(6), 221\u2013236 (2007)","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"21_CR3","unstructured":"Di Ruscio, D., Thomson, J., Pelliccione, P., Pierantonio, A.: First version of the DSL. Mancoosi Project deliverable D3.2, Mancoosi (November 2009), \n                    \n                      http:\/\/www.mancoosi.org\/reports\/d3.2.pdf"},{"key":"21_CR4","doi-asserted-by":"publisher","first-page":"849","DOI":"10.1109\/TSE.2006.113","volume":"32","author":"J.A. Duraes","year":"2006","unstructured":"Duraes, J.A., Madeira, H.S.: Emulation of software faults: A field data study and a practical approach. IEEE Transactions on Software Engineering\u00a032, 849\u2013867 (2006)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"21_CR5","unstructured":"Le Berre, D., Parrain., A.: On SAT technologies for dependency management and beyond. In: ASPL (2008)"},{"key":"21_CR6","first-page":"417","volume-title":"DSN 2000","author":"H. Madeira","year":"2000","unstructured":"Madeira, H., Costa, D., Vieira, M.: On the emulation of software faults by software fault injection. In: DSN 2000, pp. 417\u2013426. IEEE Computer Society, Washington, DC (2000)"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Mancinelli, F., Boender, J., Di Cosmo, R., Vouillon, J., Durak, B., Leroy, X., Treinen, R.: Managing the complexity of large free and open source package-based software distributions. In: ASE, pp. 199\u2013208 (2006)","DOI":"10.1109\/ASE.2006.49"},{"key":"21_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/978-3-642-02777-2_45","volume-title":"Theory and Applications of Satisfiability Testing - SAT 2009","author":"V. Manquinho","year":"2009","unstructured":"Manquinho, V., Marques-Silva, J., Planes, J.: Algorithms for weighted boolean optimization. In: Kullmann, O. (ed.) SAT 2009. LNCS, vol.\u00a05584, pp. 495\u2013508. Springer, Heidelberg (2009)"},{"key":"21_CR9","first-page":"427","volume-title":"ASE 2010","author":"P. Trezentos","year":"2010","unstructured":"Trezentos, P., Lynce, I., Oliveira, A.L.: Apt-pbo: solving the software dependency problem using pseudo-boolean optimization. In: ASE 2010, pp. 427\u2013436. ACM Press, New York (2010), \n                    \n                      http:\/\/doi.acm.org\/10.1145\/1858996.1859087"},{"issue":"12","key":"21_CR10","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1109\/2.642820","volume":"30","author":"J. Voas","year":"1997","unstructured":"Voas, J.: Fault injection for the masses. Computer\u00a030(12), 129\u2013130 (1997)","journal-title":"Computer"},{"key":"21_CR11","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/1390630.1390640","volume-title":"ISSTA 2008","author":"I.C. Yoon","year":"2008","unstructured":"Yoon, I.C., Sussman, A., Memon, A., Porter, A.: Effective and scalable software compatibility testing. In: ISSTA 2008, pp. 63\u201374. ACM, New York (2008)"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Zacchiroli, S., Cosmo, R.D., Trezentos, P.: Package upgrades in foss distributions: Details and challenges. In: First ACM Workshop on HotSWUp (October 2008)","DOI":"10.1145\/1490283.1490292"}],"container-title":["IFIP Advances in Information and Communication Technology","Open Source Systems: Grounding Research"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24418-6_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T13:49:22Z","timestamp":1558360162000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24418-6_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642244179","9783642244186"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24418-6_21","relation":{},"ISSN":["1868-4238","1861-2288"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1861-2288"}],"subject":[],"published":{"date-parts":[[2011]]}}}