3547 search results - page 307 / 710 » Pseudo-Exhaustive Testing for Software |
200
click to vote
BMCBI
2006
15 years 7 months ago
2006
Background: Modern biology has shifted from "one gene" approaches to methods for genomic-scale analysis like microarray technology, which allow simultaneous measurement ...
255
click to vote
ICFEM
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
264
click to vote
IFIP
2010
Springer
15 years 2 months ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
244
click to vote
CODES
2011
IEEE
14 years 7 months ago
2011
IEEE
The paper presents an overview of a major research project on dependable embedded systems that has started in Fall 2010 and is running for a projected duration of six years. Aim i...
211
click to vote
DATE
2009
IEEE
16 years 2 months ago
2009
IEEE
Fast real-time feasibility tests and analysis algorithms are necessary for a high acceptance of the formal techniques by industrial software engineers. This paper presents a possi...