732 search results - page 66 / 147 » Automated Test Generation from Models Based on Functional So... |
DAC
2006
ACM
13 years 10 months ago
2006
ACM
Software-based self-test (SBST) has recently emerged as an effective methodology for the manufacturing test of processors and other components in systems-on-chip (SoCs). By moving ...
APSEC
2003
IEEE
14 years 2 months ago
2003
IEEE
This paper describes a process for selecting and evaluating candidates for component based software engineering. The process is aimed at developers sourcing components from third ...
BMCBI
2007
13 years 9 months ago
2007
Background: Biomolecular networks dynamically respond to stimuli and implement cellular function. Understanding these dynamic changes is the key challenge for cell biologists. As ...
ASE
2005
13 years 8 months ago
2005
Deductive program synthesis systems based on automated theorem proving offer the promise of software that is correct by construction. However, the difficulty encountered in constru...
TPHOL
2008
IEEE
14 years 3 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...