{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T02:22:03Z","timestamp":1783736523906,"version":"3.55.0"},"reference-count":37,"publisher":"Pleiades Publishing Ltd","issue":"5","license":[{"start":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T00:00:00Z","timestamp":1346457600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,9,1]],"date-time":"2012-09-01T00:00:00Z","timestamp":1346457600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2012,9]]},"DOI":"10.1134\/s0361768812050052","type":"journal-article","created":{"date-parts":[[2012,9,19]],"date-time":"2012-09-19T22:50:33Z","timestamp":1348095033000},"page":"257-267","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":15,"title":["Backward compatibility of software interfaces: Steps towards automatic verification"],"prefix":"10.1134","volume":"38","author":[{"given":"A.","family":"Ponomarenko","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"V.","family":"Rubanov","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"137","published-online":{"date-parts":[[2012,9,21]]},"reference":[{"key":"6153_CR1","unstructured":"Libstdc++ ABI break, http:\/\/gcc.gnu.org\/ml\/lib-stdc++\/2007-10\/msg00041.html. Link checked on 28.11.2011."},{"key":"6153_CR2","unstructured":"ABI breach in Freetype2 2.3.8, http:\/\/www.mail-archive.com\/freetype-devel@nongnu.org\/msg03192.html. Link checked on 28.11.2011."},{"key":"6153_CR3","unstructured":"ABI breach in libxml2-2.7.8, http:\/\/www.mail-archive.com\/freebsd-ports@freebsd.org\/msg30810.html. Link checked on 28.11.2011."},{"key":"6153_CR4","unstructured":"Kuliamin, V., Petrenko, A., Kossatchev, A., and Bourdonov, I., UniTesK: Model Based Testing in Industrial Practice, Proc. of 1-st European Conference on Model-Driven Software Engineering, Nurnberg, Germany, December 2003, pp. 55\u201363."},{"key":"6153_CR5","unstructured":"Kuliamin, V., Model Based Testing of Large-scale Software: How Can Simple Models Help to Test Complex System, Proc. of 1st International Symposium on Leveraging Applications of Formal Methods, Cyprus, October 2004, pp. 311\u2013316."},{"key":"6153_CR6","doi-asserted-by":"crossref","unstructured":"Kuliamin, V., Petrenko, A., and Pakoulin, N., Practical Approach to Specification and Conformance Testing of Distributed Network Applications, Service Availability, Malek, M., Nett, E., and Suri, N., Eds., Lecture Notes in Computer Science, 2005, vol. 3694, pp. 68\u201383.","DOI":"10.1007\/11560333_6"},{"key":"6153_CR7","unstructured":"Grinevich, A., Khoroshilov, A., Kuliamin, V., Markovtsev, D., Petrenko, A., and Rubanov, V., Formal Methods in Industrial Software Standards Enforcement, Perspectives of Systems Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, 2006. Lecture Notes in Computer Science, 2007, vol. 4378, pp. 456\u2013466. ISBN 978-3-540-70880-3."},{"issue":"6","key":"6153_CR8","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1134\/S0361768808060066","volume":"34","author":"R.S. Zybin","year":"2008","unstructured":"Zybin, R.S., Kuliamin, V.V., Ponomarenko, A.V., Rubanov, V.V., and Chernov, E.S., Automation of Broad Sanity Test Generation, Programming Comput. Software, 2008, vol. 34, no. 6. pp. 351\u2013363. ISSN 0361-7688 (Print), ISSN 1608-3261 (Online). doi: 10.1134\/S0361768808060066.","journal-title":"Programming Comput. Software"},{"key":"6153_CR9","doi-asserted-by":"crossref","unstructured":"Khoroshilov, A. Rubanov, V., and Shatokhin, E., Automated Formal Testing of C API Using T2C Framework, in Leveraging Applications of Formal Methods, Verification and Validation: Proceedings of 3rd Int. Symp., ISoLA 2008, Porto Sani, Greece, 2008.","DOI":"10.1007\/978-3-540-88479-8_5"},{"key":"6153_CR10","unstructured":"Drepper, U., How to Write Shared Libraries. December 2010. http:\/\/www.akkadia.org\/drepper\/dsohowto.pdf. Link checked on 28.11.2011."},{"key":"6153_CR11","unstructured":"KDE TechBase. Policies\/Binary Compatibility Issues With C++. http:\/\/techbase.kde.org\/Policies\/Binary-Compatibility-Issues-With-C++. Link checked on 28.11.2011."},{"key":"6153_CR12","unstructured":"Wheeler, D.A., Program Library HOWTO. V. 1.36, 15 May 2010. http:\/\/www.dwheeler.com\/program-library\/Program-Library-HOWTO.pdf. Link checked on 28.11.2011."},{"key":"6153_CR13","unstructured":"System V Application Binary Interface, Third Edition, Intel386 Architecture Processor Supplement ISBN 0-13-104670-5 UNIX Press, PTR Prentice Hall, 113 Sylvan Avenue, Englewood Cliffs, NJ 07632."},{"key":"6153_CR14","unstructured":"Matz, M., Hubicka, J., Jaeger, A., and Mitchell, M. (2010-01-13), System V Application Binary Interface AMD64 Architecture Processor Supplement. 0.99.4."},{"key":"6153_CR15","volume-title":"System V Application Binary Interface-PowerPc Processor Supplement","author":"S. Zucker","year":"1995","unstructured":"Zucker, S. and Kari Karhi, System V Application Binary Interface-PowerPc Processor Supplement, Mountain View, CA: SunSoft, 1995."},{"key":"6153_CR16","unstructured":"Itanium C++ ABI, http:\/\/www.codesourcery.com\/public\/cxx-abi\/abi.html. Link checked on 28.11.2011."},{"key":"6153_CR17","unstructured":"Intel Itanium Processor-specific Application Binary Interface, May 2001, Document Number: 245370-003."},{"key":"6153_CR18","unstructured":"LINUX for S\/390 ELF Application Binary Interface Supplement, IBM Document Number LNUX-1107-00 (2001)."},{"key":"6153_CR19","unstructured":"Application Binary Interface (ABI) for the ARM Architecture, Document number: ARM IHI 0036B, current through ABI release 2.08, Date of Issue: 10th October 2008, reissued: 28 October 2009."},{"key":"6153_CR20","unstructured":"dpkg-gensymbols, http:\/\/man.he.net\/man1\/dpkg-gensymbols. Link checked on 28.11.2011."},{"key":"6153_CR21","unstructured":"chkshlib, http:\/\/osr507doc.sco.com\/en\/man\/html.CP\/chkshlib.CP.html. Link checked on 28.11.2011."},{"key":"6153_CR22","unstructured":"cmpdylib, http:\/\/developer.apple.com\/documentation\/Darwin\/Reference\/ManPages\/man1\/cmpdylib.1.html. Link checked on 28.11.2011."},{"key":"6153_CR23","unstructured":"cmpshlib, http:\/\/www.myths.com\/pub\/doc\/oh-really\/unix-bookshelf-3.0\/mac\/ch07-01.htm. Link checked on 28.11.2011."},{"key":"6153_CR24","doi-asserted-by":"crossref","unstructured":"Henkel, J. and Diwan, A. Catchup!: Capturing and Replaying Refactorings to Support api Evolution, ICSE\u201905: Proc. of the 27th Int. Conference on Software Engineering, New York, 2005, pp. 274\u2013283.","DOI":"10.1145\/1062455.1062512"},{"key":"6153_CR25","doi-asserted-by":"crossref","unstructured":"Savga, I. and Rudolf, M., Refactoring-based Support for Binary Compatibility in Evolving Frameworks, GPCE\u201907: Proc. of Generative Programming and Component Engineering, 2007, pp. 175\u2013184.","DOI":"10.1145\/1289971.1290000"},{"key":"6153_CR26","doi-asserted-by":"crossref","unstructured":"Savga, I., Rudolf, M., Sliwerski, J., Lehmann, J., and Wendel, H., API Changes \u2014 How FarWould You Go?, Proc. of 11th European Conference on Software Maintenance and Reengineering (CSMR\u201907), pp. 329\u2013330.","DOI":"10.1109\/CSMR.2007.13"},{"key":"6153_CR27","doi-asserted-by":"crossref","unstructured":"Dig, D., Negara, S., Johnson, R., and Mohindra, V., ReBA: Refactoring-aware Binary Adaptation of Evolving Libraries, Proc. of the 30th Int. Conf. on Software Engineering, 2008, pp. 441\u2013450.","DOI":"10.1145\/1368088.1368148"},{"key":"6153_CR28","unstructured":"readelf, http:\/\/linux.about.com\/library\/cmd\/blcmdl1-readelf.htm. Link checked on 28.11.2011."},{"key":"6153_CR29","unstructured":"Options for Debugging Your Program or GCC, http:\/\/gcc.gnu.org\/onlinedocs\/gcc\/Debugging-Options.html. Link checked on 28.11.2011."},{"key":"6153_CR30","unstructured":"LSB Navigator, http:\/\/dev.linuxfoundation.org\/navigator\/browse\/app-stats.phpLink checked on 15.02.2011."},{"key":"6153_CR31","unstructured":"Linux Standard Base, http:\/\/www.linuxbase.org. Link checked on 15.02.2011."},{"key":"6153_CR32","unstructured":"Linux Upstream Tracker Demo, http:\/\/upstreamtracker.org\/. Link checked on 28.11.2011."},{"key":"6153_CR33","unstructured":"apt Home Page, http:\/\/wiki.debian.org\/Apt. Link checked on 28.11.2011."},{"key":"6153_CR34","unstructured":"rpm5 Home Page, http:\/\/rpm5.org\/.Link checked on 28.11.2011."},{"key":"6153_CR35","unstructured":"ABI Compliance Checker Home Page, http:\/\/ispras.linuxbase.org\/index.php\/ABI-Compliance-Checker. Link checked on 28.11.2011."},{"key":"6153_CR36","doi-asserted-by":"crossref","unstructured":"Ponomarenko, A. and Rubanov, V., Header-Driven Generation of Sanity API Tests for Shared Libraries, Proc. of the Sixth Int. Conf. on Software Engineering (CEE-SECR 2010), Moscow, 2010, pp. 92\u201395 (in Russian).","DOI":"10.1109\/CEE-SECR.2010.5783158"},{"key":"6153_CR37","unstructured":"Java API Compliance Checker Home Page, http:\/\/ispras.linuxbase.org\/index.php\/Java-API-Compliance-Checker.Link checked on 28.11.2011."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768812050052.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768812050052","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768812050052","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768812050052.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:08:39Z","timestamp":1775009319000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768812050052"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9]]},"references-count":37,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2012,9]]}},"alternative-id":["6153"],"URL":"https:\/\/doi.org\/10.1134\/s0361768812050052","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,9]]},"assertion":[{"value":"12 December 2011","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"21 September 2012","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}