Sciweavers

458 search results - page 73 / 92
» Automatic system testing of programs without test oracles
Sort
View
EUROSYS
2010
ACM
15 years 11 months ago
Execution Synthesis: A Technique for Automated Software Debugging
Debugging real systems is hard, requires deep knowledge of the code, and is time-consuming. Bug reports rarely provide sufficient information, thus forcing developers to turn int...
Cristian Zamfir, George Candea
NAACL
2010
15 years 11 days ago
Enabling Monolingual Translators: Post-Editing vs. Options
We carried out a study on monolingual translators with no knowledge of the source language, but aided by post-editing and the display of translation options. On Arabic-English and...
Philipp Koehn
FCCM
2006
IEEE
133views VLSI» more  FCCM 2006»
15 years 8 months ago
A Field Programmable RFID Tag and Associated Design Flow
Current Radio Frequency Identification (RFID) systems generally have long design times and low tolerance to changes in specification. This paper describes a field programmable,...
Alex K. Jones, Raymond R. Hoare, Swapna R. Donthar...
PLDI
2003
ACM
15 years 7 months ago
Meta optimization: improving compiler heuristics with machine learning
Compiler writers have crafted many heuristics over the years to approximately solve NP-hard problems efficiently. Finding a heuristic that performs well on a broad range of applic...
Mark Stephenson, Saman P. Amarasinghe, Martin C. M...
ICIP
2000
IEEE
16 years 4 months ago
Nonlinear Distortion Correction in Endoscopic Video Images
Modern video-based endoscopes offer physicians a wide-angle field of view for minimally-invasive procedures. Unfortunately, inherent barrel distortion prevents accurate perception...
Chao Zhang, James P. Helferty, Geoffrey McLennan, ...