Automatic synthesis of behavior protocols for composable web-services
暂无分享,去创建一个
Paola Inverardi | Antonia Bertolino | Patrizio Pelliccione | Massimo Tivoli | A. Bertolino | P. Inverardi | M. Tivoli | Patrizio Pelliccione
[1] Antonio Brogi,et al. Automated Generation of BPEL Adapters , 2006, CIbSE.
[2] Eda Marchetti,et al. WS-TAXI: A WSDL-based Testing Tool for Web Services , 2009, 2009 International Conference on Software Testing Verification and Validation.
[3] Diego Calvanese,et al. Automatic Service Composition and Synthesis: the Roman Model , 2008, IEEE Data Eng. Bull..
[4] Andrzej Wasylkowski,et al. Mining Operational Preconditions , 2008 .
[5] Vasant Honavar,et al. MOSCOE: an Approach for Composing Web Services through Iterative Reformulation of Functional Specifications , 2008, Int. J. Artif. Intell. Tools.
[6] Carlo Ghezzi,et al. Synthesizing intensional behavior models by graph transformation , 2009, 2009 IEEE 31st International Conference on Software Engineering.
[7] Sonia Ben Mokhtar,et al. Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services , 2008, FASE.
[8] Annapaola Marconi,et al. Vibes: A Platform-Centric Approach to Building Recommender Systems. , 2008 .
[9] Annapaola Marconi,et al. Automated Composition of Web Services: the ASTRO Approach , 2008, IEEE Data Eng. Bull..
[10] Bengt Jonsson,et al. Regular Inference for State Machines Using Domains with Equality Tests , 2008, FASE.
[11] Leonardo Mariani,et al. Automatic generation of software behavioral models , 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.
[12] Karl Meinke,et al. Automated black-box testing of functional correctness using function approximation , 2004, ISSTA '04.
[13] Andreas Zeller,et al. Detecting object usage anomalies , 2007, ESEC-FSE '07.