Bounded Exhaustive Search of Alloy Specification Repairs

Document Details

Document Type
Pub Defense Publication
Publication Date
May 01, 2021
Source ID
10.1109/icse43902.2021.00105

Entities

People

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

Organizations

  • Army Research Office