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

KHH09.bib

KHH09.bib — Bibtex bibliographic data, 318 bytes

File contents

@InProceedings{KHH09b,
	author={M.~Kim and S.~Hong and C~.Hong and T.~Kim},
	title="Model-based Kernel Testing for Concurrency Bugs through Counter Example Replay",
	booktitle="Model-based Testing",
	series=ENTCS,
	volume=253,
	issue=2,
	pages="21--36",
	year=2009,
	month="March",
	address="York, UK"
}

Document Actions