共 50 条
- [11] Analysis of Java']Java Programs using Joana and Java']Java SDG API 2015 INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTING, COMMUNICATIONS AND INFORMATICS (ICACCI), 2015, : 2402 - 2408
- [13] A Formal Model for Checking Cryptographic API Usage in Java']JavaScript COMPUTER SECURITY - ESORICS 2019, PT I, 2019, 11735 : 341 - 360
- [16] A Formalism for Specification of Java']Java API Interfaces COMPANION PROCEEDINGS FOR THE ISSTA/ECOOP 2018 WORKSHOPS, 2018, : 24 - 26
- [17] Realization of a TMN Java']Java management API NOMS '98 - 1998 IEEE NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM, VOLS 1-3, 1998, : 412 - 421
- [19] API Conformance Verification for Java']Java Programs FORMAL METHODS AND SOFTWARE ENGINEERING, 2010, 6447 : 188 - 203