Jong-Deok Choi, Ron Cytron, et al.
IEEE Transactions on Software Engineering
No abstract available.
Jong-Deok Choi, Ron Cytron, et al.
IEEE Transactions on Software Engineering
Jinpeng Wei, Xiaolan Zhang, et al.
CCS 2009
Sahil Suneja, Canturk Isci, et al.
VEE 2015
Ron Cytron, Jeanne Ferrante, et al.
ACM TOPLAS