Software integration testing based on communication coverage criteria and partial model generation [PDF]
, 2008 This paper considers the problem of integration testing the components of a timed distributed software system. We assume that communication between the components is specified using timed interface automata and use computational tree logic (CTL) to ...
Poore, J +3 more
core +7 more sources
Coverage-guided testing for recurrent neural networks
, 2021 Recurrent neural networks (RNNs) have been applied to a broad range of applications, including natural language processing, drug discovery, and video recognition. Their vulnerability to input perturbation is also known. Aligning with a view from software
Xingyu Zhao (2669941) +6 more
core +6 more sources
An Experimental Evaluation of Path-Based Product Line Integration Testing and Test Coverage Metrics
Applied Sciences, 2023 Product line testing is significant because any faults in a product line platform can lead to widespread impacts on multiple products configured from that platform within a product line.
Jihyun Lee
doaj +1 more source
Dataflow approach to testing Java programs supported with DFC [PDF]
e-Informatica Software Engineering Journal, 2015 Code based (“white box”) approach to testing can be divided into two main types: control flow coverage and data flow coverage methods. Dataflow testing was introduced for structural programming languages and later adopted for object languages. Among many
Ilona Bluemke, Artur Rembiszewski
doaj +1 more source
Data Flow Testing and Tools Review [PDF]
مجلة التربية والعلم, 2023 Software engineering always strives to develop and identify software pitfalls and errors before publishing the software product, in testing the software. Bugs can appear during any stage of development or testing, even after the product has been released.
Abdullah H. Ali, Nada N. Saleem
doaj +1 more source
Estimating fault numbers remaining after testing [PDF]
, 2013 Testing is an essential component of the software development process, but also one which is exceptionally difficult to manage and control. For example, it is well understood that testing techniques are not guaranteed to detect all faults, but more ...
Marc Roper, Roper, Marc
core +4 more sources
Measuring universal health coverage based on an index of effective coverage of health services in 204 countries and territories, 1990-2019: a systematic analysis for the Global Burden of Disease Study 2019 [PDF]
, 2020 Background: Achieving universal health coverage (UHC) involves all people receiving the health services they need, of high quality, without experiencing financial hardship.
Lalloo, Ratilal +3 more
core +1 more source
Coverage Criteria for Model-Based Testing using Property Patterns [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We present in this paper a model-based testing approach aiming at generating test cases from a UML/OCL model and a given test property. The property is expressed using a dedicated formalism based on patterns, and automatically translated into an ...
Kalou Cabrera Castillos +2 more
doaj +1 more source
Theoretical Analysis and Empirical Evaluation of Coverage Indictors for Closed Source APP Testing
IEEE Access, 2019 The number of mobile applications has increased geometrically nowadays, but how to ensure their quality and conduct adequate and effective testing is still a challenge for developers.
Sen Yang, Song Huang, Zhanwei Hui
doaj +1 more source
Empirical Evaluation of Test Coverage for Functional Programs [PDF]
, 2016 The correlation between test coverage and test effectiveness is important to justify the use of coverage in practice. Existing results on imperative programs mostly show that test coverage predicates effectiveness.
Hao, Dan +9 more
core +1 more source