State-based testing is frequently used in software testing. Test data generation is one of the key issues in software testing. A properly generated test suite may not only locate t...
Background: Genomics and proteomics analyses regularly involve the simultaneous test of hundreds of hypotheses, either on numerical or categorical data. To correct for the occurre...
Anyela Camargo, Francisco Azuaje, Haiying Wang, Hu...
Abstract—Software systems are typically large and exhaustive testing of all possible input parameters is usually not feasible. Testers select tests that they anticipate may catch...
Nothing does a software company’s reputation more harm than poor quality. One significant contributor to delivered quality is how thoroughly the software is tested. In this issu...
The article is concerned with an approach to model based test development for large software systems. The approach presented is a part of UniTesK test development technology, which...