3 citations · 3 across the 1 of their papers we have counts for
2 papers
cs.SE2019
Automated Isolation for White-box Test Generation
Dávid Honfi, Zoltán Micskei
Context. White-box test generation is a technique used for automatically selecting test inputs using only the source or binary code. However, such techniques encounter challenges w…
cs.SE2017★ 3 cited
Towards Evaluating Size Reduction Techniques for Software Model Checking
Gyula Sallai, Ákos Hajdu, Tamás Tóth +1
Formal verification techniques are widely used for detecting design flaws in software systems. Formal verification can be done by transforming an already implemented source code to…