@techreport {DRP-201707-Alsaeed,
   type = {Directed Research Project},
   author = {Ziyad Alsaeed},
   title = {Dynamic Specification Mining with Out-of-Scope Effect Awareness and Result Classification},
   institution = {University of Oregon, Computer and Information Sciences Department},
   number = DRP-201707-Alsaeed,
   month = 7,
   year = 2017,
   note = {Available at \url{https://www.cs.uoregon.edu/Reports/DRP-201707-Alsaeed.pdf}},
}