Conference paper Open Access

Towards Language Independent Dynamic Symbolic Execution

Klikovits, Stefan; Gonzalez-Berges, Manuel; Buchs, Didier


BibTeX Export

@inproceedings{klikovits_stefan_2017_291899,
  author       = {Klikovits, Stefan and
                  Gonzalez-Berges, Manuel and
                  Buchs, Didier},
  title        = {{Towards Language Independent Dynamic Symbolic 
                   Execution}},
  booktitle    = {Proceedings of the 24th PhD Mini-Symposium},
  year         = 2017,
  pages        = {50-53},
  publisher    = {{Budapest University of Technology and Economics, 
                   Department of Measurement and Information Systems}},
  address      = {Budapest, Hungary},
  month        = jan,
  venue        = {Budapest, Hungary},
  doi          = {10.5281/zenodo.291899},
  url          = {https://doi.org/10.5281/zenodo.291899}
}
10
10
views
downloads
All versions This version
Views 109
Downloads 109
Data volume 1.4 MB1.3 MB
Unique views 98
Unique downloads 109

Share

Cite as