共 50 条
- [31] The Java']Java Verification Tool KeY:A Tutorial FORMAL METHODS, PT II, FM 2024, 2025, 14934 : 597 - 623
- [32] A Java']Java simulation tool for fuzzy clustering CONCURRENCY-PRACTICE AND EXPERIENCE, 1997, 9 (11): : 1327 - 1332
- [33] A Java']Java unit and integration testing tool COMPUTERS AND THEIR APPLICATIONS, 2001, : 358 - 361
- [34] iContract -: The Java']Java™ design by Contract™ tool TOOLS 26 - TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES - PROCEEDINGS, 1998, : 295 - 307
- [35] Evaluation of Java']Java as an Internet delivery tool REVIEW OF PROGRESS IN QUANTITATIVE NONDESTRUCTIVE EVALUATION, VOLS 16A AND 16B, 1997, 16 : 2183 - 2189
- [36] A Program Slicer for Java']Java (Tool Paper) SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2022, 2022, 13550 : 146 - 151
- [37] The ET Program Repair Tool for Java']Java 2024 ACM/IEEE INTERNATIONAL WORKSHOP ON AUTOMATED PROGRAM REPAIR, APR 2024, 2024, : 61 - 63
- [38] A concurrency test tool for Java']Java monitors 16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 421 - 425