Sciweavers

ASE
2016
10 years 27 days ago
Model-based diagnosis of spreadsheet programs: a constraint-based debugging approach
Abstract Spreadsheet programs are probably the most successful example of enduser software development tools and are used for a variety of purposes. Like any type of software, they...
Dietmar Jannach, Thomas Schmitz
104
Voted
ASE
2016
10 years 27 days ago
Diversity maximization speedup for localizing faults in single-fault and multi-fault programs
Xin Xia, Liang Gong, Tien-Duy B. Le, David Lo, Lin...
125
Voted
ASE
2016
10 years 27 days ago
Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel
The Linux kernel does not export a stable, well-defined kernel interface, complicating the development of kernel-level services, such as device drivers and file systems. While th...
Tegawendé F. Bissyandé, Laurent R&ea...
Artificial Intelligence
Top of PageReset Settings