Seguir
Wishnu Prasetya
Wishnu Prasetya
Otros nombresI.S.W.B. Prasetya
Dept. Inf. & Comp. Sciences, Utrecht University
Dirección de correo verificada de uu.nl - Página principal
Título
Citado por
Citado por
Año
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
212019
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
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20