Learning stateful preconditions modulo a test generator.

Angello Astorga, P. Madhusudan, Shambwaditya Saha, Shiyu Wang, Tao Xie

Browse the full PLDI paper archive.