3544 search results - page 347 / 709 » Software Testing |
191
click to vote
ACL2
2006
ACM
16 years 20 days ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...
181
click to vote
SNPD
2008
15 years 8 months ago
2008
For software executing several threads in parallel, testing is unreliable, as it cannot cover all thread schedules. Model checking, however, can cover all possible thread interlea...
159
click to vote
ACMSE
2008
ACM
15 years 8 months ago
2008
ACM
Although researchers have been exchanging ideas on the design and development of autonomic systems, there has been little emphasis on validation. In an effort to stimulate interes...
182
click to vote
ECLIPSE
2005
ACM
15 years 8 months ago
2005
ACM
Students need to learn testing skills, and using test-driven development on assignments is one way to help students learn. We use a flexible automated grading system called Web-CA...
142
Voted
EUROPAR
1999
Springer
15 years 11 months ago
1999
Springer
This paper deals with the influence of hardware aspects of modern computer architectures to the design of software for numerical simulations. We present performance tests for vari...