共 50 条
- [32] Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2023, 2023, 14405 : 269 - 289
- [34] Design and Application of the Object-Oriented Description Language in Construction Process PROCEEDINGS OF 2010 INTERNATIONAL CONFERENCE ON CONSTRUCTION AND REAL ESTATE MANAGEMENT, VOLS 1-3, 2010, : 528 - 532
- [35] Verification of behavioral substitutability in object-oriented models for industrial controllers 2005 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), VOLS 1-4, 2005, : 3978 - 3983
- [36] Using evolutionary algorithms for the unit testing of object-oriented software GECCO 2005: GENETIC AND EVOLUTIONARY COMPUTATION CONFERENCE, VOLS 1 AND 2, 2005, : 1053 - 1060