English
Related papers

Related papers: Agent-Based Software Testing: A Definition and Sys…

200 papers

Agent-based modelling (ABM), simulation (ABS), and distributed computation (ABC) are established methods. The Internet and Web-based technologies are suitable carriers. This paper is a technical report with some tutorial aspects of the…

Artificial Intelligence · Computer Science 2022-07-26 Stefan Bosse

This short paper presents an architectural overview of an agent-based framework called iv4XR for automated testing that is currently under development by an H2020 project with the same name. The framework's intended main use case of is…

Software Engineering · Computer Science 2021-04-14 I. S. W. B. Prasetya , Samira Shirzadehhajimahmood , Saba Gholizadeh Ansari , Pedro Fernandes , Rui Prada

The rise of AI agents is transforming how software can be built. The promise of agents is that developers might write code quicker, delegate multiple tasks to different agents, and even write a full piece of software purely out of natural…

Software Engineering · Computer Science 2025-12-17 Ruanqianqian Huang , Avery Reyna , Sorin Lerner , Haijun Xia , Brian Hempel

Probabilistic model checking is a technique for formal automated reasoning about software or hardware systems that operate in the context of uncertainty or stochasticity. It builds upon ideas and techniques from a diverse range of fields,…

Logic in Computer Science · Computer Science 2023-08-08 David Parker

Computer games are very challenging to handle for traditional automated testing algorithms. In this paper we will look at intelligent agents as a solution. Agents are suitable for testing games, since they are reactive and able to reason…

The proponents of Aspect Oriented Software Development (AOSD) methodology have done a tremendous amount of work to bring out the positive effects of its adoption using quantitative assessment. A structured assessment of the methodology…

Software Engineering · Computer Science 2020-10-20 Senthil Velan S

Cellular Agent-Based Models are commonly employed to describe a variety biological systems. Over the course of the past years, many modeling tools have emerged which solve particular research questions. In this short opinion piece, we argue…

Cell Behavior · Quantitative Biology 2025-11-18 Jonas Pleyer

Static Application Security Testing (SAST) is a popular quality assurance technique in software engineering. However, integrating SAST tools into industry-level product development and security assessment poses various technical and…

Software Engineering · Computer Science 2021-03-25 Anh Nguyen-Duc , Manh Viet Do , Quan Luong Hong , Kiem Nguyen Khac

Over the years, research in system identification has provided a rich set of methods for learning dynamical models, together with well-established theoretical guarantees. In practice, however, the choice of model class, training algorithm,…

Artificial Intelligence · Computer Science 2026-05-12 Dario Piga , Marco Forgione

In the software industry, artificial intelligence (AI) has been utilized more and more in software development activities. In some activities, such as coding, AI has already been an everyday tool, but in software testing activities AI it…

Software Engineering · Computer Science 2025-04-08 Katja Karhu , Jussi Kasurinen , Kari Smolander

Modal testing plays a critical role in structural analysis by providing essential insights into dynamic behaviour across a wide range of engineering industries. In practice, designing an effective modal test campaign involves complex…

Machine Learning · Computer Science 2025-08-21 Collins O. Ogbodo , Timothy J. Rogers , Mattia Dal Borgo , David J. Wagg

With software maintenance accounting for 50% of the cost of developing software, enhancing code quality and reliability has become more critical than ever. In response to this challenge, this doctoral research proposal aims to explore…

Software Engineering · Computer Science 2024-06-25 Fernando Vallecillos Ruiz

LLM-based agents are rapidly being adopted across diverse domains. Since they interact with users without supervision, they must be tested extensively. Current testing approaches focus on acceptance-level evaluation from the user's…

Search-based software testing (SBST) is now a mature area, with numerous techniques developed to tackle the challenging task of software testing. SBST techniques have shown promising results and have been successfully applied in the…

Software Engineering · Computer Science 2023-12-06 Neelofar Neelofar , Kate Smith-Miles , Mario Andres Munoz , Aldeida Aleti

Mobile agent technology offers a dramatically evolving computing paradigm in which a program, in the form of a software agent, can suspend its execution on a host computer, transfers itself to another agent-enabled host on the network, and…

Cryptography and Security · Computer Science 2014-10-16 Belal Amro

Agent-based modeling (ABM) is a well-established paradigm for simulating complex systems via interactions between constituent entities. Machine learning (ML) refers to approaches whereby statistical algorithms 'learn' from data on their…

Quantitative Methods · Quantitative Biology 2022-11-10 Nikita Sivakumar , Cameron Mura , Shayn M. Peirce

World wide technological advancement has brought in a widespread change in adoption and utilization of open source tools. Since, most of the organizations across the globe deal with a large amount of data to be updated online and…

Databases · Computer Science 2012-10-04 Sharon Christa , K. Lakshmi Madhuri , V. Suma

Agent-based modeling and simulation has evolved as a powerful tool for modeling complex systems, offering insights into emergent behaviors and interactions among diverse agents. Integrating large language models into agent-based modeling…

Artificial Intelligence · Computer Science 2023-12-20 Chen Gao , Xiaochong Lan , Nian Li , Yuan Yuan , Jingtao Ding , Zhilun Zhou , Fengli Xu , Yong Li

There is an overlooked iceberg of problems in end user computing. Spreadsheets are developed by people who are very skilled in their main job function, be it finance, procurement, or production planning, but often have had no formal…

Human-Computer Interaction · Computer Science 2008-06-03 Pat Cleary , Dr David Ball , Mukul Madahar , Simon Thorne , Christopher Gosling , Karen Fernandez

Agent Based Modelling (ABM) is a computational framework for simulating the behaviours and interactions of autonomous agents. As Agent Based Models are usually representative of complex systems, obtaining a likelihood function of the model…

Artificial Intelligence · Computer Science 2021-07-09 D. Townsend