共 50 条
- [2] Exception analysis for multithreaded Java']Java programs [J]. SECOND ASIA-PACIFIC CONFERENCE ON QUALITY SOFTWARE, PROCEEDINGS, 2001, : 23 - 30
- [3] Visual debugging of multithreaded Java']Java programs [J]. IEEE SYMPOSIA ON HUMAN-CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, PROCEEDINGS, 2001, : 340 - 341
- [5] Multithreaded dependence graphs for concurrent Java']Java programs [J]. INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1999, : 13 - 23
- [6] Interprocedural slicing of multithreaded programs with applications to Java']Java [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2006, 28 (06): : 1088 - 1144
- [7] A generic static analyzer for multithreaded Java']Java programs [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2013, 43 (06): : 663 - 684
- [8] Towards the automated verification of multithreaded Java']Java programs [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANAYLSIS OF SYSTEMS, PROCEEDINGS, 2002, 2280 : 173 - 187
- [9] Modeling Time in Java']Java Programs for Automatic Error Detection [J]. 2018 ACM/IEEE CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE 2018), 2018, : 50 - 59
- [10] Checkmate: a Generic Static Analyzer of Java']Java Multithreaded Programs [J]. SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2009, : 169 - 178