845 search results - page 35 / 169 » A Formal Model of the Software Test Process |
ECIS
2000
13 years 9 months ago
2000
We draw from the quality management and organizational learning literatures to develop a descriptive model of software process management. These literature streams suggest that the...
27
Voted
COMPSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
Web applications have become complex and crucial in many fields. In order to assure their quality, a high demand for systematic methodologies of Web application testing is emergin...
ICSM
2002
IEEE
14 years 22 days ago
2002
IEEE
Testing for software security is a lengthy, complex and costly process. Currently, security testing is done using penetration analysis and formal verification of security kernels....
SBMF
2009
Springer
14 years 2 months ago
2009
Springer
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
MSWIM
2006
ACM
14 years 1 months ago
2006
ACM
In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networ...