3527 search results - page 345 / 706 » Test Automation in Practice |
168
click to vote
ENTCS
2010
15 years 5 months ago
2010
Program debugging is an extremely time-consuming process, and it takes up a large portion of software development time. In practice, debugging is still very much of an art, with t...
125
click to vote
IANDC
2008
15 years 5 months ago
2008
The main goal of this paper is to apply rewriting termination technology --enjoying a quite mature set of termination results and tools-- to the problem of proving automatically t...
117
click to vote
COMPSEC
2006
15 years 5 months ago
2006
Incident Response has always been an important aspect of Information Security but it is often overlooked by security administrators. Responding to an incident is not solely a techn...
131
Voted
IJNSEC
2007
15 years 4 months ago
2007
In this paper, we argue that heterogeneity should be an important principle in design and use of cryptographic protocols. We use automated formal analysis tools to randomly genera...
147
Voted
IJOE
2007
15 years 4 months ago
2007
: The experience and content of a PLC course developed for distance learning (ODL) is presented. The course aims to introduce the student into the automation world of industrial pr...