中文

Paper Publications

Current position: Home > Scientific Research > Paper Publications

Condition Sequence Coverage Criterion and Automatic Test Case Generation for Testing-Based Formal Verification

Release time:2025-08-14  Hits:

Journal:accepted by ISSRE 2025

Indexed by:Essay collection

Translation or Not:no

Co-author:Yang Liu,Lei Rao,Shaoying Liu,Zhibin Yang,Zhiqiu Huang

Next One: Interactively Translating Real-world Software Requirements into Linear Temporal Logics with Large Language Models

Copyright©2018- Nanjing University of Aeronautics and Astronautics·Informationization Department(Informationization Technology Center)

Click：| The Last Update Time:--| The Last Update Time:-- |MOBILE Version