Modular Pluggable Analyses for Data Structure Consistency

Viktor Kuncak, Patrick Lam, Karen Zee, Martin C. Rinard. Modular Pluggable Analyses for Data Structure Consistency. IEEE Trans. Software Eng., 32(12):988-1005, 2006. [doi]

Authors

Viktor Kuncak

This author has not been identified. Look up 'Viktor Kuncak' in Google

Patrick Lam

This author has not been identified. Look up 'Patrick Lam' in Google

Karen Zee

This author has not been identified. Look up 'Karen Zee' in Google

Martin C. Rinard

This author has not been identified. Look up 'Martin C. Rinard' in Google