{"_id":"PDAgcReFfk2rZvxM6","bibbaseid":"zhang-bradbury-cordy-dingel-usingsourcetransformationtotestandmodelcheckimplicitinvocationsystems-2006","downloads":0,"creationDate":"2017-10-15T15:21:08.865Z","title":"Using source transformation to test and model check implicit-invocation systems.","author_short":["Zhang, H.","Bradbury, J. S.","Cordy, J. R.","Dingel, J."],"year":2006,"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/james cordy?items=1000","bibdata":{"bibtype":"article","type":"article","author":[{"propositions":[],"lastnames":["Zhang"],"firstnames":["Hongyu"],"suffixes":[]},{"propositions":[],"lastnames":["Bradbury"],"firstnames":["Jeremy","S."],"suffixes":[]},{"propositions":[],"lastnames":["Cordy"],"firstnames":["James","R."],"suffixes":[]},{"propositions":[],"lastnames":["Dingel"],"firstnames":["Jürgen"],"suffixes":[]}],"date":"2006-11-22","ee":"http://dx.doi.org/10.1016/j.scico.2006.04.008","interhash":"3839331a1211ce794353e500583269f3","intrahash":"88b495981a43c110d100a3bb91daf51f","journal":"Sci. Comput. Program.","number":"3","pages":"209-227","title":"Using source transformation to test and model check implicit-invocation systems.","url":"http://dblp.uni-trier.de/db/journals/scp/scp62.html#ZhangBCD06","volume":"62","year":"2006","bibtex":"@article{journals/scp/ZhangBCD06,\n author = {Zhang, Hongyu and Bradbury, Jeremy S. and Cordy, James R. and Dingel, Jürgen},\n date = {2006-11-22},\n ee = {http://dx.doi.org/10.1016/j.scico.2006.04.008},\n interhash = {3839331a1211ce794353e500583269f3},\n intrahash = {88b495981a43c110d100a3bb91daf51f},\n journal = {Sci. Comput. Program.},\n number = 3,\n pages = {209-227},\n title = {Using source transformation to test and model check implicit-invocation systems.},\n url = {http://dblp.uni-trier.de/db/journals/scp/scp62.html#ZhangBCD06},\n volume = 62,\n year = 2006\n}\n\n","author_short":["Zhang, H.","Bradbury, J. S.","Cordy, J. R.","Dingel, J."],"key":"journals/scp/ZhangBCD06","id":"journals/scp/ZhangBCD06","bibbaseid":"zhang-bradbury-cordy-dingel-usingsourcetransformationtotestandmodelcheckimplicitinvocationsystems-2006","role":"author","urls":{"Link":"http://dx.doi.org/10.1016/j.scico.2006.04.008","Paper":"http://dblp.uni-trier.de/db/journals/scp/scp62.html#ZhangBCD06"},"downloads":0},"search_terms":["using","source","transformation","test","model","check","implicit","invocation","systems","zhang","bradbury","cordy","dingel"],"keywords":[],"authorIDs":[],"dataSources":["JHozo5KzkRHrh6ajp"]}