Login / Signup
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
Published in:
ASE (2022)
Keyphrases
</>
iterative repair
earth observing
data driven
user feedback
high level
relevance feedback
written in natural language
visual feedback
positive feedback
mechanical properties
concurrent systems
real time
data sets
delay insensitive