scholarly journals Increasing Robustness of SAT-based Delay Test Generation Using Efficient Dynamic Learning Techniques

2009 ◽  
Author(s):  
Stephan Eggersgluss ◽  
Rolf Drechsler
Keyword(s):  
Test Generation ◽  
Delay Test ◽  
Dynamic Learning ◽  
Learning Techniques

scholarly journals AI for Software Quality Assurance Blue Sky Ideas Talk

2020 ◽  
Vol 34 (09) ◽  
pp. 13529-13533
Author(s):  
Meir Kalech ◽  
Roni Stern
Keyword(s):  
Quality Assurance ◽  
Software Quality ◽  
Test Generation ◽  
Machine Learning Techniques ◽  
Software Quality Assurance ◽  
Software Systems ◽  
Automated Test Generation ◽  
Root Cause ◽  
Test Execution ◽  
Learning Techniques

Modern software systems are highly complex and often have multiple dependencies on external parts such as other processes or services. This poses new challenges and exacerbate existing challenges in different aspects of software Quality Assurance (QA) including testing, debugging and repair. The goal of this talk is to present a novel AI paradigm for software QA (AI4QA). A quality assessment AI agent uses machine-learning techniques to predict where coding errors are likely to occur. Then a test generation AI agent considers the error predictions to direct automated test generation. Then a test execution AI agent executes tests, that are passed to the root-cause analysis AI agent, which applies automatic debugging algorithms. The candidate root causes are passed to a code repair AI agent that tries to create a patch for correcting the isolated error.

scholarly journals Estimation of Delay Test Quality and Its Application to Test Generation

2008 ◽  
Vol 1 ◽  
pp. 104-115 ◽  
Author(s):  
Seiji Kajihara ◽  
Shohei Morishima ◽  
Masahiro Yamamoto ◽  
Xiaoqing Wen ◽  
Masayasu Fukunaga ◽  
...  
Keyword(s):  
Test Generation ◽  
Delay Test ◽  
Test Quality

scholarly journals Efficient Path Delay Test Generation for Custom Designs

ETRI Journal ◽  
2001 ◽  
Vol 23 (3) ◽  
pp. 138-150 ◽  
Author(s):  
Sungho Kang Kang ◽  
Bill Underwood Underwood ◽  
Wai-On Law Law ◽  
Haluk Konuk Konuk
Keyword(s):  
Test Generation ◽  
Path Delay ◽  
Delay Test ◽  
Path Delay Test

A Software for Thorax Images Analysis Based on Deep Learning

2021 ◽  
Vol 12 (1) ◽  
pp. 60-71
Author(s):  
Ahmed H. Almulihi ◽  
Fahd S. Alharithi ◽  
Seifeddine Mechti ◽  
Roobaea Alroobaea ◽  
Saeed Rubaiee
Keyword(s):  
Deep Learning ◽  
Open Source ◽  
Close Contact ◽  
Dynamic Learning ◽  
Learning Techniques ◽  
Specialized Equipment ◽  
Chest X Ray ◽  
Receive Treatment ◽  
Lab Test ◽  
Open Source Systems

People suspected of having COVID-19 need to know quickly if they are infected, so that they can isolate themselves, receive treatment, and inform those with whom they have been in close contact. Currently, the formal diagnosis of COVID-19 infection requires laboratory analysis of blood samples or swabs from the throat and nose. The lab test requires specialized equipment and takes at least 24 hours to produce a result. For this reason, in this paper, the authors tackle the problem of the detection of COVID-19 by developing an open source software to analyze chest x-ray thorax images. The method is based on supervised learning applied to 5000 images. However, deep learning techniques such as convolutional neural network (CNN) and mask R-CNN gives good results comparing with classic medical imaging. Using a dynamic learning rate, they obtained 0.96 accuracy for the training phase and 0.82 for the test. The results of our free tool are comparable to the best state of the art open source systems.

Deriving logic systems for path delay test generation

1998 ◽  
Vol 47 (8) ◽  
pp. 829-846 ◽  
Author(s):  
S. Bose ◽  
P. Agrawal ◽  
V.D. Agrawal
Keyword(s):  
Test Generation ◽  
Path Delay ◽  
Delay Test ◽  
Logic Systems ◽  
Path Delay Test
Sign in / Sign up

Export Citation Format

Share Document