Vazquez-Chanlatte, M., & Shah, A. Demonstration Informed Specification Search (Version 1.0.0) [Computer software]. https://github.com/mvcisback/DISS