• 
  Jingyi Su

  BGSU, Master's

  Graduated: December 2017

  Project: Supporting Specifications in Boa's Data Types

Co-Authored Publications

• ICSE: Using Consensus to Automatically Infer Post-Conditions Jingyi Su, Mohd Arafat, Robert Dyer. May 30, 2018.