home	education	contact	library	calendar	search
	about us	research	people	archive	services	jobs

technical reports : dr. A.I. Baars

select other reports

• technical report index page
• below : list of indexed authors

this selection

author	dr. A.I. Baars

reports (4)

techrep_id	file	title / author
UU-CS-2011-005	pdf	CTy: a Haskell DSL for Specifying and Generating Combinatoric Test-cases I. S. W. B. Prasetya, J. Amorim, T. E. J. Vos, and A. Baars
UU-CS-2008-021	pdf	Typed Transformations of Typed Abstract Syntax Arthur Baars, Doaitse Swierstra
UU-CS-2007-037	pdf	Trace-based Reflexive Testing of OO Programs I.S.W.B. Prasetya, T.E.J. Vos, A. Baars
UU-CS-2005-025	pdf	Preserving order in non-order preserving parsers Rui Guerra, Arthur I. Baars, S. Doaitse Swierstra, and João Saraiva

indexed (co) authors

author		group
Baars, dr. A.I.	all reports	software technology	all reports
Guerra, R.M.	all reports	software technology	all reports
Prasetya, dr. S.W.B.	all reports	software technology	all reports
Saraiva, dr. J.	all reports	software technology	all reports
Swierstra, prof. dr. (em.) S.D.	all reports	software technology	all reports
Vos, dr. T.E.J.	all reports	software technology	all reports

BibTeX entries

@TECHREPORT{UUCS2011005,
author = {Prasetya, I.~S.~W.~B. and Amorim, J. and Vos, T.~E.~J. and Baars, A.},
year = 2011,
title = {CTy: a Haskell DSL for Specifying and Generating Combinatoric Test-cases},
number = {UU-CS-2011-005},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2011/2011-005.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2008021,
author = {Baars, Arthur and Swierstra, Doaitse},
year = 2008,
title = {Typed Transformations of Typed Abstract Syntax},
number = {UU-CS-2008-021},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-021.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2007037,
author = {Prasetya, I.S.W.B. and Vos, T.E.J. and Baars, A.},
year = 2007,
title = {Trace-based Reflexive Testing of OO Programs},
number = {UU-CS-2007-037},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2007/2007-037.pdf}},
pubcat = {techreport}
}

@TECHREPORT{UUCS2005025,
author = {Guerra, Rui and Baars, Arthur~I. and Swierstra, S.~Doaitse and Saraiva, João},
year = 2005,
title = {Preserving order in non-order preserving parsers},
number = {UU-CS-2005-025},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-025.pdf}},
pubcat = {techreport}
}