共 50 条
- [21] Runtime Exception Detection in Java']Java Programs Using Symbolic Execution ACTA CYBERNETICA, 2014, 21 (03): : 331 - 352
- [22] A Detection and Measurement Approach for Memory Leaked Objects in Java']Java Programs IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2015, E98D (05): : 1053 - 1061
- [24] Formal analysis of Java']Java programs in Java']JavaFAN COMPUTER AIDED VERIFICATION, 2004, 3114 : 501 - 505
- [28] Simplifying the evolution of Java']Java programs PROCEEDINGS OF THE 1997 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1997, : 655 - 656
- [29] Functional Testing of Java']Java Programs TRENDS IN FUNCTIONAL PROGRAMMING (TFP 2015), 2016, 9547 : 40 - 59
- [30] Inlining with traces in java']java programs COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2012, 27 (04): : 251 - 266