Personal tools
You are here: Home Publications bibtex KKD10.bib

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"
}
Document Actions
« September 2017 »
September
MoTuWeThFrSaSu
123
45678910
11121314151617
18192021222324
252627282930