5506 search results - page 508 / 1102 » Visualizing Software Changes |
182
Voted
KBSE
2009
IEEE
16 years 2 months ago
2009
IEEE
Abstract—Many applications are concurrent and communicate over a network. The non-determinism in the thread and communication schedules makes it desirable to model check such sys...
233
click to vote
AGILEDC
2007
IEEE
16 years 1 months ago
2007
IEEE
Agile methodologies represent a ‘people’ centered approach to delivering software. This paper investigates the social processes that contribute to their success. Qualitative g...
162
Voted
ICSM
2006
IEEE
16 years 1 months ago
2006
IEEE
— Software maintenance tools for program analysis and refactoring rely on a meta-model capturing the relevant properties of programs. However, what is considered relevant may cha...
184
Voted
AMOST
2005
ACM
16 years 29 days ago
2005
ACM
We consider the problem of generating a set of test cases from a black box specification. We focus on stress testing, i.e. picking test cases that seem most likely to reveal prog...
229
click to vote
ICFCA
2005
Springer
16 years 27 days ago
2005
Springer
A key difficulty in the maintenance and evolution of complex software systems is to recognize and understand the implicit dependencies that define contracts that must be respecte...