Rebeka Farkas

Publication Activity (10 Years)

Years Active: 2018-2020
Publications (10 Years): 3

Top Topics

Reachability Analysis

Mutation Testing

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Int. J. Softw. Tools Technol. Transf.

Publications

Oszkár Semeráth, Rebeka Farkas, Gábor Bergmann, Dániel Varró
Diversity of graph models and graph generators in mutation testing. Int. J. Softw. Tools Technol. Transf. 22 (1) (2020)
Rebeka Farkas, Gábor Bergmann, Ákos Horváth
Adaptive Step Size Control for Hybrid CT Simulation without Rollback. Modelica (2019)
Rebeka Farkas, Tamás Tóth, Ákos Hajdu, András Vörös
Backward Reachability Analysis for Timed Automata with Data Variables. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 76 (2018)