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
« February 2020 »
February
MoTuWeThFrSaSu
12
3456789
10111213141516
17181920212223
242526272829