@Article{raz-far-mci-sttt14,
  Title                    = {Generating effective tests for concurrent programs via {AI} automated
 planning techniques},
  Author                   = {Niloofar Razavi and
 Azadeh Farzan and
 Sheila A. McIlraith},
  Journal                  = {International Journal on Software Tools for Technology Transfer ({STTT})},
  Year                     = {2014},
  Number                   = {1},
  Pages                    = {49--65},
  Volume                   = {16},

  Timestamp                = {2018.09.23}
}

{"_id":"NyFX2Lu2rZFn7SzSi","authorIDs":["GvvCbq8Y4n9QqTySC"],"author_short":["Razavi, N.","Farzan, A.","McIlraith, S. A."],"bibbaseid":"razavi-farzan-mcilraith-generatingeffectivetestsforconcurrentprogramsviaaiautomatedplanningtechniques-2014","bibdata":{"bibtype":"article","type":"article","title":"Generating effective tests for concurrent programs via AI automated planning techniques","author":[{"firstnames":["Niloofar"],"propositions":[],"lastnames":["Razavi"],"suffixes":[]},{"firstnames":["Azadeh"],"propositions":[],"lastnames":["Farzan"],"suffixes":[]},{"firstnames":["Sheila","A."],"propositions":[],"lastnames":["McIlraith"],"suffixes":[]}],"journal":"International Journal on Software Tools for Technology Transfer (STTT)","year":"2014","number":"1","pages":"49–65","volume":"16","timestamp":"2018.09.23","bibtex":"@Article{raz-far-mci-sttt14,\n Title = {Generating effective tests for concurrent programs via {AI} automated\n planning techniques},\n Author = {Niloofar Razavi and\n Azadeh Farzan and\n Sheila A. McIlraith},\n Journal = {International Journal on Software Tools for Technology Transfer ({STTT})},\n Year = {2014},\n Number = {1},\n Pages = {49--65},\n Volume = {16},\n\n Timestamp = {2018.09.23}\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/publications/"}},"downloads":0},"bibtype":"article","biburl":"www.cs.toronto.edu/kr/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"]}