Verification of Java Programs Using Symbolic Execution and Invariant Generation. Pasareanu, C. S. & Visser, W. In Graf, S. & Mounier, L., editors, SPIN, volume 2989, of Lecture Notes in Computer Science, pages 164-181, 2004. Springer. Link Paper bibtex @inproceedings{conf/spin/PasareanuV04,
added-at = {2017-05-17T00:00:00.000+0200},
author = {Pasareanu, Corina S. and Visser, Willem},
biburl = {https://www.bibsonomy.org/bibtex/2317f07a0751a9a7f065de00dc2b16a6b/dblp},
booktitle = {SPIN},
crossref = {conf/spin/2004},
editor = {Graf, Susanne and Mounier, Laurent},
ee = {https://doi.org/10.1007/978-3-540-24732-6_13},
interhash = {14a1ed8934920e83b3338b80ca424d4a},
intrahash = {317f07a0751a9a7f065de00dc2b16a6b},
isbn = {3-540-21314-7},
keywords = {dblp},
pages = {164-181},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T12:05:53.000+0200},
title = {Verification of Java Programs Using Symbolic Execution and Invariant Generation.},
url = {http://dblp.uni-trier.de/db/conf/spin/spin2004.html#PasareanuV04},
volume = 2989,
year = 2004
}
Downloads: 0
{"_id":"mtxyqdnCkTZgg5wiA","bibbaseid":"pasareanu-visser-verificationofjavaprogramsusingsymbolicexecutionandinvariantgeneration-2004","authorIDs":[],"author_short":["Pasareanu, C. S.","Visser, W."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2017-05-17T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Pasareanu"],"firstnames":["Corina","S."],"suffixes":[]},{"propositions":[],"lastnames":["Visser"],"firstnames":["Willem"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2317f07a0751a9a7f065de00dc2b16a6b/dblp","booktitle":"SPIN","crossref":"conf/spin/2004","editor":[{"propositions":[],"lastnames":["Graf"],"firstnames":["Susanne"],"suffixes":[]},{"propositions":[],"lastnames":["Mounier"],"firstnames":["Laurent"],"suffixes":[]}],"ee":"https://doi.org/10.1007/978-3-540-24732-6_13","interhash":"14a1ed8934920e83b3338b80ca424d4a","intrahash":"317f07a0751a9a7f065de00dc2b16a6b","isbn":"3-540-21314-7","keywords":"dblp","pages":"164-181","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2019-05-15T12:05:53.000+0200","title":"Verification of Java Programs Using Symbolic Execution and Invariant Generation.","url":"http://dblp.uni-trier.de/db/conf/spin/spin2004.html#PasareanuV04","volume":"2989","year":"2004","bibtex":"@inproceedings{conf/spin/PasareanuV04,\n added-at = {2017-05-17T00:00:00.000+0200},\n author = {Pasareanu, Corina S. and Visser, Willem},\n biburl = {https://www.bibsonomy.org/bibtex/2317f07a0751a9a7f065de00dc2b16a6b/dblp},\n booktitle = {SPIN},\n crossref = {conf/spin/2004},\n editor = {Graf, Susanne and Mounier, Laurent},\n ee = {https://doi.org/10.1007/978-3-540-24732-6_13},\n interhash = {14a1ed8934920e83b3338b80ca424d4a},\n intrahash = {317f07a0751a9a7f065de00dc2b16a6b},\n isbn = {3-540-21314-7},\n keywords = {dblp},\n pages = {164-181},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2019-05-15T12:05:53.000+0200},\n title = {Verification of Java Programs Using Symbolic Execution and Invariant Generation.},\n url = {http://dblp.uni-trier.de/db/conf/spin/spin2004.html#PasareanuV04},\n volume = 2989,\n year = 2004\n}\n\n","author_short":["Pasareanu, C. S.","Visser, W."],"editor_short":["Graf, S.","Mounier, L."],"key":"conf/spin/PasareanuV04","id":"conf/spin/PasareanuV04","bibbaseid":"pasareanu-visser-verificationofjavaprogramsusingsymbolicexecutionandinvariantgeneration-2004","role":"author","urls":{"Link":"https://doi.org/10.1007/978-3-540-24732-6_13","Paper":"http://dblp.uni-trier.de/db/conf/spin/spin2004.html#PasareanuV04"},"keyword":["dblp"],"downloads":0},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/corina?items=1000","creationDate":"2019-05-18T19:26:18.321Z","downloads":0,"keywords":["dblp"],"search_terms":["verification","java","programs","using","symbolic","execution","invariant","generation","pasareanu","visser"],"title":"Verification of Java Programs Using Symbolic Execution and Invariant Generation.","year":2004,"dataSources":["nk4Sfi2ddzBtdLpRN"]}