 DeepCover: Advancing RNN Test Coverage and Online Error Prediction using
State Machine ExtractionJournal of Systems and Software (JSS), 2024 |
 LUNA: A Model-Based Universal Analysis Framework for Large Language
ModelsIEEE Transactions on Software Engineering (TSE), 2023 |
 Enhancing Adversarial Attacks: The Similar Target MethodIEEE International Joint Conference on Neural Network (IJCNN), 2023 |
 Using Z3 for Formal Modeling and Verification of FNN Global RobustnessInternational Conference on Software Engineering and Knowledge Engineering (SEKE), 2023 |
