Sciweavers

3547 search results - page 357 / 710
» Pseudo-Exhaustive Testing for Software
Sort
View
IOLTS
2008
IEEE
112views Hardware» more  IOLTS 2008»
16 years 1 months ago
A Modular Memory BIST for Optimized Memory Repair
An efficient on-chip infrastructure for memory test and repair is crucial to enhance yield and availability of SoCs. Most of the existing built-in self-repair solutions reuse IP-C...
Philipp Öhler, Alberto Bosio, Giorgio Di Nata...
RULEML
2007
Springer
16 years 29 days ago
How Ontologies and Rules Help to Advance Automobile Development
Nowadays the increasing complexity of cars has become a major challenge due to the growing rate of electronic components and software. This trend has an impact on all phases of the...
Thomas Syldatke, Willy Chen, Jürgen Angele, A...
SOQUA
2004
15 years 8 months ago
Safety Assessment of Systems Embedded with COTS Components by PIP technique
: The difficulties to assess reliability of systems that use COTS components are sometimes compounded by the inaccessibility of some COTS codes. This paper develops an approach of ...
Luping Chen, John H. R. May
ICSE
2008
IEEE-ACM
16 years 7 months ago
DySy: dynamic symbolic execution for invariant inference
Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic invariant inference has t...
Christoph Csallner, Nikolai Tillmann, Yannis Smara...
CHI
2005
ACM
16 years 7 months ago
EyeDraw: enabling children with severe motor impairments to draw with their eyes
EyeDraw is a software program that, when run on a computer with an eye tracking device, enables children with severe motor disabilities to draw pictures by just moving their eyes....
Anthony J. Hornof, Anna Cavender