Rebeka Farkas

According to our database, Rebeka Farkas authored at least 3 papers between 2018 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Diversity of graph models and graph generators in mutation testing.

Oszkár Semeráth, Rebeka Farkas, Gábor Bergmann, Dániel Varró

Int. J. Softw. Tools Technol. Transf., 2020

2019

Adaptive Step Size Control for Hybrid CT Simulation without Rollback.

Rebeka Farkas, Gábor Bergmann, Ákos Horváth

Proceedings of the 13th International Modelica Conference, Regensburg, Germany, 2019

2018

Backward Reachability Analysis for Timed Automata with Data Variables.

Rebeka Farkas, Tamás Tóth, Ákos Hajdu, András Vörös

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