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.

FLACK: Localizing Faults in Alloy Models

Guolong Zheng, ThanhVu Nguyen, Simón Gutiérrez Brida, Germán Regis, Marcelo F. Frias, Nazareno Aguirre, Hamid Bagheri. FLACK: Localizing Faults in Alloy Models. In 36th IEEE/ACM International Conference on Automated Software Engineering, ASE 2021, Melbourne, Australia, November 15-19, 2021. pages 1218-1222, IEEE, 2021. [doi]

Authors

Guolong Zheng

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

ThanhVu Nguyen

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

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

Marcelo F. Frias

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

Nazareno Aguirre

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

Hamid Bagheri

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