Adéla Stepková

According to our database, Adéla Stepková authored at least 2 papers in 2025.

Collaborative distances:

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

2025

On Complementation of Nondeterministic Finite Automata without Full Determinization (Technical Report).

Lukás Holík, Ondrej Lengál, Juraj Major, Adéla Stepková, Jan Strejcek

CoRR, July, 2025

Reversing Programs for Error Reachability Analysis.

Adéla Stepková

Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2025