© 2020 Peilun Zhang AUTOMATED FIXING OF WRONG ASSUMPTIONS ON UNDERDETERMINED SPECIFICATIONS BY