Andreas Fellner

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 12

Top Topics

Mutation Testing

Lossy Image Compression

Variable Ordering

Test Case Generation

Top Venues

ACM Trans. Embed. Comput. Syst.

Int. J. Softw. Tools Technol. Transf.

Publications

Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher
Mutation testing with hyperproperties. Softw. Syst. Model. 20 (2) (2021)
Andreas Fellner, Thorsten Tarrach, Georg Weissenbacher
Language Inclusion for Finite Prime Event Structures. VMCAI (2020)
Michael J. Butler, Dana Dghaym, Thai Son Hoang, Tope Omitola, Colin F. Snook, Andreas Fellner, Rupert Schlick, Thorsten Tarrach, Tomas Fischer, Peter Tummeltshammer
Behaviour-Driven Formal Model Development of the ETCS Hybrid Level 3. ICECCS (2019)
Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher
Model-based, Mutation-driven Test-case Generation Via Heuristic-guided Branching Search. ACM Trans. Embed. Comput. Syst. 18 (1) (2019)
Andreas Fellner, Bruno Woltzenlogel Paleo
Greedy pebbling for proof space compression. Int. J. Softw. Tools Technol. Transf. 21 (1) (2019)
Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher
Mutation Testing with Hyperproperties. CoRR (2019)
Andreas Fellner, Thorsten Tarrach, Georg Weissenbacher
Language Inclusion for Finite Prime Event Structures. CoRR (2019)
Andreas Fellner, Mitra Tabaei Befrouei, Georg Weissenbacher
Mutation Testing with Hyperproperties. SEFM (2019)
Andreas Fellner, Pascal Fontaine, Bruno Woltzenlogel Paleo
NP-completeness of small conflict set generation for congruence closure. Formal Methods Syst. Des. 51 (3) (2017)
Andreas Fellner, Willibald Krenn, Rupert Schlick, Thorsten Tarrach, Georg Weissenbacher
Model-based, mutation-driven test case generation via heuristic-guided branching search. MEMOCODE (2017)
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, Jan Kretínský
Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. CAV (1) (2015)
Tomás Brázdil, Krishnendu Chatterjee, Martin Chmelik, Andreas Fellner, Jan Kretínský
Counterexample Explanation by Learning Small Strategies in Markov Decision Processes. CoRR (2015)
Joseph Boudou, Andreas Fellner, Bruno Woltzenlogel Paleo
Skeptik: A Proof Compression System. IJCAR (2014)