I. S. W. B. Prasetya

T3i: a tool for generating and querying test suites for Java

I. S. W. B. Prasetya · 2015 · 21 citations · Full text

Computing, Computer Science, Formal Methods +14

An agent-based approach to automated game testing: an experience report

I. S. W. B. Prasetya, Fernando Pastor Ricós, Fitsum Meshesha Kifetew et al. · 2022 · 19 citations · Full text

Computing, Computer Science, Artificial Intelligence +14

Using an agent-based approach for robust automated testing of computer games

Samira Shirzadehhajimahmood, I. S. W. B. Prasetya, Frank Dignum et al. · 2021 · 15 citations

Computing, Computer Science, Artificial Intelligence +14

Unit Testing Tool Competition -- Round Three

Urko Rueda, Tanja E. J. Vos, I. S. W. B. Prasetya · 2015 · 15 citations

Computing, Computer Science, Software Engineering +10

A survey on embedding programming logics in a theorem prover

Ade Azurat, I. S. W. B. Prasetya · 2002 · 13 citations · Full text

Computing, Computer Science, Formal Methods +12