User Studies of Principled Model Finder Output.
SEFM(2017)
摘要
Model-finders such as SAT-solvers are attractive for producing concrete models, either as sample instances or as counterexamples when properties fail. However, the generated model is arbitrary. To address this, several research efforts have proposed principled forms of output from model-finders. These include minimal and maximal models, unsat cores, and proof-based provenance of facts.
更多查看译文
关键词
Models, User studies, HCI, Minimization, Provenance, Unsat core
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络