1034 search results - page 47 / 207 » Cooperative work in software testing |
ICFEM
2007
Springer
15 years 1 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...
127
click to vote
ICC
2007
IEEE
15 years 4 months ago
2007
IEEE
—This paper addresses context issues in pervasive mobile computing and presents a semantic context model to support location based cooperative mobile applications. In this paper,...
AOSD
2006
ACM
15 years 3 months ago
2006
ACM
Aspect-oriented software development is gaining popularity with the wider adoption of languages such as AspectJ. To reduce the manual effort of testing aspects in AspectJ programs...
142
click to vote
IASTEDSE
2004
14 years 11 months ago
2004
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...
ISSTA
2010
ACM
14 years 12 months ago
2010
ACM
Testing object-oriented (OO) software is critical because OO languages are commonly used in developing modern software systems. In testing OO software, one important and yet chall...