{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,10]],"date-time":"2025-04-10T13:10:07Z","timestamp":1744290607804},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642297083"},{"type":"electronic","value":"9783642297090"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-29709-0_27","type":"book-chapter","created":{"date-parts":[[2012,5,12]],"date-time":"2012-05-12T09:49:34Z","timestamp":1336816174000},"page":"313-321","source":"Crossref","is-referenced-by-count":3,"title":["A Combined Technique for Automatic Detection of Backward Binary Compatibility Problems"],"prefix":"10.1007","author":[{"given":"Andrey","family":"Ponomarenko","sequence":"first","affiliation":[]},{"given":"Vladimir","family":"Rubanov","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","unstructured":"Kuliamin, V., Petrenko, A., Kossatchev, A., Bourdonov, I.: UniTesK: Model Based Testing in Industrial Practice. In: Proc. of 1st European Conference on Model-Driven Software Engineering, Nurnberg, Germany, pp. 55\u201363 (December 2003)"},{"key":"27_CR2","unstructured":"Kuliamin, V.: Model Based Testing of Large-scale Software: How Can Simple Models Help to Test Complex System. In: Proc. of 1st International Symposium on Leveraging Applications of Formal Methods, Cyprus, pp. 311\u2013316 (October 2004)"},{"key":"27_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"456","DOI":"10.1007\/978-3-540-70881-0_41","volume-title":"Perspectives of Systems Informatics","author":"A. Grinevich","year":"2007","unstructured":"Grinevich, A., Khoroshilov, A., Kuliamin, V.V., Markovtsev, D., Petrenko, A.K., Rubanov, V.: Formal Methods in Industrial Software Standards Enforcement. In: Virbitskaite, I., Voronkov, A. (eds.) PSI 2006. LNCS, vol.\u00a04378, pp. 456\u2013466. Springer, Heidelberg (2007) ISBN 978-3-540-70880-3"},{"key":"27_CR4","first-page":"351","volume-title":"Programming and Computer Software","author":"R.S. Zybin","year":"2008","unstructured":"Zybin, R.S., Kuliamin, V.V., Ponomarenko, A.V., Rubanov, V.V., Chernov, E.S.: Automation of broad sanity test generation. In: Programming and Computer Software, vol.\u00a034(6), pp. 351\u2013363. Springer, Heidelberg (2008); ISSN 0361-7688 (Print), ISSN 1608-3261 (Online), doi: 10.1134\/S0361768808060066"},{"key":"27_CR5","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-540-88479-8_5","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation : Proceedings of 3rd Intl. Symposium, ISoLA 2008","author":"A. Khoroshilov","year":"2009","unstructured":"Khoroshilov, A., Rubanov, V., Shatokhin, E.: Automated Formal Testing of C API Using T2C Framework. In: Leveraging Applications of Formal Methods, Verification and Validation: Proceedings of 3rd Intl. Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15. CCIS, vol.\u00a017, part 3, pp. 56\u201370. Springer, Heidelberg (2009), ISSN 1865-0929, ISBN 978-3-540-88478-1, doi: 10.1007\/978-3-540-88479-8_5"},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"Ponomarenko, A., Rubanov, V.: Header-Driven Generation of Sanity API Tests for Shared Libraries. In: Proceedings of the Sixth International Conference on Software Engineering (CEE-SECR 2010), Moscow, October 11-15, pp. 92\u201395 (2010) (in Russian)","DOI":"10.1109\/CEE-SECR.2010.5783158"},{"key":"27_CR7","unstructured":"Drepper, U.: How to write shared libraries (December 2010), \n                  \n                    http:\/\/www.akkadia.org\/drepper\/dsohowto.pdf\n                  \n                  \n                 (link checked on April 30, 2011)"},{"key":"27_CR8","unstructured":"KDE TechBase. Policies\/Binary Compatibility Issues With C++, \n                  \n                    http:\/\/developer.kde.org\/documentation\/other\/binarycompatibility.html\n                  \n                  \n                 (link checked on April 30, 2011)"},{"key":"27_CR9","unstructured":"Wheeler, D.A.: Program Library HOWTO.V. 1.36 (May 15, 2010), \n                  \n                    http:\/\/www.dwheeler.com\/program-library\/Program-Library-HOWTO.pdf\n                  \n                  \n                 (link checked on April 30, 2011)"},{"key":"27_CR10","unstructured":"dpkg-gensymbols, \n                  \n                    http:\/\/man.he.net\/man1\/dpkg-gensymbols\n                  \n                  \n                 (link checked on April 30, 2011)"},{"key":"27_CR11","unstructured":"chkshlib, \n                  \n                    http:\/\/osr507doc.sco.com\/en\/man\/html.CP\/chkshlib.CP.html\n                  \n                  \n                 (link checked on April 30, 2011)"},{"key":"27_CR12","unstructured":"cmpdylib, \n                  \n                    http:\/\/developer.apple.com\/documentation\/Darwin\/Reference\/ManPages\/man1\/cmpdylib.1.html\n                  \n                  \n                 (link checked on April 30, 2011)"},{"key":"27_CR13","unstructured":"cmpshlib, \n                  \n                    http:\/\/www.myths.com\/pub\/doc\/oh_really\/unix_bookshelf_3.0\/mac\/ch07_01.htm\n                  \n                  \n                 (link checked on April 30, 2011)"},{"key":"27_CR14","doi-asserted-by":"crossref","unstructured":"Savga, I., Rudolf, M.: Refactoring-based support for binary compatibility in evolving frameworks. In: GPCE 2007: Proc. of Generative Programming and Component Engineering, pp. 175\u2013184 (2007)","DOI":"10.1145\/1289971.1290000"},{"key":"27_CR15","doi-asserted-by":"crossref","unstructured":"Savga, I., Rudolf, M., Sliwerski, J., Lehmann, J., Wendel, H.: API Changes - How FarWould You Go? In: Proc. of 11th European Conference on Software Maintenance and Reengineering (CSMR 2007), pp. 329\u2013330 (2007)","DOI":"10.1109\/CSMR.2007.13"},{"key":"27_CR16","doi-asserted-by":"crossref","unstructured":"Dig, D., Negara, S., Johnson, R., Mohindra, V.: ReBA:\u00a0refactoring-aware binary adaptation of evolving libraries. In: Proceedings of the 30th International Conference on Software Engineering, pp. 441\u2013450 (2008)","DOI":"10.1145\/1368088.1368148"},{"key":"27_CR17","unstructured":"LSB Navigator, \n                  \n                    http:\/\/dev.linuxfoundation.org\/navigator\/browse\/app_stats.php\n                  \n                  \n                 (link checked on April 30, 2011)"},{"key":"27_CR18","unstructured":"Linux Standard Base, \n                  \n                    http:\/\/www.linuxbase.org\n                  \n                  \n                 (link checked on April 30, 2011)"},{"key":"27_CR19","unstructured":"Linux Upstream Tracker Demo, \n                  \n                    http:\/\/linuxtesting.org\/upstream-tracker\/index.html\n                  \n                  \n                 (link checked on April 30, 2011)"},{"key":"27_CR20","unstructured":"ABI Compliance Checker Home Page, \n                  \n                    http:\/\/ispras.linuxfoundation.org\/index.php\/ABI_compliance_checker\n                  \n                  \n                 (link checked on April 30, 2011)"}],"container-title":["Lecture Notes in Computer Science","Perspectives of Systems Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-29709-0_27.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T11:14:24Z","timestamp":1620126864000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-29709-0_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642297083","9783642297090"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-29709-0_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}