Department of Information and Computing Sciences

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

technical reports : dr. T.E.J. Vos

Tanja  Vos

select other reports

this selection

author dr. T.E.J. Vos

reports (16)

techrep_id file title / author
UU-CS-2014-011 pdf Evaluating Rogue User Testing in Industry: an Experience Report
Sebastian Bauersfeld, Antonio de Rojas and Tanja Vos
UU-CS-2014-010 pdf Evaluating Rogue User an Industrial Case Study at Softeam
Sebastian Bauersfeld, Nelly Condori-Fernandez, Tanja Vos, Etienne Brosse and Alessandra Bagnato
UU-CS-2014-009 pdf Evaluating the FITTEST Automated Testing Tools in SOFTEAM: an Industrial Case Study
Etienne Brosse, Alessandra Bagnato, Tanja Vos and Nelly Condori
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-037 pdf Patterns for In-code Algebraic Testing
Wishnu Prasetya and Tanja Vos
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-046 pdf Theorem Prover Supported Logics for Small Imperative Languages
I.S.W.B. Prasetya, A. Azurat, T.E.J. Vos, A. van Leeuwen, H. Suhartanto
UU-CS-2005-002 pdf Web Cube: a Programming Model for Reliable Web Applications
I.S.W.B. Prasetya, T.E.J. Vos, S.D. Swierstra, B. Widjaja
UU-CS-2004-054 pdf Building Verification Condition Generators by Compositional Extensions
I. S. W. B. Prasetya, A. Azurat, and T.E.J. Vos
UU-CS-2003-043 pdf A UNITY-based Framework towards Component Based Systems
I.S.W.B. Prasetya, T.E.J. Vos, A. Azurat, and S.D. Swierstra
UU-CS-2002-025 pdf !UNITY: A Theory of General UNITY
I.S.W.B. Prasetya, T.E.J. Vos, A. Azurat, S.D. Swierstra
UU-CS-2001-41 ps.gz
pdf
Program refinement in UNITY
T.E.J. Vos and S.D. Swierstra
UU-CS-2001-40 pdf Proving distributed hylomorphisms
T.E.J. Vos, S.D. Swierstra
UU-CS-2000-10 ps.gz
pdf
Sequential program composition in Unity
T.E.J. Vos, S. D. Swierstra
UU-CS-2000-09 ps.gz
pdf
Defining a non-concrete recursive type in HOL which includes sets
T.E.J. Vos, S. D. Swierstra
UU-CS-1996-37 ps.gz
pdf
Formal methods and mechanical verification applied to the development of a convergent distributed sorting program
T.E.J. Vos, S. D. Swierstra, S. W. B. Prasetya

indexed (co) authors

author group
Azurat, A. all reports Software Technology all reports
Baars, dr. A.I. all reports Software Technology all reports
Leeuwen, drs. A.J. van all reports Software Technology all reports
Prasetya, dr. S.W.B. 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{UUCS2014011,
author = {Bauersfeld, Sebastian and Rojas, Antonio~de and Vos, Tanja~},
year = 2014,
title = {Evaluating Rogue User Testing in Industry: an Experience Report},
number = {UU-CS-2014-011},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-011.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014010,
author = {Bauersfeld, Sebastian and Condori-Fernandez, Nelly and Vos, Tanja~ and Brosse, Etienne and Bagnato, Alessandra},
year = 2014,
title = {Evaluating Rogue User  an Industrial Case Study at Softeam},
number = {UU-CS-2014-010},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-010.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2014009,
author = {Brosse, Etienne and Bagnato, Alessandra and Vos, Tanja and Condori, Nelly},
year = 2014,
title = {Evaluating the FITTEST Automated Testing Tools in SOFTEAM: an Industrial Case Study},
number = {UU-CS-2014-009},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2014/2014-009.pdf}},
pubcat = {techreport}
}
@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{UUCS2008037,
author = {Prasetya, Wishnu and Vos, Tanja},
year = 2008,
title = {Patterns for In-code Algebraic Testing},
number = {UU-CS-2008-037},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-037.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{UUCS2005046,
author = {Prasetya, I.S.W.B. and Azurat, A. and Vos, T.E.J. and Leeuwen, A.~van and Suhartanto, H.},
year = 2005,
title = {Theorem Prover Supported Logics for Small Imperative Languages},
number = {UU-CS-2005-046},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-046.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2005002,
author = {Prasetya, I.S.W.B. and Vos, T.E.J. and Swierstra, S.D. and Widjaja, B.},
year = 2005,
title = {Web Cube: a Programming Model for Reliable Web Applications},
number = {UU-CS-2005-002},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2005/2005-002.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2004054,
author = {Prasetya, I.~S.~W.~B. and Azurat, A. and Vos, T.E.J.},
year = 2004,
title = {Building Verification Condition Generators by Compositional Extensions},
number = {UU-CS-2004-054},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2004/2004-054.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2003043,
author = {Prasetya, I.S.W.B. and Vos, T.E.J. and Azurat, A. and Swierstra, S.D.},
year = 2003,
title = {A UNITY-based Framework towards Component Based Systems},
number = {UU-CS-2003-043},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2003/2003-043.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS2002025,
author = {Prasetya, I.S.W.B. and Vos, T.E.J. and Azurat, A. and Swierstra, S.D.},
year = 2002,
title = {!UNITY: A Theory of General UNITY},
number = {UU-CS-2002-025},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2002/2002-025.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200141,
author = {Vos, T.E.J. and Swierstra, S.D.},
year = 2001,
title = {Program refinement in UNITY},
number = {UU-CS-2001-41},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-41.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-41.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200140,
author = {Vos, T.E.J. and Swierstra, S.D.},
year = 2001,
title = {Proving distributed hylomorphisms},
number = {UU-CS-2001-40},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2001/2001-40.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200010,
author = {Vos, T.E.J. and Swierstra, S.~D.},
year = 2000,
title = {Sequential program composition in Unity},
number = {UU-CS-2000-10},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-10.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-10.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS200009,
author = {Vos, T.E.J. and Swierstra, S.~D.},
year = 2000,
title = {Defining a non-concrete recursive type in HOL which includes sets},
number = {UU-CS-2000-09},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-09.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-2000/2000-09.pdf}},
pubcat = {techreport}
}
@TECHREPORT{UUCS199637,
author = {Vos, T.E.J. and Swierstra, S.~D. and Prasetya, S.~W.~B.},
year = 1996,
title = {Formal methods and mechanical verification applied to the development of a convergent distributed sorting program},
number = {UU-CS-1996-37},
institution = {Department of Information and Computing Sciences, Utrecht University},
urlps = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-37.ps.gz}},
urlpdf = {{http://www.cs.uu.nl/research/techreps/repo/CS-1996/1996-37.pdf}},
pubcat = {techreport}
}