1 citations · 1 across the 4 of their papers we have counts for
1 paper · 1 filter
Rajdeep Mondal, Rathin Singha, Todd Millstein +3
Model-based testing (MBT), whereby a model of the system under test is analyzed to generate high-coverage test cases, has been used to test protocol implementations. A key barrier…