868 search results - page 137 / 174 » Debugging for Model Expansion |
KBSE
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract—A poorly understood but important factor in random testing is the selection of a maximum length for test runs. Given a limited time for testing, it is seldom clear wheth...
APCSAC
2007
IEEE
14 years 4 months ago
2007
IEEE
MPI (the Message Passing Interface) continues to be the dominant programming model for parallel machines of all sizes, from small Linux clusters to the largest parallel supercomput...
CODES
2007
IEEE
14 years 4 months ago
2007
IEEE
Instruction Set Simulation (ISS) is widely used in system evaluation and software development for embedded processors. Despite the significant advancements in the ISS technology,...
KBSE
2007
IEEE
14 years 4 months ago
2007
IEEE
This paper presents a tool that (i) constructs tree-based models of a program’s behavior during testing and (ii) employs these trees while reordering and reducing a test suite. ...
P2P
2007
IEEE
14 years 4 months ago
2007
IEEE
PEPINO is a simple and effective peer-to-peer network inspector. It visualises not only meaningful pointers and connections between peers, but also the exchange of messages betwee...