Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis
Uložené v:
| Názov: | Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis |
|---|---|
| Autori: | Păsăreanu, Corina S., Visser, Willem, Bushnell, David, Geldenhuys, Jaco, Mehlitz, Peter, Rungta, Neha |
| Zdroj: | Automated Software Engineering ; volume 20, issue 3, page 391-425 ; ISSN 0928-8910 1573-7535 |
| Informácie o vydavateľovi: | Springer Science and Business Media LLC |
| Rok vydania: | 2013 |
| Druh dokumentu: | article in journal/newspaper |
| Jazyk: | English |
| DOI: | 10.1007/s10515-013-0122-2 |
| DOI: | 10.1007/s10515-013-0122-2.pdf |
| DOI: | 10.1007/s10515-013-0122-2/fulltext.html |
| Dostupnosť: | http://dx.doi.org/10.1007/s10515-013-0122-2 http://link.springer.com/content/pdf/10.1007/s10515-013-0122-2.pdf http://link.springer.com/article/10.1007/s10515-013-0122-2/fulltext.html http://link.springer.com/content/pdf/10.1007/s10515-013-0122-2 |
| Rights: | http://www.springer.com/tdm |
| Prístupové číslo: | edsbas.C13094B9 |
| Databáza: | BASE |
Nájsť tento článok vo Web of Science Buďte prvý, kto okomentuje tento záznam!