Predicate Synthesis for Correcting Faulty Conjectures
User Interface Reverse Engineering in Support of Interface Migration to the Web
Desert Island