Web Home

Wishnu Prasetya

My official dept. website.

My official univ. website.

Email: S.W.B.Prasetya@uu.nl

Thesis projects, STC, experimentation projects

• Open master thesis projects, in the field of automated testing and validation . See here for more information.
• Topics/papers for master students' Software Technology Colloquium talk.
• Experimentation Projects in automated testing, for master students.

Research

My interest is in: automated software testing and validation, program verification, and compositional approach in distributed programming. My current research activities:

• I participate in the European project FITTEST; my part is in developing a new log-based diagnosis approach for Internet applications.
• I wrote this: T2 Automated Testing Tool for Java.
• Publication
• Online technical reports
• My old phd thesis :)

Teaching

• Courses
• Working on material for Teaching kids programming. Frozen! haven't got the time
• Past and current Master Theses I supervised

Pastr research

• Web Cube: an experimental formal framework to develop web applications/services, implemented in Haskell.
• General UNITY: a HOL library of a more generic version of the formalism UNITY, which you can instantiate to your custom UNITY (and get all the inference rules proven in HOL for free). Paper | Download

• xMech: originally setup to integrate verification into compiler; the project was aborted A spin-off which is still maintained is a technique to build a syntax driven logic by composing features (which is a technique borrowed from compiler design).

• D6.1.pdf: FITTEST Logging Approach