Tianhai Liu

Finding out Reasons for Low Completion in MOOC Environment: An Explicable Approach Using Hybrid Data Mining Methods

Xiu Li, Tian-yi Liu, Xiu Li, 2017 .

A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution

Marcelo d'Amorim, Mana Taghdiri, Mateus Araújo, 2014, Haifa Verification Conference.

Bounded Program Verification Using an SMT Solver: A Case Study

Mana Taghdiri, Tianhai Liu, Michael Nagel, 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.

Efficient Verification of Programs with Complex Data Structures Using SMT Solvers

Tianhai Liu, Tianhai Liu, 2018 .