1516 search results - page 96 / 304 » Trends in Software Verification |
120
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
We present a technique that enables the use of finite model finding to check the satisfiability of certain formulas whose intended models are infinite. Such formulas arise when us...
165
Voted
CIBSE
2008
ACM
15 years 5 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
123
Voted
TAICPART
2006
IEEE
15 years 9 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
116
click to vote
METRICS
2005
IEEE
15 years 9 months ago
2005
IEEE
OBJECTIVE - the aim is to investigate how software project productivity has changed over time. Within this overall goal we also compare productivity between different business sec...
119
Voted
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
The rise of the number and complexity of pervasive systems is a fact. Pervasive systems developers need advanced development methods in order to build better systems in an easy way...