414 search results - page 46 / 83 » Using Strongest Postconditions to Improve Software Quality |
ESTIMEDIA
2005
Springer
14 years 2 months ago
2005
Springer
Designing Application-Specific Instruction-set Processors (ASIPs) usually requires designing a custom datapath, and modifying instruction-set, instruction decoder, and compiler. A...
CEJCS
2011
12 years 8 months ago
2011
: Effective validation of distributed real-time and embedded (DRE) system quality-of-service (QoS) properties (e.g., event prioritization, latency, and throughput) requires testin...
DAC
2004
ACM
14 years 12 days ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
BMCBI
2010
2010
The IronChip evaluation package: a package of perl modules for robust analysis of custom microarrays
13 years 8 months ago
Background: Gene expression studies greatly contribute to our understanding of complex relationships in gene regulatory networks. However, the complexity of array design, producti...
ICSE
2005
IEEE-ACM
14 years 8 months ago
2005
IEEE-ACM
We present an automatic error-detection approach that combines static checking and concrete test-case generation. Our approach consists of taking the abstract error conditions inf...