881 search results - page 10 / 177 » Continuous testing in eclipse |
ATVA
2009
Springer
15 years 4 months ago
2009
Springer
Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., verification of device drivers by Slam), the code model checking t...
115
click to vote
XPU
2010
Springer
14 years 8 months ago
2010
Springer
Software product lines - families of similar but not identical software products - need to address the issue of feature variability. That is, a single feature might require various...
108
click to vote
ATVA
2008
Springer
14 years 11 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...
DATE
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—Today we can identify a big gap between requirement specification and the generation of test environments. This article extends the Classification Tree Method for Embe...
SIGSOFT
2010
ACM
14 years 7 months ago
2010
ACM
In prior work we have developed an escape analysis to help developers identify sources of object churn (i.e., excessive use of temporaries) in large framework-based applications. ...