Efficient state merging in symbolic execution (extended abstract)

  • Vollständige Referenz
  • BibTeX
Kuznetsov, V., Kinder, J., Bucur, S. & Candea, G., (2014). Efficient state merging in symbolic execution (extended abstract). In: Hasselbring, W. & Ehmke, N. C. (Hrsg.), Software Engineering 2014. Bonn: Gesellschaft für Informatik. (S. 45-46).
@inproceedings{mci/Kuznetsov2014,
author = {Kuznetsov, Volodymyr AND Kinder, Johannes AND Bucur, Stefan AND Candea, George},
title = {Efficient state merging in symbolic execution (extended abstract)},
booktitle = {Software Engineering 2014},
year = {2014},
editor = {Hasselbring, Wilhelm AND Ehmke, Nils Christian} ,
pages = { 45-46 },
publisher = {Gesellschaft für Informatik},
address = {Bonn}
}
DateienGroesseFormatAnzeige
045.pdf1.510Mb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-388579-621-3
ISSN: 1617-5468
Datum: 2014
Sprache: en (en)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige