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
« October 2019 »
October
MoTuWeThFrSaSu
123456
78910111213
14151617181920
21222324252627
28293031