498 search results - page 41 / 100 » Model Validation using Automatically Generated Requirements-... |
139
Voted
WWW
2010
ACM
15 years 9 months ago
2010
ACM
Middleware for Web service compositions, such as BPEL engines, provides the execution environment for services as well as additional functionalities, such as monitoring and self-t...
158
click to vote
TACAS
2012
Springer
13 years 9 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
136
click to vote
FAC
2008
15 years 2 months ago
2008
Abstract. Slicing is a program analysis technique that was originally introduced to improve program debugging and understanding. The purpose of a slicing algorithm is to remove the...
140
click to vote
ICWS
2010
IEEE
15 years 3 months ago
2010
IEEE
The ever-growing choice in diverse services is making service orchestration variability an essential aspect of a composite web service. Influence of this variation on the Quality o...
151
click to vote
MMM
2011
Springer
14 years 6 months ago
2011
Springer
Visual summarization of landmarks is an interesting and non-trivial task with the availability of gigantic community-contributed resources. In this work, we investigate ways to gen...