Login / Signup
Xiaoshuai Yuan
Publication Activity (10 Years)
Years Active: 2020-2021
Publications (10 Years): 2
Top Topics
Automata Theoretic
Dynamic Constraints
Formal Specification
Temporal Logic
Top Venues
Theor. Comput. Sci.
COCOA
</>
Publications
</>
Nan Zhang
,
Bin Yu
,
Cong Tian
,
Zhenhua Duan
,
Xiaoshuai Yuan
Temporal logic specification mining of programs.
Theor. Comput. Sci.
857 (2021)
Nan Zhang
,
Xiaoshuai Yuan
,
Zhenhua Duan
Propositional Projection Temporal Logic Specification Mining.
COCOA
(2020)