35 citations · 93 across the 12 of their papers we have counts for
Showing 2022Show all
3 papers · 1 filter
cs.SE2022★ 2 cited
A Brief Survey on Oracle-based Test Adequacy Metrics
Soneya Binta Hossain, Matthew B. Dwyer
Code coverage is a popular and widespread test adequacy metric that measures the percentage of program codes executed by a test suite. Despite its popularity, code coverage has sev…
cs.CL2022
White-box Testing of NLP models with Mask Neuron Coverage
Arshdeep Sekhon, Yangfeng Ji, Matthew B. Dwyer +1
Recent literature has seen growing interest in using black-box strategies like CheckList for testing the behavior of NLP models. Research on white-box testing has developed a numbe…
cs.SE2022★ 1 cited
Algorithm Selection for Software Verification using Graph Neural Networks
Will Leeson, Matthew B Dwyer
The field of software verification has produced a wide array of algorithmic techniques that can prove a variety of properties of a given program. It has been demonstrated that the…