Results 71 to 80 of about 5,519,312 (291)

Combinatorial testing and model‐based testing [PDF]

Software Testing, Verification and Reliability, 2022
Robert M. Hierons, Tao Xie 0001
openaire   +1 more source

Model-Based Testing in Practice [PDF]

, 2005
Testing comprises activities that aim at showing that the intended and actual behaviors of a system differ, or at gaining confidence that they do not. The goal of testing is failure detection: observable differences between the behaviors of implementation and specification.
openaire   +1 more source

Model Based Testing for Agent Systems

International Joint Conference on Autonomous Agents and Multiagent Systems, 2008
The use of agent technology for building complex systems is increasing, and there are compelling reasons to use this technology. Benfield [1] showed a productivity gain of over 300% using a BDI (Belief Desire Intention) agent approach, while other work calculated that a very modest plan and goal structure provides well over a million ways to achieve a ...
Zhiyong Zhang, John Thangarajah, Lin Padgham   +2 more
openaire   +3 more sources

EQUIVALENCY EVIDENCE OF THE ENGLISH COMPETENCY TEST ACROSS DIFFERENT MODES: A RASCH ANALYSIS

TEFLIN Journal, 2023
The outbreak of the COVID-19 pandemic has transformed the educational landscape in a way unseen before. Educational institutions are navigating between offline and online learning worldwide.
Muhammad Yoga Prabowo, Sarah Rahmadian
doaj   +1 more source

Adherence to Protocol Recommendations for Children With Wilms Tumour in Two Consecutive Studies in the United Kingdom and Ireland—Does Variation Matter?

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background and Aims Wilms tumour (WT) has excellent event‐free and overall survival (OS). However, small differences exist between countries participating in the same international study. This led us to examine variation in adherence to protocol recommendations as a potential contributing factor.
Suzanne Tugnait, R. Al‐Saadi, A. Lopez‐Cortes, K. Dzhuma, M. Oostveen, J. Brok, S. Irtan, M. Weeks, J. Bate, S. Baker, R. Williams, M. Powis, D. Saunders, O. Olsen, T. Watson, S. Shelmerdine, S. Vaidya, L. Howell, C. Duncan, G. M. Vujanic, C. Stiller, G. P. Balchin, T. Chowdhury, K. Pritchard‐Jones   +23 more
wiley   +1 more source

Black-Box Bug Amplification for Multithreaded Software

Mathematics
Bugs, especially those in concurrent systems, are often hard to reproduce because they manifest only under rare conditions. Testers frequently encounter failures that occur only under specific inputs, often at low probability.
Yeshayahu Weiss, Gal Amram, Achiya Elyasaf, Eitan Farchi, Oded Margalit, Gera Weiss   +5 more
doaj   +1 more source

Testing based on the RELAY model of error detection [PDF]

, 1987
RELAY, a model for error detection, defines revealing conditions that guarantee that a fault originates an error during execution and that the error transfers through computations and data flow until it is revealed. This model of error detection provides
Richardson, Debra J., Thompson, Margaret C.   +1 more
core  

Testing a priority-based queue model with Linux command histories

, 2008
We study human dynamics by analyzing Linux history files. The goodness-of-fit test shows that most of the collected datasets belong to the universality class suggested in the literature by a variable-length queueing process based on priority. In order to
Albert, Baek, Barabási, Beom Jun Kim, Grinstein, Harder, Kantz, Kiet, Kim, Kujawski, Newman, Oliveira, Press, Ross, Seung Ki Baek, Slijper, Sornette, Sturges, Tae Young Kim, Vázquez, Vázquez, Vázquez, Wang   +22 more
core   +1 more source

Modelling migration futures: development and testing of the rainfalls agent-based migration model – Tanzania [PDF]

, 2014
This paper describes the conceptual and practical development and testing of the Rainfalls Agent-Based Migration Model – Tanzania (RABMM-T). Drawing upon the literature on the process of developing and parameterizing a social simulation in the absence of
Smith, Christopher D
core   +1 more source

Model Based Testing of VHDL Programs [PDF]

2015 IEEE 39th Annual Computer Software and Applications Conference, 2015
VHDL programs are often validated by means of test benches constructed from formal system specification. To include real-time properties of VHDL programs, the proposed approach first transforms them to concurrently running network of timed automata and then performs model checking on properties taken from the specification. Counterexamples generated by
Tolga Ayav, Tugkan Tuglular, Fevzi Belli
openaire   +2 more sources