External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications

Simón Gutiérrez Brida, Germán Regis, Guolong Zheng, Hamid Bagheri, ThanhVu Nguyen, Nazareno Aguirre, Marcelo F. Frias. ICEBAR: Feedback-Driven Iterative Repair of Alloy Specifications. In 37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022, Rochester, MI, USA, October 10-14, 2022. ACM, 2022. [doi]

Authors

Simón Gutiérrez Brida

This author has not been identified. Look up 'Simón Gutiérrez Brida' in Google

Germán Regis

This author has not been identified. Look up 'Germán Regis' in Google

Guolong Zheng

This author has not been identified. Look up 'Guolong Zheng' in Google

Hamid Bagheri

This author has not been identified. Look up 'Hamid Bagheri' in Google

ThanhVu Nguyen

This author has not been identified. Look up 'ThanhVu Nguyen' in Google

Nazareno Aguirre

This author has not been identified. Look up 'Nazareno Aguirre' in Google

Marcelo F. Frias

This author has not been identified. Look up 'Marcelo F. Frias' in Google
runs on