Inproceedings,
Random testing for higher-order, stateful programs.
C. Klein, M. Flatt, and R. Findler.OOPSLA, page 555-566. ACM, (2010)
Meta data
- BibTeX key
- conf/oopsla/KleinFF10
- entry type
- inproceedings
- booktitle
- OOPSLA
- year
- 2010
- pages
- 555-566
- publisher
- ACM
- crossref
- conf/oopsla/2010
- ee
- https://doi.org/10.1145/1932682.1869505
- isbn
- 978-1-4503-0203-6
- url
- http://dblp.uni-trier.de/db/conf/oopsla/oopsla2010.html#KleinFF10
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/oopsla/KleinFF10
%A Klein, Casey
%A Flatt, Matthew
%A Findler, Robert Bruce
%B OOPSLA
%D 2010
%E Cook, William R.
%E Clarke, Siobhán
%E Rinard, Martin C.
%I ACM
%K dblp
%P 555-566
%T Random testing for higher-order, stateful programs.
%U http://dblp.uni-trier.de/db/conf/oopsla/oopsla2010.html#KleinFF10
%@ 978-1-4503-0203-6
@inproceedings{conf/oopsla/KleinFF10,
added-at = {2021-06-22T00:00:00.000+0200},
author = {Klein, Casey and Flatt, Matthew and Findler, Robert Bruce},
biburl = {https://www.bibsonomy.org/bibtex/2e4261afd43d7ea70797571b2fd091c20/dblp},
booktitle = {OOPSLA},
crossref = {conf/oopsla/2010},
editor = {Cook, William R. and Clarke, Siobhán and Rinard, Martin C.},
ee = {https://doi.org/10.1145/1932682.1869505},
interhash = {0b52b60a8d40e7b07d2bb5b49490b1d1},
intrahash = {e4261afd43d7ea70797571b2fd091c20},
isbn = {978-1-4503-0203-6},
keywords = {dblp},
pages = {555-566},
publisher = {ACM},
timestamp = {2024-04-09T11:47:01.000+0200},
title = {Random testing for higher-order, stateful programs.},
url = {http://dblp.uni-trier.de/db/conf/oopsla/oopsla2010.html#KleinFF10},
year = 2010
}