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 2018 »
February
MoTuWeThFrSaSu
1234
567891011
12131415161718
19202122232425
262728