Large-scale map** of cortical alterations in 22q11. 2 deletion syndrome: Convergence with idiopathic psychosis and effects of deletion size
Abstract The 22q11. 2 deletion (22q11DS) is a common chromosomal microdeletion and a
potent risk factor for psychotic illness. Prior studies reported widespread cortical changes in …
potent risk factor for psychotic illness. Prior studies reported widespread cortical changes in …
Program synthesis: challenges and opportunities
Program synthesis is the mechanized construction of software, dubbed 'self-writing code'.
Synthesis tools relieve the programmer from thinking about how the problem is to be solved; …
Synthesis tools relieve the programmer from thinking about how the problem is to be solved; …
A survey of challenges in spectrum-based software fault localization
In software debugging, fault localization is the most difficult, expensive, tedious, and time-
consuming task, particularly for large-scale software systems. This is due to the fact that it …
consuming task, particularly for large-scale software systems. This is due to the fact that it …
Deepfault: Fault localization for deep neural networks
Abstract Deep Neural Networks (DNNs) are increasingly deployed in safety-critical
applications including autonomous vehicles and medical diagnostics. To reduce the …
applications including autonomous vehicles and medical diagnostics. To reduce the …
Locating faults with program slicing: an empirical analysis
Statistical fault localization is an easily deployed technique for quickly determining
candidates for faulty code locations. If a human programmer has to search the fault beyond …
candidates for faulty code locations. If a human programmer has to search the fault beyond …
Explaining image classifiers using statistical fault localization
The black-box nature of deep neural networks (DNNs) makes it impossible to understand
why a particular output is produced, creating demand for “Explainable AI”. In this paper, we …
why a particular output is produced, creating demand for “Explainable AI”. In this paper, we …
ArchRepair: Block-Level Architecture-Oriented Repairing for Deep Neural Networks
Over the past few years, deep neural networks (DNNs) have achieved tremendous success
and have been continuously applied in many application domains. However, during the …
and have been continuously applied in many application domains. However, during the …
Improving spectral‐based fault localization using static analysis
N Neelofar, L Naish, J Lee… - Software: Practice and …, 2017 - Wiley Online Library
Debugging is crucial for producing reliable software. One of the effective bug localization
techniques is spectral‐based fault localization (SBFL). It helps to locate a buggy statement …
techniques is spectral‐based fault localization (SBFL). It helps to locate a buggy statement …
VFL: Variable-based fault localization
Context Fault localization is one of the most important debugging tasks. Hence, many
automatic fault localization techniques have been proposed to reduce the burden on …
automatic fault localization techniques have been proposed to reduce the burden on …
Spectral‐based fault localization using hyperbolic function
N Neelofar, L Naish… - Software: Practice and …, 2018 - Wiley Online Library
Debugging is crucial for producing reliable software. One of the effective bug localization
techniques is spectral‐based fault localization. It tries to locate a buggy statement by …
techniques is spectral‐based fault localization. It tries to locate a buggy statement by …