Sciweavers

565 search results - page 4 / 113
» Compositional dynamic test generation
Sort
View
ISORC
2005
IEEE
14 years 29 days ago
Automated Model Checking and Testing for Composite Web Services
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong C...
TEC
2011
77views more  TEC 2011»
13 years 2 months ago
Differential Evolution With Composite Trial Vector Generation Strategies and Control Parameters
—Trial vector generation strategies and control parameters have a significant influence on the performance of differential evolution (DE). This paper studies whether the performa...
Yong Wang, Zixing Cai, Qingfu Zhang
ICC
2009
IEEE
147views Communications» more  ICC 2009»
14 years 2 months ago
A Distributed Protocol for Virtual Device Composition in Mobile Ad Hoc Networks
— The dynamic composition of systems of networked appliances, or virtual devices, in MANETs, enables users to generate, on-the-fly, complex strong specific systems. Current work ...
Eric Karmouch, Amiya Nayak
ICWS
2010
IEEE
13 years 8 months ago
WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition
This paper presents a methodology and a set of tools for the modelling, validation and testing of Web service composition, conceived and developed within the French national projec...
Ana R. Cavalli, Tien-Dung Cao, Wissam Mallouli, El...
TAP
2010
Springer
126views Hardware» more  TAP 2010»
14 years 13 days ago
DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces
Unit tests of object-oriented code exercise particular sequences of method calls. A key problem when automatically generating unit tests that achieve high structural code coverage ...
Suresh Thummalapenta, Jonathan de Halleux, Nikolai...