Backward compatibility of software interfaces: Steps towards automatic verification-Reference-Cited by-同舟云学术

Backward compatibility of software interfaces: Steps towards automatic verification

Published:2012-09 Issue:5 Volume:38 Page:257-267
ISSN:0361-7688
Container-title:Programming and Computer Software
language:en
Short-container-title:Program Comput Soft

Author:

Ponomarenko A.,Rubanov V.

Publisher

Pleiades Publishing Ltd

Subject

Software

Link

http://link.springer.com/content/pdf/10.1134/S0361768812050052.pdf

Reference37 articles.

1. Libstdc++ ABI break, http://gcc.gnu.org/ml/lib-stdc++/2007-10/msg00041.html . Link checked on 28.11.2011.

2. ABI breach in Freetype2 2.3.8, http://www.mail-archive.com/freetype-devel@nongnu.org/msg03192.html . Link checked on 28.11.2011.

3. ABI breach in libxml2-2.7.8, http://www.mail-archive.com/freebsd-ports@freebsd.org/msg30810.html . Link checked on 28.11.2011.

4. 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–63.

5. 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–316.

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Unboxing Default Argument Breaking Changes in Scikit Learn;2023 IEEE 23rd International Working Conference on Source Code Analysis and Manipulation (SCAM);2023-10-02

2. AexPy: Detecting API Breaking Changes in Python Packages;2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE);2022-10

3. ON ENHANCING AND AUTOMATING THE COVID-19 CASE REPORTING SYSTEM IN POLAND;Humanities & Social Sciences Reviews;2021-08-23

4. DepOwl: Detecting Dependency Bugs to Prevent Compatibility Failures;2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE);2021-05

5. References;Microprocessor 4;2020-12-11