Zobrazeno 1 - 10
of 379
pro vyhledávání: '"HIERONS, A. M."'
Random testing approaches work by generating inputs at random, or by selecting inputs randomly from some pre-defined operational profile. One long-standing question that arises in this and other testing contexts is as follows: When can we stop testin
Externí odkaz:
http://arxiv.org/abs/2405.17019
There has been a significant amount of interest regarding the use of diversity-based testing techniques in software testing over the past two decades. Diversity-based testing (DBT) technique uses similarity metrics to leverage the dissimilarity betwe
Externí odkaz:
http://arxiv.org/abs/2311.09714
Autor:
Clark, Andrew G., Foster, Michael, Prifling, Benedikt, Walkinshaw, Neil, Hierons, Robert M., Schmidt, Volker, Turner, Robert D.
From simulating galaxy formation to viral transmission in a pandemic, scientific models play a pivotal role in developing scientific theories and supporting government policy decisions that affect us all. Given these critical applications, a poor mod
Externí odkaz:
http://arxiv.org/abs/2209.00357
Autor:
Gazda, Maciej, Hierons, Robert M.
Publikováno v:
In Science of Computer Programming January 2025 239
Agent-based models play an important role in simulating complex emergent phenomena and supporting critical decisions. In this context, a software fault may result in poorly informed decisions that lead to disastrous consequences. The ability to rigor
Externí odkaz:
http://arxiv.org/abs/2103.07370
Runtime Verification (RV) is a lightweight formal technique in which program or system execution is monitored and analyzed, to check whether certain properties are satisfied or violated after a finite number of steps. The use of RV has led to interes
Externí odkaz:
http://arxiv.org/abs/2002.06737
Publikováno v:
In Robotics and Autonomous Systems July 2023 165
Autor:
Somers, Richard J., Douthwaite, James A., Wagg, David J., Walkinshaw, Neil, Hierons, Robert M.
Publikováno v:
In Information and Software Technology April 2023 156
Autor:
Gazda, Maciej, Hierons, Robert M
Publikováno v:
In Information and Computation March 2023 291
A program schema defines a class of programs, all of which have identical statement structure, but whose functions and predicates may differ. A schema thus defines an entire class of programs according to how its symbols are interpreted. A subschema
Externí odkaz:
http://arxiv.org/abs/1705.09615