3544 search results - page 182 / 709 » Software Testing |
147
click to vote
LCPC
1998
Springer
15 years 10 months ago
1998
Springer
: In this paper, theoretical aspects to demonstrate the accuracy of the Interval Test (the I test and the direction vector I test) to be applied for resolving the problem stated ab...
165
click to vote
ICFEM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
120
click to vote
COMPSAC
2009
IEEE
16 years 1 months ago
2009
IEEE
Despite all the advances on techniques to block spam e-mail messages we still receive them on a frequent basis. This is due mainly to the ability of the spammers to modify the mes...
165
click to vote
STEP
2005
IEEE
16 years 16 hour ago
2005
IEEE
While the use of test-driven development as a debugging, pedagogic, and analytical methodology for objectoriented and procedural systems is well documented, it is a relatively une...
158
click to vote
ICSOC
2005
Springer
15 years 12 months ago
2005
Springer
Web Services are entailing a major shift of perspective in software engineering: software is used and not owned, and operation happens on machines that are out of the user control....