@inproceedings{ sohUdrRanRiaAAAI13,
  title = {Hypothesis Exploration for Malware Detection Using Planning} , 
  booktitle = {Proceedings of the 27th Conference on Artificial Intelligence (AAAI-13)},
  author = {Shirin Sohrabi and Octavian Udrea and Anton Riabov},
  year = {2013},
  pages ={883-889},
  address ={Bellevue, WA, USA},
  month = {July},
  url={http://www.aaai.org/ocs/index.php/AAAI/AAAI13/paper/view/6080}
}

{"_id":"MmwEYLe2dxnMYhehs","bibbaseid":"sohrabi-udrea-riabov-hypothesisexplorationformalwaredetectionusingplanning-2013","author_short":["Sohrabi, S.","Udrea, O.","Riabov, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Hypothesis Exploration for Malware Detection Using Planning","booktitle":"Proceedings of the 27th Conference on Artificial Intelligence (AAAI-13)","author":[{"firstnames":["Shirin"],"propositions":[],"lastnames":["Sohrabi"],"suffixes":[]},{"firstnames":["Octavian"],"propositions":[],"lastnames":["Udrea"],"suffixes":[]},{"firstnames":["Anton"],"propositions":[],"lastnames":["Riabov"],"suffixes":[]}],"year":"2013","pages":"883-889","address":"Bellevue, WA, USA","month":"July","url":"http://www.aaai.org/ocs/index.php/AAAI/AAAI13/paper/view/6080","bibtex":"@inproceedings{ sohUdrRanRiaAAAI13,\n title = {Hypothesis Exploration for Malware Detection Using Planning} , \n booktitle = {Proceedings of the 27th Conference on Artificial Intelligence (AAAI-13)},\n author = {Shirin Sohrabi and Octavian Udrea and Anton Riabov},\n year = {2013},\n pages ={883-889},\n address ={Bellevue, WA, USA},\n month = {July},\n url={http://www.aaai.org/ocs/index.php/AAAI/AAAI13/paper/view/6080}\n}\n\n\n\n","author_short":["Sohrabi, S.","Udrea, O.","Riabov, A."],"key":"sohUdrRanRiaAAAI13","id":"sohUdrRanRiaAAAI13","bibbaseid":"sohrabi-udrea-riabov-hypothesisexplorationformalwaredetectionusingplanning-2013","role":"author","urls":{"Paper":"http://www.aaai.org/ocs/index.php/AAAI/AAAI13/paper/view/6080"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"www.cs.toronto.edu/~shirin/list.bib","dataSources":["8pGsqG5CBn4dqRoRD"],"keywords":[],"search_terms":["hypothesis","exploration","malware","detection","using","planning","sohrabi","udrea","riabov"],"title":"Hypothesis Exploration for Malware Detection Using Planning","year":2013}