280 search results - page 31 / 56 » Generating Regression Tests via Model Checking |
120
Voted
EUROMICRO
2007
IEEE
15 years 4 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
141
Voted
FLAIRS
2007
15 years 4 months ago
2007
The desire to predict power generation at a given point in time is essential to power scheduling, energy trading, and availability modeling. The research conducted within is conce...
137
Voted
SDM
2010
SIAM
15 years 3 months ago
2010
SIAM
Many sorts of structured data are commonly stored in a multi-relational format of interrelated tables. Under this relational model, exploratory data analysis can be done by using ...
109
Voted
ICCAD
2004
IEEE
15 years 11 months ago
2004
IEEE
While process variations are becoming more significant with each new IC technology generation, they are often modeled via linear regression models so that the resulting performanc...
115
click to vote
KBSE
2007
IEEE
15 years 8 months ago
2007
IEEE
Concurrent programs are difficult to debug and verify because of the nondeterministic nature of concurrent executions. A particular concurrency-related bug may only show up under ...