2419 search results - page 154 / 484 » A Formal Approach to Software Testing |
137
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
It is widely documented that the absence of a structured approach to spreadsheet engineering is a key factor in the high level of spreadsheet errors. In this paper we propose and ...
143
Voted
HICSS
2000
IEEE
15 years 8 months ago
2000
IEEE
Distributed multithreaded software systems are becoming more and more important in modern networked environment. For these systems, concurrency control and thread synchronization ...
120
Voted
ESEM
2009
ACM
15 years 10 months ago
2009
ACM
Usability testing activities have numerous benefits in theory, yet they are often overlooked or disregarded in practice. A testing paradigm which yields objective, quantitative re...
129
Voted
STEP
2005
IEEE
15 years 9 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...
115
Voted
COMPSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
Markov chains have been used to model web usages and served as the basis for statistical testing, performance evaluation, and reliability analysis. However, most of such applicati...