Sciweavers

4079 search results - page 356 / 816
» Differential Testing for Software
Sort
View
SIGSOFT
2010
ACM
15 years 2 months ago
Combining hardware and software instrumentation to classify program executions
Several research efforts have studied ways to infer properties of software systems from program spectra gathered from the running systems, usually with software-level instrumentat...
Cemal Yilmaz, Adam A. Porter
DCC
2002
IEEE
16 years 4 months ago
PPMexe: PPM for Compressing Software
With the emergence of software delivery platforms such as Microsoft's .NET, code compression has become one of the core enabling technologies strongly affecting system perfor...
Milenko Drinic, Darko Kirovski
CHI
2010
ACM
15 years 11 months ago
Communicating software agreement content using narrative pictograms
This paper presents narrative pictograms, diagrams designed to convey the abstract concepts of a software agreement. Narrative pictograms arose out of a need to increase the chanc...
Matthew Kay, Michael Terry
ETRA
2006
ACM
165views Biometrics» more  ETRA 2006»
15 years 10 months ago
Empathic tutoring software agents using real-time eye tracking
This paper describes an empathic software agent (ESA) interface using eye movement information to facilitate empathy-relevant reasoning and behavior. Eye movement tracking is used...
Hua Wang, Mark H. Chignell, Mitsuru Ishizuka
QSIC
2005
IEEE
15 years 10 months ago
Runtime Validation of Behavioural Contracts for Component Software
In component software, the independence of components is achieved by separating their interfaces from implementations. The interface definition of a component serves as the contr...
Yan Jin, Jun Han