759 search results - page 89 / 152 » Test case generator for GUITAR |
132
Voted
CCGRID
2010
IEEE
14 years 4 months ago
2010
IEEE
- Scientific workflows have become an integral part of cyberinfrastructure as their computational complexity and data sizes have grown. However, the complexity of the distributed i...
101
click to vote
SIGCSE
2008
ACM
15 years 21 days ago
2008
ACM
Providing consistent, instant, and detailed feedback to students has been a big challenge in teaching Web based computing, given the complexity of project assignments and the comp...
120
click to vote
VLSID
2000
IEEE
15 years 4 months ago
2000
IEEE
We address the problem of verifying the correctness of pre-silicon models of a microprocessor. We touch on the latest advances in this area by considering two different aspects of...
99
Voted
HICSS
2003
IEEE
15 years 6 months ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
108
Voted
EUROMICRO
2007
IEEE
15 years 2 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...