1516 search results - page 37 / 304 » Trends in Software Verification |
IWPSE
2005
IEEE
14 years 2 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...
POPL
2008
ACM
14 years 9 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...
ECSA
2007
Springer
14 years 3 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 ...
ICSE
2005
IEEE-ACM
14 years 9 months ago
2005
IEEE-ACM
ADAEUROPE
2009
Springer
14 years 3 months ago
2009
Springer