共 27 条
[3]
[Anonymous], 2008, Introduction to Software Testing", DOI 10.1017/9781316771273
[4]
Software Verification: 10th Comparative Evaluation (SV-COMP 2021)
[J].
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PT II, TACAS 2021,
2021, 12652
:401-422
[5]
Supporting the Composition of Domain-Specific Software via Task-Specific Roles
[J].
CONFERENCE COMPANION OF THE 4TH INTERNATIONAL CONFERENCE ON ART, SCIENCE, AND ENGINEERING OF PROGRAMMING, PROGRAMMING 2020 COMPANION,
2020,
:17-18
[7]
Directed Greybox Fuzzing
[J].
CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY,
2017,
:2329-2344
[8]
Brett A., 2017, Research software engineers: State of the nation report 2017, DOI [DOI 10.5281/ZENODO.495360, 10.5281/zenodo.495360]
[9]
EasyMock Developers, DEV EASYMOCK
[10]
Flink J., 2022, AEROSPACE C 2022