ASE 2016 | Sciweavers

42

ASE
2016

56views Artificial Intelligence» more ASE 2016»

Ahead of time static analysis for automatic generation of debugging interfaces to the Linux kernel

8 years 11 months ago

The Linux kernel does not export a stable, well-deﬁned kernel interface, complicating the development of kernel-level services, such as device drivers and ﬁle systems. While th...

Tegawendé F. Bissyandé, Laurent R&ea...

claim paper

Read More »

37

click to vote

ASE
2016

61views Artificial Intelligence» more ASE 2016»

Diversity maximization speedup for localizing faults in single-fault and multi-fault programs

8 years 11 months ago

Download www.mysmu.edu

Xin Xia, Liang Gong, Tien-Duy B. Le, David Lo, Lin...

claim paper

Read More »

105

click to vote

ASE
2016

84views Artificial Intelligence» more ASE 2016»

Model-based diagnosis of spreadsheet programs: a constraint-based debugging approach

8 years 11 months ago

Download ls13-www.cs.tu-dortmund.de

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

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers