A comparative study of incremental constraint solving approaches in symbolic execution T Liu, M Araújo, M d’Amorim, M Taghdiri Hardware and Software: Verification and Testing: 10th International Haifa …, 2014 | 36 | 2014 |
Bounded Program Verification using an SMT Solver: A Case Study T Liu, M Nagel, M Taghdiri | 29* | |
Generating jml specifications from alloy expressions D Grunwald, C Gladisch, T Liu, M Taghdiri, S Tyszberowicz Hardware and Software: Verification and Testing: 10th International Haifa …, 2014 | 8 | 2014 |
Computing exact loop bounds for bounded program verification T Liu, S Tyszberowicz, B Beckert, M Taghdiri Dependable Software Engineering. Theories, Tools, and Applications: Third …, 2017 | 5 | 2017 |
Computing specification-sensitive abstractions for program verification T Liu, S Tyszberowicz, M Herda, B Beckert, D Grahl, M Taghdiri International Symposium on Dependable Software Engineering: Theories, Tools …, 2016 | 3 | 2016 |
Efficient Verification of Programs with Complex Data Structures Using SMT Solvers T Liu Karlsruhe Institute of Technology, Germany, 2018 | | 2018 |
KIT-Research-STEP T Liu Tianhai Liu (inaktiv), 2016 | | 2016 |
KIT-Research-Alloy2JML T Liu Tianhai Liu (inaktiv), 2014 | | 2014 |
KIT-Courses T Liu Tianhai Liu (inaktiv), 2013 | | 2013 |
KIT-People T Liu Tianhai Liu (inaktiv), 2012 | | 2012 |
KIT-Theses and Jobs T Liu Tianhai Liu (inaktiv), 2012 | | 2012 |
KIT-Research T Liu Tianhai Liu (inaktiv), 2012 | | 2012 |
KIT-Publications T Liu Tianhai Liu (inaktiv), 2012 | | 2012 |
Wartung und Weiterentwicklung von BEAST zur Automatischen Wahlverifikation durch SBMC B Beckert, S Meinhart, J Bachmeier, P Kern, M Kirsten, J Klamroth, ... | | |