The power of "why" and "why not": enriching scenario exploration with provenance
Abstract
Scenario-finding tools like the Alloy Analyzer are widely used in numerous concrete domains like security, network analysis, UML analysis, and so on. They can help to verify properties and, more generally, aid in exploring a system's behavior.
BibTeX
@inproceedings{Nelson-al:FSE17,
author = {Tim Nelson and
Natasha Danas and
Daniel J. Dougherty and
Shriram Krishnamurthi},
title = {The power of "why" and "why not": enriching scenario exploration with provenance},
booktitle = {{ESEC/SIGSOFT} {FSE}},
pages = {106--116},
publisher = {{ACM}},
year = {2017},
}