Large-scale map** of cortical alterations in 22q11. 2 deletion syndrome: Convergence with idiopathic psychosis and effects of deletion size

D Sun, CRK Ching, A Lin, JK Forsyth, L Kushan… - Molecular …, 2020 - nature.com
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 …

Program synthesis: challenges and opportunities

C David, D Kroening - Philosophical Transactions of the …, 2017 - royalsocietypublishing.org
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; …

A survey of challenges in spectrum-based software fault localization

QI Sarhan, Á Beszédes - IEEE Access, 2022 - ieeexplore.ieee.org
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 …

Deepfault: Fault localization for deep neural networks

HF Eniser, S Gerasimou, A Sen - International Conference on …, 2019 - Springer
Abstract Deep Neural Networks (DNNs) are increasingly deployed in safety-critical
applications including autonomous vehicles and medical diagnostics. To reduce the …

Locating faults with program slicing: an empirical analysis

E Soremekun, L Kirschner, M Böhme… - Empirical Software …, 2021 - Springer
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 …

Explaining image classifiers using statistical fault localization

Y Sun, H Chockler, X Huang, D Kroening - European conference on …, 2020 - Springer
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 …

ArchRepair: Block-Level Architecture-Oriented Repairing for Deep Neural Networks

H Qi, Z Wang, Q Guo, J Chen, F Juefei-Xu… - ACM Transactions on …, 2023 - dl.acm.org
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 …

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 …

VFL: Variable-based fault localization

J Kim, J Kim, E Lee - Information and software technology, 2019 - Elsevier
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 …

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 …