Demonstration Informed Specification Search - Vazquez-Chanlatte, Marcell; Shah, Ameesh