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
« November 2017 »
November
MoTuWeThFrSaSu
12345
6789101112
13141516171819
20212223242526
27282930