3820 search results - page 206 / 764 » Bounded Model Debugging |
139
Voted
HICSS
2008
IEEE
15 years 9 months ago
2008
IEEE
In this paper we describe mechanisms for execution monitoring of semantic web services, based on OWL-S. The use of semantic descriptions and ontologies is a valuable extension to ...
134
click to vote
KBSE
2008
IEEE
15 years 9 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...
158
click to vote
APCSAC
2007
IEEE
15 years 9 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...
166
click to vote
CODES
2007
IEEE
15 years 9 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,...
118
click to vote
KBSE
2007
IEEE
15 years 9 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. ...