6 citations · 6 across the 1 of their papers we have counts for
1 paper
Mingyu Park, Taejoon Byun, Yunja Choi
Testing is a de-facto verification technique in industry, but insufficient for identifying subtle issues due to its optimistic incompleteness. On the other hand, model checking is…