10 citations · 22 across the 4 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
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…
cs.SE2017★ 6 cited
Classifying the Correctness of Generated White-Box Tests: An Exploratory Study
David Honfi, Zoltan Micskei
White-box test generator tools rely only on the code under test to select test inputs, and capture the implementation's output as assertions. If there is a fault in the implementat…