Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis
Gespeichert in:
| Titel: | Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis |
|---|---|
| Autoren: | Păsăreanu, Corina S., Visser, Willem, Bushnell, David, Geldenhuys, Jaco, Mehlitz, Peter, Rungta, Neha |
| Quelle: | Automated Software Engineering ; volume 20, issue 3, page 391-425 ; ISSN 0928-8910 1573-7535 |
| Verlagsinformationen: | Springer Science and Business Media LLC |
| Publikationsjahr: | 2013 |
| Publikationsart: | article in journal/newspaper |
| Sprache: | 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 |
| Verfügbarkeit: | 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 |
| Dokumentencode: | edsbas.C13094B9 |
| Datenbank: | BASE |
Nájsť tento článok vo Web of Science | DOI: | 10.1007/s10515-013-0122-2 |
|---|