I. S. W. B. Prasetya

19 papers and 32 indexed citations i.

I. S. W. B. Prasetya has authored 19 papers that have received a total of 32 indexed citations. This includes 11 papers in Artificial Intelligence, 10 papers in Software and 9 papers in Information Systems. The topics of these papers are Software Testing and Debugging Techniques (9 papers), Formal Methods in Verification (5 papers) and Software Engineering Research (5 papers). I. S. W. B. Prasetya is often cited by papers focused on Software Testing and Debugging Techniques (9 papers), Formal Methods in Verification (5 papers) and Software Engineering Research (5 papers) and collaborates with scholars based in The Netherlands, Spain and Sweden. I. S. W. B. Prasetya's co-authors include Tanja E. J. Vos, Mehdi Dastani, Joseph K. Davidson, Nelly Condori-Fernández and Gabriele Keller and has published in prestigious journals such as Theoretical Computer Science, Journal of Systems and Software and Concurrency and Computation Practice and Experience.