1516 search results - page 37 / 304 » Trends in Software Verification |
118
Voted
IWPSE
2005
IEEE
15 years 7 months ago
2005
IEEE
Software is changing and software evolution is going to change with it. In considering software and the problems of software evolution today we make the tacit assumption that we c...
209
Voted
POPL
2008
ACM
16 years 2 months ago
2008
ACM
The search for proof and the search for counterexamples (bugs) are complementary activities that need to be pursued concurrently in order to maximize the practical success rate of...
113
Voted
ECSA
2007
Springer
15 years 8 months ago
2007
Springer
The past 20 years has seen significant investments in the theory and practice of software architecture. However, architectural deficiencies are frequently cited as a key factor in ...
75
Voted
ICSE
2005
IEEE-ACM
16 years 2 months ago
2005
IEEE-ACM
73
Voted
ADAEUROPE
2009
Springer
15 years 8 months ago
2009
Springer