Assertional checking and symbolic execution: An effective combination for debugging - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

J. Mack Adams, James Armstrong, Melissa Smartt. Assertional checking and symbolic execution: An effective combination for debugging. In Proceedings of the 1979 Annual Conference, Detroit, Michigan, USA, October 29-31, 1979. pages 152-156, ACM, 1979. [doi]

This author has not been identified. Look up 'J. Mack Adams' in GoogleThis author has not been identified. Look up 'James Armstrong' in GoogleThis author has not been identified. Look up 'Melissa Smartt' in Google

runs on WebDSL