Experiments with Test Case Generation and Runtime Analysis. Artho, C., Drusinsky, D., Goldberg, A., Havelund, K., Lowry, M. R., Pasareanu, C. S., Rosu, G., & Visser, W. In Börger, E., Gargantini, A., & Riccobene, E., editors, Abstract State Machines, volume 2589, of Lecture Notes in Computer Science, pages 87-107, 2003. Springer. Link Paper bibtex @inproceedings{conf/asm/ArthoDGHLPRV03,
added-at = {2017-05-21T00:00:00.000+0200},
author = {Artho, Cyrille and Drusinsky, Doron and Goldberg, Allen and Havelund, Klaus and Lowry, Michael R. and Pasareanu, Corina S. and Rosu, Grigore and Visser, Willem},
biburl = {https://www.bibsonomy.org/bibtex/2a176bd663a629df52252a1852cc6f2c3/dblp},
booktitle = {Abstract State Machines},
crossref = {conf/asm/2003},
editor = {Börger, Egon and Gargantini, Angelo and Riccobene, Elvinia},
ee = {https://doi.org/10.1007/3-540-36498-6_5},
interhash = {11972adbcb896d48e384957f53f0fb1b},
intrahash = {a176bd663a629df52252a1852cc6f2c3},
isbn = {3-540-00624-9},
keywords = {dblp},
pages = {87-107},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T19:42:08.000+0200},
title = {Experiments with Test Case Generation and Runtime Analysis.},
url = {http://dblp.uni-trier.de/db/conf/asm/asm2003.html#ArthoDGHLPRV03},
volume = 2589,
year = 2003
}
Downloads: 0
{"_id":"sWcnb3vZzErTLJTCD","bibbaseid":"artho-drusinsky-goldberg-havelund-lowry-pasareanu-rosu-visser-experimentswithtestcasegenerationandruntimeanalysis-2003","authorIDs":[],"author_short":["Artho, C.","Drusinsky, D.","Goldberg, A.","Havelund, K.","Lowry, M. R.","Pasareanu, C. S.","Rosu, G.","Visser, W."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2017-05-21T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Artho"],"firstnames":["Cyrille"],"suffixes":[]},{"propositions":[],"lastnames":["Drusinsky"],"firstnames":["Doron"],"suffixes":[]},{"propositions":[],"lastnames":["Goldberg"],"firstnames":["Allen"],"suffixes":[]},{"propositions":[],"lastnames":["Havelund"],"firstnames":["Klaus"],"suffixes":[]},{"propositions":[],"lastnames":["Lowry"],"firstnames":["Michael","R."],"suffixes":[]},{"propositions":[],"lastnames":["Pasareanu"],"firstnames":["Corina","S."],"suffixes":[]},{"propositions":[],"lastnames":["Rosu"],"firstnames":["Grigore"],"suffixes":[]},{"propositions":[],"lastnames":["Visser"],"firstnames":["Willem"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2a176bd663a629df52252a1852cc6f2c3/dblp","booktitle":"Abstract State Machines","crossref":"conf/asm/2003","editor":[{"propositions":[],"lastnames":["Börger"],"firstnames":["Egon"],"suffixes":[]},{"propositions":[],"lastnames":["Gargantini"],"firstnames":["Angelo"],"suffixes":[]},{"propositions":[],"lastnames":["Riccobene"],"firstnames":["Elvinia"],"suffixes":[]}],"ee":"https://doi.org/10.1007/3-540-36498-6_5","interhash":"11972adbcb896d48e384957f53f0fb1b","intrahash":"a176bd663a629df52252a1852cc6f2c3","isbn":"3-540-00624-9","keywords":"dblp","pages":"87-107","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2019-05-15T19:42:08.000+0200","title":"Experiments with Test Case Generation and Runtime Analysis.","url":"http://dblp.uni-trier.de/db/conf/asm/asm2003.html#ArthoDGHLPRV03","volume":"2589","year":"2003","bibtex":"@inproceedings{conf/asm/ArthoDGHLPRV03,\n added-at = {2017-05-21T00:00:00.000+0200},\n author = {Artho, Cyrille and Drusinsky, Doron and Goldberg, Allen and Havelund, Klaus and Lowry, Michael R. and Pasareanu, Corina S. and Rosu, Grigore and Visser, Willem},\n biburl = {https://www.bibsonomy.org/bibtex/2a176bd663a629df52252a1852cc6f2c3/dblp},\n booktitle = {Abstract State Machines},\n crossref = {conf/asm/2003},\n editor = {Börger, Egon and Gargantini, Angelo and Riccobene, Elvinia},\n ee = {https://doi.org/10.1007/3-540-36498-6_5},\n interhash = {11972adbcb896d48e384957f53f0fb1b},\n intrahash = {a176bd663a629df52252a1852cc6f2c3},\n isbn = {3-540-00624-9},\n keywords = {dblp},\n pages = {87-107},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-05-15T19:42:08.000+0200},\n title = {Experiments with Test Case Generation and Runtime Analysis.},\n url = {http://dblp.uni-trier.de/db/conf/asm/asm2003.html#ArthoDGHLPRV03},\n volume = 2589,\n year = 2003\n}\n\n","author_short":["Artho, C.","Drusinsky, D.","Goldberg, A.","Havelund, K.","Lowry, M. R.","Pasareanu, C. S.","Rosu, G.","Visser, W."],"editor_short":["Börger, E.","Gargantini, A.","Riccobene, E."],"key":"conf/asm/ArthoDGHLPRV03","id":"conf/asm/ArthoDGHLPRV03","bibbaseid":"artho-drusinsky-goldberg-havelund-lowry-pasareanu-rosu-visser-experimentswithtestcasegenerationandruntimeanalysis-2003","role":"author","urls":{"Link":"https://doi.org/10.1007/3-540-36498-6_5","Paper":"http://dblp.uni-trier.de/db/conf/asm/asm2003.html#ArthoDGHLPRV03"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/corina?items=1000","creationDate":"2019-05-18T19:26:18.314Z","downloads":0,"keywords":["dblp"],"search_terms":["experiments","test","case","generation","runtime","analysis","artho","drusinsky","goldberg","havelund","lowry","pasareanu","rosu","visser"],"title":"Experiments with Test Case Generation and Runtime Analysis.","year":2003,"dataSources":["nk4Sfi2ddzBtdLpRN"]}