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
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