Department of Information and Computing Sciences

Departement Informatica contact intern
people education research library calendar archive services jobs

technical reports : A.B. Elyasov

Alex  Elyasov

select other reports

this selection

author A.B. Elyasov

reports (3)

techrep_id file title / author
UU-CS-2012-014 pdf FITTEST Log Format (version 1.1)
Wishnu Prasetya, Alexander Elyasov, Arie Middelkoop and Jurriaan Hage
UU-CS-2012-013 pdf Log-Based Reduction by Rewriting
Alexander Elyasov, Wishnu Prasetya and Jurriaan Hage
UU-CS-2012-012 pdf Using Sub-cases to Improve Log-based Oracles Inference
Wishnu Prasetya, Jurriaan Hage and Alexander Elyasov

indexed (co) authors

author group
Elyasov, A.B. all reports Software Technology all reports
Hage, dr. J. all reports Software Technology all reports
Middelkoop, dr. A. all reports Software Technology all reports
Prasetya, dr. S.W.B. all reports Software Technology all reports

BibTeX entries

@TECHREPORT{UUCS2012014,
author = {Prasetya, Wishnu and Elyasov, Alexander and Middelkoop, Arie and Hage, Jurriaan},
year = 2012,
title = {FITTEST Log Format (version 1.1)},
number = {UU-CS-2012-014},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-014.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012013,
author = {Elyasov, Alexander and Prasetya, Wishnu and Hage, Jurriaan},
year = 2012,
title = {Log-Based Reduction by Rewriting},
number = {UU-CS-2012-013},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-013.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2012012,
author = {Prasetya, Wishnu and Hage, Jurriaan and Elyasov, Alexander},
year = 2012,
title = {Using Sub-cases to Improve Log-based Oracles Inference},
number = {UU-CS-2012-012},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2012/2012-012.pdf}},
pubcat = {techreport}
}