共 50 条
- [44] Research on automatic test generation of border gateway protocol 4 based on Petri Net 2005 International Symposium on Computer Science and Technology, Proceedings, 2005, : 199 - 205
- [47] Developer-centric test amplificationThe interplay between automatic generation human exploration Empirical Software Engineering, 2022, 27
- [48] MetPurity: A Learning-Based Tool of Pure Method Identification for Automatic Test Generation 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), 2020, : 1326 - 1330
- [49] Automatic Test Generation Methodology for Verification of a Cache Memory Based on the Graph Model of Cache Hierarchy PROCEEDINGS OF THE 2019 IEEE CONFERENCE OF RUSSIAN YOUNG RESEARCHERS IN ELECTRICAL AND ELECTRONIC ENGINEERING (EICONRUS), 2019, : 1876 - 1879
- [50] Automatic test generation from communicating extended finite state machine (CEFSM)-based models ISORC 2002: FIFTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2002, : 181 - 185