2302 search results - page 31 / 461 » Testing as Abstraction |
157
click to vote
PVM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. MPI implementations are faced with growingly complex network configurations containing multiple network interfaces per node, NAT, or dual stacks. To implement handling l...
124
click to vote
ETS
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper proposes a wrapper design for interconnects with guaranteed bandwidth and latency services and on-chip protocol. strate that these interconnects abstract the interconne...
118
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract: With the increasing complexity of memory behavior, attempts are being made to come up with a methodical approach that employs electrical simulation to tackle the memory t...
158
click to vote
TAP
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
152
click to vote
KBSE
2003
IEEE
15 years 10 months ago
2003
IEEE
Unit testing, a common step in software development, presents a challenge. When produced manually, unit test suites are often insufficient to identify defects. The main alternativ...