3544 search results - page 182 / 709 » Software Testing |
101
Voted
LCPC
1998
Springer
15 years 6 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...
117
Voted
ICFEM
2007
Springer
15 years 6 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...
COMPSAC
2009
IEEE
15 years 9 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...
123
Voted
STEP
2005
IEEE
15 years 8 months 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...
109
Voted
ICSOC
2005
Springer
15 years 8 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....