| T3, a combinator-based random testing tool for java: benchmarking ISWB Prasetya Future Internet Testing: First International Workshop, FITTEST 2013 …, 2014 | 43 | 2014 |
| 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 | 37 | 2008 |
| Mechanically supported design of self-stabilizing algorithms ISWB Prasetya Universiteit Utrecht, Faculteit Wiskunde en Informatica, 1995 | 37 | 1995 |
| 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 | 29 | 2015 |
| Unit Testing Tool Competition – Round Three U Rueda, TEJ Vos, ISWB Prasetya IEEE/ACM 8th International Workshop on Search-Based Software Testing (SBST), 2015 | 27 | 2015 |
| 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 | 24* | 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 | 23 | 2019 |
| A survey on embedding programming logics in a theorem prover A Azurat, I Prasetya | 20 | 2002 |
| Error in the UNITY substitution rule for subscripted operators I Prasetya Formal Aspects of Computing 6, 466-470, 1994 | 20 | 1994 |
| 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 | 19 | 2014 |
| 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 | 17 | 2011 |
| 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 | 16 | 2020 |
| 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 | 15 | 2013 |
| Functional instrumentation of actionscript programs with asil A Middelkoop, AB Elyasov, W Prasetya Implementation and Application of Functional Languages: 23rd International …, 2012 | 15 | 2012 |
| 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 | 14 | 2021 |
| Formalization of variables access constraints to support compositionality of liveness properties I Prasetya Higher Order Logic Theorem Proving and Its Applications: 6th International …, 1994 | 14 | 1994 |
| Mechanically verified self-stabilizing hierarchical algorithms I Prasetya International Workshop on Tools and Algorithms for the Construction and …, 1997 | 13 | 1997 |
| An agent-based approach to automated game testing: an experience report I Prasetya, F Pastor Ricós, FM Kifetew, D Prandi, ... Proceedings of the 13th International Workshop on Automating Test Case …, 2022 | 12 | 2022 |
| 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 | 12 | 2016 |
| 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 | 11 | 2021 |
Tanja E. J. VosUniversitat Poltecnica de ValenciaVerified email at dsic.upv.es
