Inproceedings,
Path exploration based on symbolic output.
D. Qi, H. Nguyen, and A. Roychoudhury.SIGSOFT FSE, page 278-288. ACM, (2011)
Meta data
- BibTeX key
- conf/sigsoft/QiNR11
- entry type
- inproceedings
- booktitle
- SIGSOFT FSE
- year
- 2011
- pages
- 278-288
- publisher
- ACM
- crossref
- conf/sigsoft/2011
- ee
- https://doi.org/10.1145/2025113.2025152
- isbn
- 978-1-4503-0443-6
- url
- http://dblp.uni-trier.de/db/conf/sigsoft/fse2011.html#QiNR11
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/sigsoft/QiNR11
%A Qi, Dawei
%A Nguyen, Hoang D. T.
%A Roychoudhury, Abhik
%B SIGSOFT FSE
%D 2011
%E Gyimóthy, Tibor
%E Zeller, Andreas
%I ACM
%K dblp
%P 278-288
%T Path exploration based on symbolic output.
%U http://dblp.uni-trier.de/db/conf/sigsoft/fse2011.html#QiNR11
%@ 978-1-4503-0443-6
@inproceedings{conf/sigsoft/QiNR11,
added-at = {2018-11-06T00:00:00.000+0100},
author = {Qi, Dawei and Nguyen, Hoang D. T. and Roychoudhury, Abhik},
biburl = {https://www.bibsonomy.org/bibtex/2ade3c5680015a23c9a943bb3b07d9abf/dblp},
booktitle = {SIGSOFT FSE},
crossref = {conf/sigsoft/2011},
editor = {Gyimóthy, Tibor and Zeller, Andreas},
ee = {https://doi.org/10.1145/2025113.2025152},
interhash = {0483fd7665f6fb40c861ca804c0fe19d},
intrahash = {ade3c5680015a23c9a943bb3b07d9abf},
isbn = {978-1-4503-0443-6},
keywords = {dblp},
pages = {278-288},
publisher = {ACM},
timestamp = {2018-11-07T15:28:11.000+0100},
title = {Path exploration based on symbolic output.},
url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2011.html#QiNR11},
year = 2011
}