BeAFix: An Automated Repair Tool for Faulty Alloy Models

Document Details

Document Type
Pub Defense Publication
Publication Date
Nov 01, 2021
Source ID
10.1109/ase51524.2021.9678524

Entities

People

  • German Regis
  • Guolong Zheng
  • Hamid Bagheri
  • Marcelo Frias
  • Nazareno Aguirre
  • Simon Gutierrez Brida
  • ThanhVu Nguyen

Organizations

  • Army Research Office
  • National Science Foundation