1 citations · 1 across the 1 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…