共 50 条
- [31] A comparison of bug finding tools for Java Proc. Int. Symp. Softw. Reliab. Eng., 1600, (245-256):
- [32] Automated Refactorings in Java']Java SOUVENIR OF THE 2014 IEEE INTERNATIONAL ADVANCE COMPUTING CONFERENCE (IACC), 2014, : 1406 - 1414
- [33] Mutation of Java']Java objects 13TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 2002, : 341 - 351
- [34] ArbitCheck: A Highly Automated Property-based Testing Tool for Java']Java 2014 SEVENTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2014), 2014, : 405 - 412
- [35] JUTA: An automated unit testing framework for Java Jisuanji Yanjiu yu Fazhan, 1600, 10 (1840-1848):
- [36] Korat: Automated testing based on Java predicates Proceedings of the ACM SIGSOFT 2002 International Symposium on Software Testing and Analysis, 2002, : 123 - 133
- [37] Smart tools for Java']Java Cards SMART CARD RESEARCH AND ADVANCED APPLICATIONS, 2000, 52 : 155 - 174
- [39] Comparison of Static Analysis Tools for Java']Java Using the Juliet Test Suite PROCEEDINGS OF THE 11TH INTERNATIONAL CONFERENCE ON CYBER WARFARE AND SECURITY (ICCWS 2016), 2016, : 431 - 438
- [40] Unit Testing in Java']Java ITICSE 2009: PROCEEDING OF THE 2009 ACM SIGSE ANNUAL CONFERENCE ON INNOVATION AND TECHNOLOGY IN COMPUTER SCIENCE EDUCATION, 2009, : 349 - 349