Efficient runtime invariant checking: a framework and case study - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller. Efficient runtime invariant checking: a framework and case study. In Ben Liblit, Atanas Rountev, editors, Proceedings of the 2008 International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), WODA 2008, Seattle, Washington, USA, July 21, 2008. pages 43-49, ACM, 2008. [doi]

This author has not been identified. Look up 'Michael Gorbovitski' in GoogleThis author has not been identified. Look up 'Tom Rothamel' in GoogleThis author has not been identified. Look up 'Yanhong A. Liu' in GoogleThis author has not been identified. Look up 'Scott D. Stoller' in Google

runs on WebDSL