1199 search results - page 47 / 240 » Software Verification and Software Engineering a Practitione... |
163
click to vote
ISSTA
2007
ACM
15 years 5 months ago
2007
ACM
Progress in testing requires that we evaluate the effectiveness of testing strategies on the basis of hard experimental evidence, not just intuition or a priori arguments. Random ...
122
click to vote
IWPC
2007
IEEE
15 years 10 months ago
2007
IEEE
The field of program comprehension is characterized by both the continuing development of new tools and techniques and the adaptation of existing techniques to address program co...
145
click to vote
SIGSOFT
2008
ACM
16 years 5 months ago
2008
ACM
We propose a novel method for modular verification of web service compositions. We first use symbolic fixpoint computations to derive conditions on the incoming messages and relat...
126
click to vote
ICSM
2005
IEEE
15 years 9 months ago
2005
IEEE
Many of the approaches that analyze software evolution consider a static perspective of a system. Static analysis approaches focus on the evolution of static software entities suc...
130
click to vote
ICSE
2009
IEEE-ACM
15 years 1 months ago
2009
IEEE-ACM
Most system level software is written in C and executed concurrently. Because such software is often critical for system reliability, it is an ideal target for formal verification...