926 search results - page 51 / 186 » Tool Support for Statistical Testing of Software Components |
MICRO
2006
IEEE
14 years 2 months ago
2006
IEEE
Dynamic software bug detection tools are commonly used because they leverage run-time information. However, they suffer from a fundamental limitation, the Path Coverage Problem: t...
BMCBI
2006
13 years 8 months ago
2006
Background: There are many methods for analyzing microarray data that group together genes having similar patterns of expression over all conditions tested. However, in many insta...
OOPSLA
2004
Springer
14 years 1 months ago
2004
Springer
This paper reports on the design and implementation of Chianti, a change impact analysis tool for Java that is implemented in the context of the Eclipse environment. Chianti analy...
ICSE
2001
IEEE-ACM
14 years 22 days ago
2001
IEEE-ACM
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
SCSC
2007
13 years 9 months ago
2007
The concepts of simulation based design and simulation as specification require support from appropriate computing tools. The Virtual Test Bed software continues to evolve to prov...