Prasetya, S.W.B., Amorim, J., Vos, T.E.J. & Baars, A. (2011). CTy: a Haskell DSL for Specifying and Generating Combinatoric Test-cases. : Department of Information and Computing Sciences, Utrecht University.
|
Vos, T.E.J., Tonella, P, Wegener, J, Prasetya, I.S.W.B., Puoskari, E & Buchbinder, Y (2011). Future Internet Testing with FITTEST. In 15th European Conference on Software Maintenance and Reengineering. IEEE.
|
Prasetya, I.S.W.B., Amorim, J., Vos, T.E.J. & Baars, A. Using Haskell to Script Combinatoric Testing of Web Services. In 6th Conferencia Iberica de Sistemas y Tecnologias de Informacion (CISTI'2011). IEEE.
|
Prasetya, S.W.B., Vos, T.E.J. & Baars, A.I. (2008). Trace-based Reflexive Testing of OO Programs with T2. In ICST '08: Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation. IEEE.
|
Prasetya, I.S.W.B. & Vos, T.E.J. (2008). Patterns for In-code Algebraic Testing. (UU-CS2008-037 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Prasetya, I.S.W.B., Vos, T.E.J. & Baars, A.I. (2007). Trace-based Reflexive Testing of OO Programs. (UU-CS2007-037 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Prasetya, I.S.W.B., Azurat, A., Vos, T.E.J. & Leeuwen, A.J. van (2006). Incremental Implementation of Syntax Driven Logics. Journal of Software, 1(3), 1-13.
|
Prasetya, I.S.W.B., Vos, T.E.J. & Swierstra, S.D. (2006). Web Cubes. In E Najm & J.F. Pradat-Peyre (Eds.), Proceedings of 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE) Vol. 4229. Lecture Notes in Computer Science (pp. 77-92). Springer.
|
Prasetya, I.S.W.B., Vos, T.E.J., Azurat, A. & Swierstra, S.D. (2005). A UNITY-based Framework towards Component Based Systems. In T. Higashino (Ed.), Proceedings of 8th International Conference on Principles of Distributed Systems (OPODIS) (pp. 52-66). Berlin: Springer-Verlag.
|
Prasetya, I.S.W.B., Azurat, A., Vos, T.E.J. & Leeuwen, A.J. van (2005). Building Verification Condition Generators by Compositional Extensions. In B.K. Aichernig & B. Beckert (Eds.), Proceedings of 3rd IEEE International Conference on Software Engineering and Formal Methods (pp. 220-230). IEEE Computer Society Press.
|
Vos, T.E.J. & Swierstra, S.D. (2005). Reusable Specifications and Proofs Through Parameterization and Refinement. In Proceedings of the 2nd International Conference on Computer Science and its applications.
|
Prasetya, I.S.W.B., Azurat, A., Vos, T.E.J., Leeuwen, A.J. van & Suhartanto, H. (2005). Theorem Prover Supported Logics for Small Imperative Languages. (UU-CS2005-046 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Azurat, A., Prasetya, I.S.W.B., Vos, T.E.J., Suhartanto, H., Widjaja, B., Stefanus, L. Y., Wenang, R., Aminah, S. & Bong, J. (2005). Towards Automated Verification of Database Scripts. In Proceedings of 18th International Conference on Theorem Proving in Higher Order Logics (Track Emerging Trends).
|
Prasetya, I.S.W.B., Vos, T.E.J., Swierstra, S.D. & Widjaja, B. (2005). Web Cube: a Programming Model for Reliable Web Applications. (UU-CS2005-002 ). onbekend: UU WINFI Informatica en Informatiekunde.
|
Prasetya, I.S.W.B., Azurat, A. & Vos, T.E.J. (2004). Building Verification Condition Generators by Compositional Extensions. (UU-CS2004-054 ). Utrecht: Utrecht University: Information and Computing Sciences.
|
Vos, T.E.J. & Swierstra, S.D. (2004). Facilitating the Verification of Diffusing Computations and Their Applications. In M. Solar, D. Fernández-Baca & E. Cuadros-Vargas (Eds.), Proceedings of the 30ma Conferencia Latinoamericana de Informática (pp. 42-53).
|
Prasetya, I.S.W.B., Vos, T.E.J. & Swierstra, S.D. (2004). Introduction to Correctness Approach in Programming, Lecture Notes. Universiteit Utrecht, Instituut Informatica en Informatiekun.
|
Prasetya, I.S.W.B., Vos, T.E.J., Azurat, A. & Swierstra, S.D. (2003). !UNITY: A HOL Theory of General UNITY. In D. Basin & B. Wolff (Eds.), Emerging Trends Proceedings of 16th International Conference, Theorem Proving in Higher Order Logics (TPHOL) (pp. 159-176).
|
Prasetya, I.S.W.B., Vos, T.E.J., Swierstra, S.D. & Widjaja, B. (2003). A Theory for Composing Distributed Components Based on Temporary Interface. In Hung.Dang Van & Zhiming Liu (Eds.), Proceedings of the Workshop on Formal Aspects of Component Software (FACS).
|
Prasetya, I.S.W.B., Vos, T.E.J., Swierstra, S.D. & Widjaja, B. (2003). A Theory for Composing Distributed Components Based on Temporary Interface. In 3rd International Workshop on Composition Languages.
|
Prasetya, I.S.W.B., Vos, T.E.J., Azurat, A. & Swierstra, S.D. (2003). A UNITY-based Framework towards Component Based Systems. (UU-CS2003-043 ). Utrecht: Utrecht University: Information and Computing Sciences.
|
Vos, T.E.J. & Swierstra, S.D. (2000). Sequential program composition in Unity. (UU-CS2000-10 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Prasetya, I.S.W.B., Vos, T.E.J., Azurat, A. & Swierstra, S.D. (2002). !UNITY: A Theory of General UNITY. (UU-CS2002-025 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Vos, T.E.J. & Swierstra, S.D. Inductive data types with negative occurences in HOL. Edinburgh, UK, Workshop on Thirty Five years of Automath.
|
Prasetya, I.S.W.B., Vos, T.E.J. & Swierstra, S.D. (2002). Introduction to Correctness Approach in Programming, Lecture Notes. Universiteit Utrecht, Instituut Informatica en Informatiekun.
|
Vos, T.E.J., Swierstra, S.D. & Prasetya, I.S.W.B. (2002). Yet Another Program Refinement Relation. In International Workshop on Refinement of Critical Systems: Methods, Tools and Experience.
|
Vos, T.E.J. & Swierstra, S.D. (2001). Program refinement in UNITY. (UU-CS2001-41 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Vos, T.E.J. & Swierstra, S.D. (2001). Proving distributed hylomorphisms. (UU-CS2001-40 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Vos, T.E.J. & Swierstra, S.D. (2000). Defining a non-concrete recursive type in HOL which includes sets. (UU-CS2000-09 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Vos, T.E.J. & Swierstra, S.D. (2000). Sequential program composition in Unity. (UU-CS2000-10 ). Utrecht, The Netherlands: Utrecht University: Information and Computing Sciences.
|
Vos, T.E.J. (2000, January 10). Unity in Diversity: A stratified Approach to the Verification of Distributed Algorithms. Utrecht University (300 pag.) (Rotterdam: Optima). Prom./coprom.: prof. dr. S.D. Swierstra & prof. dr. J-J.Ch. Meyer.
|
Vos, T.E.J. (1999). Unity in Diversity. A Stratified Approach to the Verification of Distributed Algorithms. In Unity in Diversity. A Stratified Approach to the Verification of Distributed Algorithms.
|
Vos, T.E.J. & Swierstra, S.D. (1997). Make your enemies transparent. In R.H. Mohring (Ed.), Proceedings of 23rd International Workshop on Graph-Theoretic Concepts in Computer Science Vol. 1335. Lecture Notes in Computer Science (pp. 342-353). Berlin-Heidelberg: Springer-Verlag.
|
Vos, T.E.J., Swierstra, S.D. & Prasetya, I.S.W.B. (1996). Formal methods and mechanical verification applied to the development of a convergent distributed sorting program. (UU-CS1996-37 ). Utrecht, the Netherlands: Utrecht University: Information and Computing Sciences.
|
webmaster@cs.uu.nl,
Sat, 18 May 2013 14:51:49 +0200
←
Departement Informatica, Universiteit Utrecht