Text this: JFIX: Semantics-based repair of Java programs via symbolic PathFinder

  _____    _    _     _____    __   __    ____    
 / ____|| | || | ||  /  ___||  \ \\/ //  |  _ \\  
/ //---`' | || | || | // __     \ ` //   | |_| || 
\ \\___   | \\_/ || | \\_\ ||    | ||    | .  //  
 \_____||  \____//   \____//     |_||    |_|\_\\  
  `----`    `---`     `---`      `-`'    `-` --`