4079 search results - page 514 / 816 » Differential Testing for Software |
131
click to vote
SIGSOFT
2002
ACM
16 years 5 months ago
2002
ACM
Consider the execution of a failing program as a sequence of program states. Each state induces the following state, up to the failure. Which variables and values of a program sta...
119
Voted
CHI
2009
ACM
16 years 5 months ago
2009
ACM
DASHlink is a public NASA research collaboration website. Web 2.0 style content generation and social software technologies along with a communitymoderated posting policy make it ...
110
Voted
CHI
2005
ACM
16 years 5 months ago
2005
ACM
As mobile devices become location-aware, it will become possible to know when people are physically co-located and to incorporate this information into social software. Is this va...
128
click to vote
ICSE
2009
IEEE-ACM
15 years 11 months ago
2009
IEEE-ACM
Spreadsheets are ubiquitous with evidence that Microsoft Excel, the leading application in the area, has an install base of 90% on end-user desktops. Nowhere is the usage of sprea...
143
click to vote
ICDAR
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper we analyze our recent research on the use of document analysis techniques for metadata extraction from PDF papers. We describe a package that is designed to extract ...