共 50 条
- [1] Using runtime analysis to guide model checking of Java']Java programs [J]. SPIN MODEL CHECKING AND SOFTWARE VERIFICATON, 2000, 1885 : 245 - 264
- [3] Profiling Java']Java Programs for Parallelism [J]. 2009 ICSE WORKSHOP ON MULTICORE SOFTWARE ENGINEERING (IWMSE), 2009, : 49 - 55
- [5] Profiling and Analysis of Object Lazy Allocation in Java']Java Programs [J]. 2016 17TH IEEE/ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING (SNPD), 2016, : 591 - 596
- [6] Dynamic data structure analysis for Java']Java programs [J]. 14TH IEEE INTERNATIONAL CONFERENCE ON PROGRAM COMPREHENSION (ICPC 2006), PROCEEDINGS, 2006, : 191 - +
- [9] Runtime verification of Java']Java programs for scenario-based specifications [J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA - EUROPE 2006, PROCEEDINGS, 2006, 4006 : 94 - 105
- [10] Runtime Exception Detection in Java']Java Programs Using Symbolic Execution [J]. ACTA CYBERNETICA, 2014, 21 (03): : 331 - 352