Results 211 to 220 of about 422,930 (261)

Real-Time AI-Based Radiotherapy Planning for Nasopharyngeal Carcinoma: Development and Validation. [PDF]

Cyborg Bionic Syst
Wang G, Yang X, Ni Q, Tang J, Huang K, Guo H, Jiang X, Diao W, Li H, Yang Y, Jia L, Liu Y, Deng J, Zhang K, Li D, Huang X, Jiang F, Zhou G, Sun Y.   +18 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Are Coverage Criteria Meaningful Metrics for DNNs?

2021 International Joint Conference on Neural Networks (IJCNN), 2021
The wide deployment of Deep Neural Networks (DNNs), though achieving great success in many domains, has severe safety concerns. Inspired by testing criteria from traditional software engineering, various coverage criteria have been proposed to ensure the safety of DNNs. However, the validity of coverage criteria was questioned in related researches. In
Meng Sun, Weidi Sun
exaly   +2 more sources

Applicability of Coverage Criteria for Serverless Applications

2020 IEEE International Conference on Service Oriented Systems Engineering (SOSE), 2020
Serverless computing is a popular trend in cloud computing based on serverless functions. These functions are stateless which can be utilized by the cloud platform provider to scale functions dynamically. While these small functions are easy to test in isolation, integrating them with other resources provided by the cloud platform provider or third ...
Stefan Winzinger, Guido Wirtz
openaire   +1 more source

A study of interleaving coverage criteria

Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, 2007
Concurrency bugs are becoming increasingly important due to the prevalence of concurrent programs. A fundamental problem of concurrent program bug detection and testing is that the interleaving space is too large to be thoroughly explored. Practical yet effective interleaving coverage criteria are desired to systematically explore the interleaving ...
Shan Lu 0001, Weihang Jiang, Yuanyuan Zhou 0001   +2 more
openaire   +1 more source

Coverage criteria for logical expressions

14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003., 2005
A large number of coverage criteria to generate tests from logical expressions have been proposed. Although there have been large variations in the terminology, the articulation of the criteria and the original source of the expressions, many of these criteria are fundamentally the same.
Paul Ammann, A. Jefferson Offutt, Hong Huang   +2 more
openaire   +1 more source

Testing Coverage Criteria for Deep Forests

2019 6th International Conference on Dependable Systems and Their Applications (DSA), 2020
In practice, many unknown errors have emerged in deep learning systems. One of the main reasons is that the behaviors of deep learning systems are unpredictable and difficult to test. Proper testing criteria are vitally important to evaluate the adequacy of testing deep learning systems.
Ruilin Xie, Zhanqi Cui, Minghua Jia, Yuan Wen, Baoshui Hao   +4 more
openaire   +1 more source

Guided test generation for coverage criteria

2010 IEEE International Conference on Software Maintenance, 2010
Test coverage criteria including boundary-value and logical coverage such as Modified Condition/Decision Coverage (MC/DC) have been increasingly used in safety-critical or mission-critical domains, complementing those more popularly used structural coverage criteria such as block or branch coverage.
Rahul Pandita, Tao Xie 0001, Nikolai Tillmann, Jonathan de Halleux   +3 more
openaire   +1 more source

Coverage Criteria based Testing of Industrial Robots

2020 IEEE 16th International Conference on Automation Science and Engineering (CASE), 2020
Industrial robots are used in manufacturing industries for tasks that can be automated and work with a controller within a tightly integrated real-time platform. Since they work with humans and other robots, they are safety critical in nature, making testing and verification important tasks in their software development life cycle.
Ameena K. Ashraf, Meenakshi D'Souza, Raoul Jetley   +2 more
openaire   +1 more source