8 citations · 9 across the 4 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…