1860 search results - page 84 / 372 » tools 2009 |
150
click to vote
ESSOS
2009
Springer
16 years 18 days ago
2009
Springer
Abstract. Software vendors are increasingly concerned about mitigating the security risk of their software. Code quality improvement is a traditional approach to mitigate security ...
161
click to vote
TASE
2009
IEEE
16 years 16 days ago
2009
IEEE
A modelling language can be defined by a metamodel in UML class diagram. This paper defines the semantics of such metamodels through two mappings: a signature mapping from metamod...
119
Voted
KBSE
2009
IEEE
16 years 16 days ago
2009
IEEE
SEESAW combines AI search tools, a Monte Carlo simulator, and some software process models. We show here that, when selecting technologies for a software project, SEESAW out-perfo...
132
click to vote
KBSE
2009
IEEE
16 years 16 days ago
2009
IEEE
Advances in recent years have made it possible in some cases to locate a bug (the source of a failure) automatically. But debugging is also about correcting bugs. Can tools do thi...
157
Voted
QEST
2009
IEEE
16 years 16 days ago
2009
IEEE
This paper provides an experimental study of the efficiency of simulation-based model-checking algorithms for continuous-time Markov chains by comparing: MRMC – the only tool t...