共 50 条
[31]
Graspan: A Single-machine Disk-based Graph System for Interprocedural Static Analyses of Large-scale Systems Code
[J].
TWENTY-SECOND INTERNATIONAL CONFERENCE ON ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS (ASPLOS XXII),
2017,
:389-404
[33]
Graspan: A single-machine disk-based graph system for interprocedural static analyses of large-scale systems code
[J].
ACM SIGPLAN Notices,
2017, 52 (04)
:389-404
[34]
Combining Static Analysis Error Traces with Dynamic Symbolic Execution (Experience Paper)
[J].
PROCEEDINGS OF THE 31ST ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2022,
2022,
:568-579
[35]
Dynamic Structure Design of Large-scale High-speed Gantry Type CNC Milling Machine
[J].
ADVANCES IN MECHANICAL DESIGN, PTS 1 AND 2,
2011, 199-200
:1065-1068
[37]
Visual software analytics for the build optimization of large-scale software systems
[J].
Computational Statistics,
2011, 26
:635-654
[40]
Static Analysis of Dynamic Database Usage in Java']Java Systems
[J].
ADVANCED INFORMATION SYSTEMS ENGINEERING (CAISE 2016),
2016, 9694
:491-506