380 search results - page 39 / 76 » A Software Framework for Automated Negotiation |
AOSE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. One of the most critical problems in software maintenance and evolution is propagating changes. Although many approaches have been proposed, automated change propagation ...
COMPSAC
2008
IEEE
13 years 9 months ago
2008
IEEE
Software evolution is characterized by inevitable changes of software and increasing software complexities, which in turn may lead to huge costs unless rigorously taking into acco...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
Software maintenance and evolution is arguably a lengthy and expensive phase in the life cycle of a software system. A critical issue at this phase is change propagation: given a ...
ISSE
2010
13 years 7 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
SOFSEM
2007
Springer
14 years 3 months ago
2007
Springer
Effective testing involves preparing test oracles and test cases, two activities which are too tedious to be effectively performed by humans, yet for the most part remain manual. T...