共 50 条
- [22] Generating linkage between source code and evolvable domain knowledge for the ease of software evolution INTERNATIONAL SYMPOSIUM ON PRINCIPLES OF SOFTWARE EVOLUTION, PROCEEDINGS, 2000, : 196 - 205
- [23] Software model checking -: Extracting verification models from source code FORMAL METHODS FOR PROTOCOL ENGINEERING AND DISTRIBUTED SYSTEMS, 1999, 28 : 481 - 497
- [25] The Extent of Orphan Vulnerabilities from Code Reuse in Open Source Software 2022 ACM/IEEE 44TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2022), 2022, : 2104 - 2115
- [26] Software model checking: extracting verification models from source code SOFTWARE TESTING VERIFICATION & RELIABILITY, 2001, 11 (02): : 65 - 79
- [27] Code Change History and Software Vulnerabilities 2016 46TH ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS WORKSHOPS (DSN-W), 2016, : 6 - 9
- [28] Detecting Program Changes from Edit History of Source Code 2013 20TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2013), VOL 1, 2013, : 299 - 306
- [29] Learning from Source Code History to Identify Performance Failures PROCEEDINGS OF THE 2016 ACM/SPEC INTERNATIONAL CONFERENCE ON PERFORMANCE ENGINEERING (ICPE'16), 2016, : 37 - 48