Andreas Fellner

» Ph.D. Student

I am a Ph.D. student at Austrian Insititute of Technology (AIT) supervised at TU Wien by Prof. Georg Weissenbacher, working on model based testing.
In 2014 I graduated from TU Wien, TU Dresden and Free University of Bolzano with a M.Sc. degree in Computational Logic.
After which, I spent a year at the graduate school of IST Austria, working with among others Krishnendu Chatterjee and Thomas Henzinger on Program Verification and Error Explanation.

Research Interests:

  • Automated Test Case Generation
  • Model Based Testing
  • Program Verification / Synthesis
  • Proof Compression


[8]Language Inclusion for Finite Prime Event Structures
Andreas Fellner, Thorsten Tarrach, Georg Weissenbacher
VMCAI, volume 11990 of Lecture Notes in Computer Science, pages 314–336, 2020, Springer.
[bibtex] [doi]
[7]Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search
Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher
ACM Trans. Embedded Comput. Syst., volume 18, number 1, pages 4:1–4:28, 2019.
[bibtex] [doi]
[6]Mutation Testing with Hyperproperties
Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher
SEFM, volume 11724 of Lecture Notes in Computer Science, pages 203–221, 2019, Springer.
[bibtex] [doi]
[5] Greedy pebbling for proof space compression
Andreas Fellner, Bruno Woltzenlogel Paleo
International Journal on Software Tools for Technology Transfer, pages 1–16, 6 2017.
[bibtex] [pdf] [doi]
[4] NP-completeness of small conflict set generation for congruence closure
Andreas Fellner, Pascal Fontaine, Bruno Woltzenlogel Paleo
Formal Methods in System Design, 2017.
[bibtex] [pdf] [doi]
[3] Model-based, mutation-driven test case generation via heuristic-guided branching search
Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017 (Jean-Pierre Talpin, Patricia Derler, Klaus Schneider, eds.), pages 56–66, 2017, ACM.
[bibtex] [pdf] [doi]
[2] Counterexample Explanation by Learning Small Strategies in Markov Decision Processes
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, Jan Kretínský
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, pages 158–177, 2015.
[bibtex] [pdf] [doi]
[1] Skeptik: A Proof Compression System
Joseph Boudou, Andreas Fellner, Bruno Woltzenlogel Paleo
Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings, pages 374–380, 2014.
[bibtex] [pdf] [doi]

Andreas Fellner
Technische Universität Wien
Institut für Logic and Computation 192/4
Favoritenstraße 9–11
1040 Wien

Room: HA 03 02 (how to get there)


Latest News

FORSYTE’s 2018 paper awards

FORSYTE has had a quite successful year: Adrian Rebola Pardo and his co-authors received the IJCAR best paper award for their paper Extended Resolution Simulates DRAT, Mitra Tabaei Befrouei and her co-authors received an OOPSLA 2018 Distinguished Paper award for their paper Randomized Testing of Distributed Systems with Probabilistic Guarantees, and Thomas Pani received the […]

Continue reading

Full news archive