Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Oren Ish-Shalom, Shachar Itzhaky, Roman Manevich, Noam Rinetzky. Harnessing Static Analysis to Help Learn Pseudo-Inverses of String Manipulating Procedures for Automatic Test Generation. In Dirk Beyer 0001, Damien Zufferey, editors, Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings. Volume 11990 of Lecture Notes in Computer Science, pages 180-201, Springer, 2020. [doi]

This author has not been identified. Look up 'Oren Ish-Shalom' in GoogleThis author has not been identified. Look up 'Shachar Itzhaky' in GoogleThis author has not been identified. Look up 'Roman Manevich' in GoogleThis author has not been identified. Look up 'Noam Rinetzky' in Google

runs on WebDSL