476 search results - page 57 / 96 » A Speculation-based Approach for Performance and Dependabili... |
KBSE
2008
IEEE
14 years 2 months ago
2008
IEEE
One activity performed by developers during regression testing is test-suite augmentation, which consists of assessing the adequacy of a test suite after a program is modified an...
DOLAP
2006
ACM
14 years 2 months ago
2006
ACM
In order to be able to evaluate beforehand the impact of a strategical or tactical move, decision makers need reliable previsional systems. What-if analysis satisfies this need b...
AOSD
2009
ACM
13 years 5 months ago
2009
ACM
Traditional methods characterize a software product line's requirements using either functional or quality criteria. This appears to be inadequate to assess modularity, detec...
IEE
2008
13 years 8 months ago
2008
: Modularity is one of the most important principles in software engineering and a necessity for every practical software. Since the design space of software is generally quite lar...
INFORMATICALT
2007
13 years 8 months ago
2007
A modified version of the Bellare and Rogaway (1993) adversarial model is encoded using Asynchronous Product Automata (APA). A model checker tool, Simple Homomorphism Verificatio...