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
Publications:
| 2020 | |
| [8] | Language Inclusion for Finite Prime Event Structures VMCAI, volume 11990 of Lecture Notes in Computer Science, pages 314–336, 2020, Springer. |
| 2019 | |
| [7] | Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search ACM Trans. Embedded Comput. Syst., volume 18, number 1, pages 4:1–4:28, 2019. |
| [6] | Mutation Testing with Hyperproperties SEFM, volume 11724 of Lecture Notes in Computer Science, pages 203–221, 2019, Springer. |
| 2017 | |
| [5] | Greedy pebbling for proof space compression International Journal on Software Tools for Technology Transfer, pages 1–16, 6 2017. |
| [4] | NP-completeness of small conflict set generation for congruence closure Formal Methods in System Design, 2017. |
| [3] | Model-based, mutation-driven test case generation via heuristic-guided branching search 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. |
| 2015 | |
| [2] | Counterexample Explanation by Learning Small Strategies in Markov Decision Processes Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I, pages 158–177, 2015. |
| 2014 | |
| [1] | Skeptik: A Proof Compression System 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. |
Address:
Andreas Fellner
Technische Universität Wien
Institut für Logic and Computation 192/4
Favoritenstraße 9–11
1040 Wien
Austria
| Room: | HA 03 02 (how to get there) |
| Phone: | |
| Email: | afellner@forsyte.at |
| Web: | http://forsyte.at/~fellner/ |
