Automated generation of state abstraction functions using data invariant inference.

Paolo Tonella, Cu Duy Nguyen, Alessandro Marchetto, Kiran Lakhotia, Mark Harman

Browse the full ICSE paper archive.