CPA/Tiger
CPA/Tiger is a predicate-abstraction based test input generator for C programs. It is based on the software model checking framework CPAchecker. Find more details in “Information Reuse for Multi-goal Reachability Analyses”.
People
Dirk Beyer
University of Passau

Andreas Holzer
TU Wien
Michael Tautschnig
University of London

Helmut Veith
TU Wien
Downloads
![]() |
ESOP’13 Presentation | (21. March 2013) |
Tutorial
You can find a small tutorial on CPA/Tiger here.
Publications
2013 | |
[3] | On the Structure and Complexity of Rational Sets of Regular Languages IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2013, December 12-14, 2013, Guwahati, India (Anil Seth, Nisheeth K. Vishnoi, eds.), volume 24 of LIPIcs, pages 377-388, 2013, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik. |
[2] | On the Structure and Complexity of Rational Sets of Regular Languages CoRR, volume abs/1305.6074, 2013. |
[1] | Information Reuse for Multi-goal Reachability Analyses ESOP, pages 472–491, 2013. |
Partners
Contact
Address:
Andreas Holzer
Technische Universität Wien
Institut für Logic and Computation 192/4
Favoritenstraße 9–11
1040 Wien
Austria
Room: | HD 03 13 (how to get there) |
Phone: | +43 (1) 58801 – 184 67 |
Email: | holzer@forsyte.at |
Web: | http://forsyte.at/~holzer/ |