33 citations · 52 across the 4 of their papers we have counts for
4 papers
A Survey on Theorem Provers in Formal Methods
M. Saqib Nawaz, Moin Malik, Yi Li +2
Mechanical reasoning is a key area of research that lies at the crossroads of mathematical logic and artificial intelligence. The main aim to develop mechanical reasoning systems (…
Combining Program Analysis and Statistical Language Model for Code Statement Completion
Son Nguyen, Tien N. Nguyen, Yi Li +1
Automatic code completion helps improve developers' productivity in their programming tasks. A program contains instructions expressed via code statements, which are considered as…
DeepCruiser: Automated Guided Testing for Stateful Deep Learning Systems
Xiaoning Du, Xiaofei Xie, Yi Li +3
Deep learning (DL) defines a data-driven programming paradigm that automatically composes the system decision logic from the training data. In company with the data explosion and h…
Towards Concolic Testing for Hybrid Systems
Pingfan Kong, Yi Li, Xiaohong Chen +3
Hybrid systems exhibit both continuous and discrete behavior. Analyzing hybrid systems is known to be hard. Inspired by the idea of concolic testing (of programs), we investigate w…