Meel, Kuldeep S.
Shrotri, Aditya A.
Vardi, Moshe Y.
Funding for this research was provided by:
National Science Foundation (IIS-1527668)
National Science Foundation (ExCAPE:Expeditions in Computer Augmented Program Engineering)
NUS ODPRT (R-252-000-685-133)
Article History
First Online: 26 December 2018