共 50 条
- [21] Software model checking -: Extracting verification models from source code FORMAL METHODS FOR PROTOCOL ENGINEERING AND DISTRIBUTED SYSTEMS, 1999, 28 : 481 - 497
- [22] Software model checking: extracting verification models from source code SOFTWARE TESTING VERIFICATION & RELIABILITY, 2001, 11 (02): : 65 - 79
- [23] Generation of Code Tracing Problems From Open-Source Code PROCEEDINGS OF THE 54TH ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, VOL 1, SIGCSE 2023, 2023, : 875 - 881
- [24] Collecting Vulnerable Source Code from Open-Source Repositories for Dataset Generation APPLIED SCIENCES-BASEL, 2020, 10 (04):
- [27] Language to Code with Open Source Software PROCEEDINGS OF 2019 IEEE 10TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS 2019), 2019, : 561 - 564
- [29] Code of Conduct in Open Source Projects 2017 IEEE 24TH INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION, AND REENGINEERING (SANER), 2017, : 24 - 33