10715 search results - page 302 / 2143 » Proofs from Tests |
176
click to vote
ISSRE
2010
IEEE
15 years 5 months ago
2010
IEEE
—Models abstract reality. Although abstract, such models can capture the essence of real world phenomena as long as they are sufficiently accurate. The development of new techni...
205
click to vote
JDCTA
2010
15 years 1 months ago
2010
With the rapid development of Service-Oriented Architecture (SOA) and Service-Oriented Computing (SOC), the Quality of Service (QoS) is more and more essential than before. There ...
182
click to vote
CEJCS
2011
14 years 6 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...
229
click to vote
ISSTA
2012
ACM
13 years 9 months ago
2012
ACM
Manual debugging is driven by experiments—test runs that narrow down failure causes by systematically confirming or excluding individual factors. The BUGEX approach leverages t...
171
click to vote
SIGSOFT
2006
ACM
16 years 7 months ago
2006
ACM
Pervasive context-aware software is an emerging kind of application. Smart personal digital assistants and RFID-based location sensing software are two examples. Many of these sys...