Zoltán Micskei | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Ákos Hajdu
5 publications
Tamás Tóth
2 publications
Gyula Sallai
1 publication
Dávid Honfi
1 publication

research

∙ 10/06/2019

Automated Isolation for White-box Test Generation

Context. White-box test generation is a technique used for automatically...

0 Dávid Honfi, et al. ∙

research

∙ 08/24/2017

Towards Evaluating Size Reduction Techniques for Software Model Checking

Formal verification techniques are widely used for detecting design flaw...

0 Gyula Sallai, et al. ∙