papers
Publications (15)
cs.SE2018
Large-Scale Analysis of Framework-Specific Exceptions in Android Apps
Lingling Fan, Ting Su, Sen Chen +5
cs.LO2013
Polsat: A Portfolio LTL Satisfiability Solver
Jianwen Li, Geguang Pu, Lijun Zhang +3
cs.SE2018
SmartUnit: Empirical Evaluations for Automated Unit Testing of Embedded Software in Industry
Chengyu Zhang, Yichen Yan, Hanru Zhou +5
cs.LO2018
SAT-based Explicit LTLf Satisfiability Checking
Jianwen Li, Kristin Y. Rozier, Geguang Pu +2
cs.LO2014
LTLf satisfiability checking
Jianwen Li, Lijun Zhang, Geguang Pu +2
cs.LO2017
Symbolic LTLf Synthesis
Shufang Zhu, Lucas M. Tabajara, Jianwen Li +2
cs.LO2015
SAT-based Explicit LTL Reasoning
Jianwen Li, Shufang Zhu, Geguang Pu +1
cs.LO2014
Fast LTL Satisfiability Checking by SAT Solvers
Jianwen Li, Geguang Pu, Lijun Zhang +2
cs.LO2017
Safety Model Checking with Complementary Approximations
Jianwen Li, Shufang Zhu, Yueling Zhang +2
cs.SE2019
Towards Efficient Data-flow Test Data Generation
Ting Su, Chengyu Zhang, Yichen Yan +5
cs.LO2019
First-Order vs. Second-Order Encodings for LTLf-to-Automata Translation
Shufang Zhu, Geguang Pu, Moshe Y. Vardi
cs.LO2013
MDM: A Mode Diagram Modeling Framework
Zheng Wang, Geguang Pu, Jianwen Li +5
cs.SE2018
Efficiently Manifesting Asynchronous Programming Errors in Android Apps
Lingling Fan, Ting Su, Sen Chen +4
cs.FL2012
On the Relationship between LTL Normal Forms and Buechi Automata
Jianwen Li, Geguang Pu, Lijun Zhang +3
cs.SE2019
Presentation Proposal: Towards Efficient Data-flow Test Data Generation Using KLEE
Chengyu Zhang, Ting Su, Yichen Yan +2