58 citations · 248 across the 21 of their papers we have counts for
1 paper · 1 filter
Chong Tang, Kevin Sullivan, Jian Xiang +2
Imprecise and incomplete specification of system \textit{configurations} threatens safety, security, functionality, and other critical system properties and uselessly enlarges the…