Follow
Wishnu Prasetya
Wishnu Prasetya
Other namesI.S.W.B. Prasetya
Dept. Inf. & Comp. Sciences, Utrecht University
Verified email at uu.nl - Homepage
Title
Cited by
Cited by
Year
T3, a combinator-based random testing tool for java: benchmarking
ISWB Prasetya
Future Internet Testing: First International Workshop, FITTEST 2013 …, 2014
392014
Mechanically supported design of self-stabilizing algorithms
ISWB Prasetya
Universiteit Utrecht, Faculteit Wiskunde en Informatica, 1995
371995
Trace-based reflexive testing of OO programs with T2
W Prasetya, T Vos, A Baars
2008 1st International Conference on Software Testing, Verification, and …, 2008
362008
T3i: A tool for generating and querying test suites for java
ISWB Prasetya
Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015
292015
Unit Testing Tool Competition – Round Three
U Rueda, TEJ Vos, ISWB Prasetya
IEEE/ACM 8th International Workshop on Search-Based Software Testing (SBST), 2015
272015
Aplib: Tactical Agents for Testing Computer Games
ISWB Prasetya, M Dastani, R Prada, TEJ Vos, F Dignum, F Kifetew
8th International Workshop on Engineering Multi-Agent Systems (EMAS), 2020
21*2020
Having fun in learning formal specifications
ISWB Prasetya, C Leek, O Melkonian, J ten Tusscher, J van Bergen, ...
2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019
202019
A survey on embedding programming logics in a theorem prover
A Azurat, I Prasetya
202002
Error in the UNITY substitution rule for subscripted operators
I Prasetya
Formal Aspects of Computing 6, 466-470, 1994
201994
FITTEST: A new continuous and automated testing process for future internet applications
T Vos, P Tonella, W Prasetya, PM Kruse, A Bagnato, M Harman, ...
2014 Software Evolution Week-IEEE Conference on Software Maintenance …, 2014
192014
Future internet testing with fittest
TEJ Vos, P Tonella, J Wegener, M Harman, W Prasetya, E Puoskari, ...
Software Maintenance and Reengineering (CSMR), 2011 15th European Conference …, 2011
172011
Guided algebraic specification mining for failure simplification
A Elyasov, ISWB Prasetya, J Hage
Testing Software and Systems: 25th IFIP WG 6.1 International Conference …, 2013
152013
Functional instrumentation of actionscript programs with asil
A Middelkoop, AB Elyasov, W Prasetya
Implementation and Application of Functional Languages: 23rd International …, 2012
152012
Formalization of variables access constraints to support compositionality of liveness properties
I Prasetya
Higher Order Logic Theorem Proving and Its Applications: 6th International …, 1994
141994
Navigation and exploration in 3D-game automated play testing
ISWB Prasetya, M Voshol, T Tanis, A Smits, B Smit, J Mourik, M Klunder, ...
Proceedings of the 11th ACM SIGSOFT International Workshop on Automating …, 2020
132020
Mechanically verified self-stabilizing hierarchical algorithms
I Prasetya
International Workshop on Tools and Algorithms for the Construction and …, 1997
131997
Search-based automated play testing of computer games: A model-based approach
R Ferdous, F Kifetew, D Prandi, I Prasetya, S Shirzadehhajimahmood, ...
International Symposium on Search Based Software Engineering, 56-71, 2021
112021
Budget-aware random testing with T3: benchmarking at the SBST2016 testing tool contest
ISWB Prasetya
Proceedings of the 9th International Workshop on Search-Based Software …, 2016
112016
Using an agent-based approach for robust automated testing of computer games
S Shirzadehhajimahmood, I Prasetya, F Dignum, M Dastani, G Keller
Proceedings of the 12th International Workshop on Automating TEST Case …, 2021
102021
Reduce first, debug later
A Elyasov, W Prasetya, J Hage, A Nikas
Proceedings of the 9th International Workshop on Automation of Software Test …, 2014
102014
The system can't perform the operation now. Try again later.
Articles 1–20