Tianhai Liu

A Comparative Study of Incremental Constraint Solving Approaches in Symbolic Execution

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

Generating JML Specifications from Alloy Expressions

Mana Taghdiri, Shmuel S. Tyszberowicz, Christoph Gladisch, 2014, Haifa Verification Conference.

Efficient Verification of Programs with Complex Data Structures Using SMT Solvers

Tianhai Liu, Tianhai Liu, 2018 .

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.

Computing Exact Loop Bounds for Bounded Program Verification

Bernhard Beckert, Mana Taghdiri, Shmuel S. Tyszberowicz, 2017, SETTA.

Computing Specification-Sensitive Abstractions for Program Verification

Bernhard Beckert, Mana Taghdiri, Daniel Grahl, 2016, SETTA.