@article{raz-far-mci-sttt14,
  author    = {Niloofar Razavi and
               Azadeh Farzan and
               Sheila A. McIlraith},
  title     = {Generating effective tests for concurrent programs via {AI} automated
               planning techniques},
  journal   = {International Journal on Software Tools for Technology Transfer ({STTT})},
  volume    = {16},
  number    = {1},
  pages     = {49-65},
  year      = {2014}
}

{"_id":"NyFX2Lu2rZFn7SzSi","authorIDs":["GvvCbq8Y4n9QqTySC"],"author_short":["Razavi, N.","Farzan, A.","McIlraith, S. A."],"bibbaseid":"razavi-farzan-mcilraith-generatingeffectivetestsforconcurrentprogramsviaaiautomatedplanningtechniques-2014","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Niloofar"],"propositions":[],"lastnames":["Razavi"],"suffixes":[]},{"firstnames":["Azadeh"],"propositions":[],"lastnames":["Farzan"],"suffixes":[]},{"firstnames":["Sheila","A."],"propositions":[],"lastnames":["McIlraith"],"suffixes":[]}],"title":"Generating effective tests for concurrent programs via AI automated planning techniques","journal":"International Journal on Software Tools for Technology Transfer (STTT)","volume":"16","number":"1","pages":"49-65","year":"2014","bibtex":"@article{raz-far-mci-sttt14,\n author = {Niloofar Razavi and\n Azadeh Farzan and\n Sheila A. McIlraith},\n title = {Generating effective tests for concurrent programs via {AI} automated\n planning techniques},\n journal = {International Journal on Software Tools for Technology Transfer ({STTT})},\n volume = {16},\n number = {1},\n pages = {49-65},\n year = {2014}\n}\n\n\n\n\n\n","author_short":["Razavi, N.","Farzan, A.","McIlraith, S. A."],"key":"raz-far-mci-sttt14","id":"raz-far-mci-sttt14","bibbaseid":"razavi-farzan-mcilraith-generatingeffectivetestsforconcurrentprogramsviaaiautomatedplanningtechniques-2014","role":"author","urls":{},"metadata":{"authorlinks":{"mcilraith, s":"https://www.cs.toronto.edu/~sheila/preferences/"}},"downloads":0},"bibtype":"article","biburl":"https://www.cs.toronto.edu/~sheila/publications/list.bib","creationDate":"2015-02-25T08:38:59.463Z","downloads":0,"keywords":[],"search_terms":["generating","effective","tests","concurrent","programs","via","automated","planning","techniques","razavi","farzan","mcilraith"],"title":"Generating effective tests for concurrent programs via AI automated planning techniques","year":2014,"dataSources":["FAyKHaeKDYM4aGJk2","euD7cPywCk5gX9zDY","optQ3PYGE2PxhriFJ","2LLKDfkxMDdABm58M","T3oedZczBnZ2Y6GvJ","uKBTF27RvvtN9Ryxw","Jwuh2BtHasSBPk4uf"]}