Wishnu Prasetya
Wishnu Prasetya
Dept. Inf. & Comp. Sciences, Utrecht University
Verified email at uu.nl - Homepage
TitleCited byYear
Mechanically supported design of self-stabilizing algorithms
ISWB Prasetya
361995
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
342008
T3, a combinator-based random testing tool for Java: Benchmarking
ISWB Prasetya
International Workshop on Future Internet Testing, 101-110, 2013
282013
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
222015
Unit Testing Tool Competition – Round Three
U Rueda, TEJ Vos, ISWB Prasetya
IEEE/ACM 8th International Workshop on Search-Based Software Testing (SBST), 2015
202015
A survey on embedding programming logics in a theorem prover
A Azurat, I Prasetya
192002
Error in the UNITY substitution rule for subscripted operators
I Prasetya
Formal Aspects of Computing 6 (4), 466-470, 1994
181994
Guided algebraic specification mining for failure simplification
A Elyasov, ISWB Prasetya, J Hage
IFIP International Conference on Testing Software and Systems, 223-238, 2013
132013
Functional instrumentation of actionscript programs with asil
A Middelkoop, AB Elyasov, W Prasetya
International Symposium on Implementation and Application of Functional …, 2011
132011
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
132011
Formalization of variables access constraints to support compositionality of liveness properties
I Prasetya
HOL Users' Group Workshop, 324-337, 1993
131993
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
122014
Mechanically verified self-stabilizing hierarchical algorithms
I Prasetya
International Workshop on Tools and Algorithms for the Construction and …, 1997
111997
Reduce first, debug later
A Elyasov, W Prasetya, J Hage, A Nikas
Proceedings of the 9th International Workshop on Automation of Software Test …, 2014
92014
Component-wise formal approach to design distributed systems
I Prasetya, SD Swierstra, B Widjaja
Dept. of Information and Computing Sciences Utrecht University, 2000
8*2000
Testing of future internet applications running in the cloud
T Vos, P Tonella, J Wegener, M Harman, W Prasetya, S Ur
Software Testing in the Cloud: Perspectives on an Emerging Discipline, 305-321, 2013
72013
A unity-based framework towards component based systems
I Prasetya, TEJ Vos, A Azurat, SD Swierstra
International Conference On Principles Of Distributed Systems, 52-66, 2004
72004
Budget-aware random testing with T3: benchmarking at the SBST2016 testing tool contest
ISWB Prasetya
2016 IEEE/ACM 9th International Workshop on Search-Based Software Testing …, 2016
62016
A mirroring architecture for sophisticated mobile games using computation‐offloading
MH Jiang, OW Visser, I Prasetya, A Iosup
Concurrency and Computation: Practice and Experience 30 (17), e4494, 2018
52018
The FITTEST tool suite for testing future internet applications
TEJ Vos, P Tonella, ISWB Prasetya, PM Kruse, O Shehory, A Bagnato, ...
International Workshop on Future Internet Testing, 1-31, 2013
52013
The system can't perform the operation now. Try again later.
Articles 1–20