Inproceedings,
LEGION: Best-First Concolic Testing.
D. Liu, G. Ernst, T. Murray, and B. Rubinstein.ASE, page 54-65. IEEE, (2020)
Meta data
- BibTeX key
- conf/kbse/LiuEMR20
- entry type
- inproceedings
- booktitle
- ASE
- year
- 2020
- pages
- 54-65
- publisher
- IEEE
- crossref
- conf/kbse/2020
- ee
- https://ieeexplore.ieee.org/document/9286123
- isbn
- 978-1-4503-6768-4
- url
- http://dblp.uni-trier.de/db/conf/kbse/ase2020.html#LiuEMR20
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/kbse/LiuEMR20
%A Liu, Dongge
%A Ernst, Gidon
%A Murray, Toby
%A Rubinstein, Benjamin I. P.
%B ASE
%D 2020
%I IEEE
%K dblp
%P 54-65
%T LEGION: Best-First Concolic Testing.
%U http://dblp.uni-trier.de/db/conf/kbse/ase2020.html#LiuEMR20
%@ 978-1-4503-6768-4
@inproceedings{conf/kbse/LiuEMR20,
added-at = {2024-10-06T00:00:00.000+0200},
author = {Liu, Dongge and Ernst, Gidon and Murray, Toby and Rubinstein, Benjamin I. P.},
biburl = {https://www.bibsonomy.org/bibtex/2417eeec65d7a53907b3e5c4e31354a36/dblp},
booktitle = {ASE},
crossref = {conf/kbse/2020},
ee = {https://ieeexplore.ieee.org/document/9286123},
interhash = {e677b2c7e6c7e1e5634a7bc37d062ea2},
intrahash = {417eeec65d7a53907b3e5c4e31354a36},
isbn = {978-1-4503-6768-4},
keywords = {dblp},
pages = {54-65},
publisher = {IEEE},
timestamp = {2024-10-07T08:28:51.000+0200},
title = {LEGION: Best-First Concolic Testing.},
url = {http://dblp.uni-trier.de/db/conf/kbse/ase2020.html#LiuEMR20},
year = 2020
}