KKD10.bib
KKD10.bib
—
Bibtex bibliographic data,
370 bytes
File contents
@InProceedings{KKD10,
author={Y.~Kim and M.~Kim and N.~Dang},
title="Scalable Distributed Concolic Testing: a Case Study on a Flash Storage Platform",
booktitle="International Conference on Theoretical Aspects of Computing (ICTAC) Grand Challenge in Verified Software Track",
pages="199--213",
year=2010,
month="September 1-3",
address="Natal, Brazil"
}
