Inproceedings,
Feedback-directed unit test generation for C/C++ using concolic execution.
P. Garg, F. Ivancic, G. Balakrishnan, N. Maeda, and A. Gupta.ICSE, page 132-141. IEEE Computer Society, (2013)
Meta data
- BibTeX key
- conf/icse/GargIBMG13
- entry type
- inproceedings
- booktitle
- ICSE
- year
- 2013
- pages
- 132-141
- publisher
- IEEE Computer Society
- crossref
- conf/icse/2013
- ee
- http://dl.acm.org/citation.cfm?id=2486807
- isbn
- 978-1-4673-3076-3
- url
- http://dblp.uni-trier.de/db/conf/icse/icse2013.html#GargIBMG13
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/icse/GargIBMG13
%A Garg, Pranav
%A Ivancic, Franjo
%A Balakrishnan, Gogul
%A Maeda, Naoto
%A Gupta, Aarti
%B ICSE
%D 2013
%E Notkin, David
%E Cheng, Betty H. C.
%E Pohl, Klaus
%I IEEE Computer Society
%K dblp
%P 132-141
%T Feedback-directed unit test generation for C/C++ using concolic execution.
%U http://dblp.uni-trier.de/db/conf/icse/icse2013.html#GargIBMG13
%@ 978-1-4673-3076-3
@inproceedings{conf/icse/GargIBMG13,
added-at = {2023-09-30T00:00:00.000+0200},
author = {Garg, Pranav and Ivancic, Franjo and Balakrishnan, Gogul and Maeda, Naoto and Gupta, Aarti},
biburl = {https://www.bibsonomy.org/bibtex/2b6e9c7daa1805aa5c59a1bb74c43e5c6/dblp},
booktitle = {ICSE},
crossref = {conf/icse/2013},
editor = {Notkin, David and Cheng, Betty H. C. and Pohl, Klaus},
ee = {http://dl.acm.org/citation.cfm?id=2486807},
interhash = {284bfa24a431e563e7dd3c567165d9f2},
intrahash = {b6e9c7daa1805aa5c59a1bb74c43e5c6},
isbn = {978-1-4673-3076-3},
keywords = {dblp},
pages = {132-141},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T05:37:17.000+0200},
title = {Feedback-directed unit test generation for C/C++ using concolic execution.},
url = {http://dblp.uni-trier.de/db/conf/icse/icse2013.html#GargIBMG13},
year = 2013
}