I. S. W. B. Prasetya
Orcid: 0000-0002-3421-4635
According to our database1,
I. S. W. B. Prasetya
authored at least 66 papers
between 1993 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Sci. Comput. Program., 2024
An Industrial Experience Leveraging the iv4XR Framework for BDD Testing of a 3D Sandbox Game.
Proceedings of the Research Challenges in Information Science, 2024
2023
Proceedings of the Fundamental Approaches to Software Engineering, 2023
2022
An online agent-based search approach in automated computer game testing with model construction.
Proceedings of the 13th International Workshop on Automating Test Case Design, 2022
Proceedings of the 13th International Workshop on Automating Test Case Design, 2022
2021
Softw. Syst. Model., 2021
Proceedings of the Search-Based Software Engineering - 13th International Symposium, 2021
Proceedings of the A-TEST 2021: Proceedings of the 12th International Workshop on Automating TEST Case Design, 2021
An Agent-based Architecture for AI-Enhanced Automated Testing for XR Systems, a Short Paper.
Proceedings of the 14th IEEE International Conference on Software Testing, 2021
An Appraisal Transition System for Event-Driven Emotions in Agent-Based Player Experience Testing.
Proceedings of the Engineering Multi-Agent Systems - 9th International Workshop, 2021
2020
Automating TEST Case Design, Selection and Evaluation Report on 10 Editions of A-TESTWorkshop.
ACM SIGSOFT Softw. Eng. Notes, 2020
Proceedings of the A-TEST 2020: Proceedings of the 11th ACM SIGSOFT International Workshop on Automating TEST Case Design, 2020
Proceedings of the 13th IEEE International Conference on Software Testing, 2020
Proceedings of the 13th IEEE International Conference on Software Testing, 2020
Proceedings of the Engineering Multi-Agent Systems - 8th International Workshop, 2020
Tutorial on a Gamification Toolset for Improving Engagement of Students in Software Engineering Courses.
Proceedings of the 32nd IEEE Conference on Software Engineering Education and Training, 2020
Proceedings of the 19th International Conference on Autonomous Agents and Multiagent Systems, 2020
2019
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019
Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019
Proceedings of the Product-Focused Software Process Improvement, 2019
Proceedings of the 41st International Conference on Software Engineering: Software Engineering Education and Training, 2019
Random testing with austere budgeting in T3: benchmarking at SBST2019 testing tool contest.
Proceedings of the 12th International Workshop on Search-Based Software Testing, 2019
2018
Highly Relevant Routing Recommendation Systems for Handling Few Data Using MDL Principle.
CoRR, 2018
A mirroring architecture for sophisticated mobile games using computation-offloading.
Concurr. Comput. Pract. Exp., 2018
Proceedings of the 18th IEEE International Working Conference on Source Code Analysis and Manipulation, 2018
Proceedings of the Testing Software and Systems, 2018
Search-Based Test Data Generation for JavaScript Functions that Interact with the DOM.
Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018
Proceedings of the 11th International Workshop on Search-Based Software Testing, 2018
2017
Wiki-MetaSemantik: A Wikipedia-derived Query Expansion Approach based on Network Properties.
CoRR, 2017
Proceedings of the 18th IEEE International Symposium on A World of Wireless, 2017
Proceedings of the Hardware and Software: Verification and Testing, 2017
2016
Proceedings of the Simulation and Modeling Methodologies, Technologies and Applications, 2016
Proceedings of the 6th International Conference on Simulation and Modeling Methodologies, 2016
Budget-aware random testing with T3: benchmarking at the SBST2016 testing tool contest.
Proceedings of the 9th International Workshop on Search-Based Software Testing, 2016
2015
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
Proceedings of the 8th IEEE/ACM International Workshop on Search-Based Software Testing, 2015
Proceedings of the 8th IEEE/ACM International Workshop on Search-Based Software Testing, 2015
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015
An MDL-Based Frequent Itemset Hierarchical Clustering Technique to Improve Query Search Results of an Individual Search Engine.
Proceedings of the Information Retrieval Technology, 2015
2014
Proceedings of the 9th International Workshop on Automation of Software Test, 2014
FITTEST: A new continuous and automated testing process for future Internet applications.
Proceedings of the 2014 Software Evolution Week, 2014
2013
Proceedings of the Future Internet Testing - First International Workshop, 2013
Proceedings of the Future Internet Testing - First International Workshop, 2013
Proceedings of the Future Internet Testing - First International Workshop, 2013
Proceedings of the Testing Software and Systems, 2013
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
2011
Proceedings of the Implementation and Application of Functional Languages, 2011
Proceedings of the 15th European Conference on Software Maintenance and Reengineering, 2011
2008
Proceedings of the First International Conference on Software Testing, 2008
2006
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006
2005
Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005
2004
Proceedings of the Principles of Distributed Systems, 8th International Conference, 2004
2003
1997
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1997
1994
Formal Aspects Comput., 1994
Towards a Mechanically Supported and Compositional Calculus to Design Destributed Algorithms.
Proceedings of the Higher Order Logic Theorem Proving and Its Applications, 1994
1993
Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993
Formalization of Variables Access Constraints to Support Compositionality of Liveness Properties.
Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1993