{"_id":"SJRTPvJacXY2Jx8B6","bibbaseid":"brat-drusinsky-giannakopoulou-goldberg-havelund-lowry-pasareanu-venet-etal-experimentalevaluationofverificationandvalidationtoolsonmartianroversoftware-2004","authorIDs":[],"author_short":["Brat, G. P.","Drusinsky, D.","Giannakopoulou, D.","Goldberg, A.","Havelund, K.","Lowry, M. R.","Pasareanu, C. S.","Venet, A.","Visser, W.","Washington, R."],"bibdata":{"bibtype":"article","type":"article","added-at":"2011-05-25T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Brat"],"firstnames":["Guillaume","P."],"suffixes":[]},{"propositions":[],"lastnames":["Drusinsky"],"firstnames":["Doron"],"suffixes":[]},{"propositions":[],"lastnames":["Giannakopoulou"],"firstnames":["Dimitra"],"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":["Venet"],"firstnames":["Arnaud"],"suffixes":[]},{"propositions":[],"lastnames":["Visser"],"firstnames":["Willem"],"suffixes":[]},{"propositions":[],"lastnames":["Washington"],"firstnames":["Richard"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2f3b0f81c5da1b4c60999b00d18ed30c6/dblp","ee":"http://dx.doi.org/10.1023/B:FORM.0000040027.28662.a4","interhash":"57b91f4c80cfce51efd7a122b0702e96","intrahash":"f3b0f81c5da1b4c60999b00d18ed30c6","journal":"Formal Methods in System Design","keywords":"dblp","number":"2-3","pages":"167-198","timestamp":"2011-05-26T11:34:29.000+0200","title":"Experimental Evaluation of Verification and Validation Tools on Martian Rover Software.","url":"http://dblp.uni-trier.de/db/journals/fmsd/fmsd25.html#BratDGGHLPVVW04","volume":"25","year":"2004","bibtex":"@article{journals/fmsd/BratDGGHLPVVW04,\n added-at = {2011-05-25T00:00:00.000+0200},\n author = {Brat, Guillaume P. and Drusinsky, Doron and Giannakopoulou, Dimitra and Goldberg, Allen and Havelund, Klaus and Lowry, Michael R. and Pasareanu, Corina S. and Venet, Arnaud and Visser, Willem and Washington, Richard},\n biburl = {https://www.bibsonomy.org/bibtex/2f3b0f81c5da1b4c60999b00d18ed30c6/dblp},\n ee = {http://dx.doi.org/10.1023/B:FORM.0000040027.28662.a4},\n interhash = {57b91f4c80cfce51efd7a122b0702e96},\n intrahash = {f3b0f81c5da1b4c60999b00d18ed30c6},\n journal = {Formal Methods in System Design},\n keywords = {dblp},\n number = {2-3},\n pages = {167-198},\n timestamp = {2011-05-26T11:34:29.000+0200},\n title = {Experimental Evaluation of Verification and Validation Tools on Martian Rover Software.},\n url = {http://dblp.uni-trier.de/db/journals/fmsd/fmsd25.html#BratDGGHLPVVW04},\n volume = 25,\n year = 2004\n}\n\n","author_short":["Brat, G. P.","Drusinsky, D.","Giannakopoulou, D.","Goldberg, A.","Havelund, K.","Lowry, M. R.","Pasareanu, C. S.","Venet, A.","Visser, W.","Washington, R."],"key":"journals/fmsd/BratDGGHLPVVW04","id":"journals/fmsd/BratDGGHLPVVW04","bibbaseid":"brat-drusinsky-giannakopoulou-goldberg-havelund-lowry-pasareanu-venet-etal-experimentalevaluationofverificationandvalidationtoolsonmartianroversoftware-2004","role":"author","urls":{"Link":"http://dx.doi.org/10.1023/B:FORM.0000040027.28662.a4","Paper":"http://dblp.uni-trier.de/db/journals/fmsd/fmsd25.html#BratDGGHLPVVW04"},"keyword":["dblp"],"downloads":0},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/corina?items=1000","creationDate":"2019-05-18T19:26:18.677Z","downloads":0,"keywords":["dblp"],"search_terms":["experimental","evaluation","verification","validation","tools","martian","rover","software","brat","drusinsky","giannakopoulou","goldberg","havelund","lowry","pasareanu","venet","visser","washington"],"title":"Experimental Evaluation of Verification and Validation Tools on Martian Rover Software.","year":2004,"dataSources":["nk4Sfi2ddzBtdLpRN"]}