Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.Sign up
Goal reasoning using SAT solvers, local search of powersets
An ATMS-based implementation of requirements solution finding.
Common Lisp 2
A set of scripts to extract software quality signals from GNOME datasets.
A suite of algorithms for evaluating goal models
Research project tracing requirements in issue trackers.
Code and data for TD paper