1662 search results - page 305 / 333 » Using Open Data Collection for Intelligent Software |
215
click to vote
IPPS
2006
IEEE
16 years 1 days ago
2006
IEEE
The incorporation of last-generation sensors to airborne and satellite platforms is currently producing a nearly continual stream of high-dimensional data, and this explosion in t...
186
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
—Mutation testing measures the adequacy of a test suite by seeding artificial defects (mutations) into a program. If a test suite fails to detect a mutation, it may also fail to...
199
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
190
click to vote
TSE
2008
15 years 5 months ago
2008
Software end users are the best testers, who keep revealing bugs in software that has undergone rigorous in-house testing. In order to leverage their testing efforts, failure repor...
162
click to vote
PLDI
2005
ACM
15 years 11 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...