Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Edison Mera, Pedro LÃ³pez-GarcÃa, Manuel V. Hermenegildo. Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. In Patricia M. Hill, David Scott Warren, editors, Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings. Volume 5649 of Lecture Notes in Computer Science, pages 281-295, Springer, 2009. [doi]

This author has not been identified. Look up 'Edison Mera' in GoogleThis author has not been identified. Look up 'Pedro LÃ³pez-GarcÃa' in GoogleThis author has not been identified. It may be one of the following persons:

Manuel V. Hermenegildo

Look up 'Manuel V. Hermenegildo' in Google

runs on WebDSL