Search - IFIP Open Digital Library Access content directly

Filter your results

4 results
Structure: Internal structure identifier : 2539
Page :
sorted by
Image document

Dissemination of reconfiguration policies on mesh networks

 François Fouquet , Erwan Daubert , Noël Plouzeau , Olivier Barais , Johann Bourcier , et al.
12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.16-30, ⟨10.1007/978-3-642-30823-9_2⟩
Conference papers hal-00688707v1
Image document

TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs

 Samira Tasharofi , Rajesh K. Karmani , Steven Lauterburg , Axel Legay , Darko Marinov , et al.
14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.219-234, ⟨10.1007/978-3-642-30793-5_14⟩
Conference papers hal-01528727v1
Image document

Managing Execution Environment Variability during Software Testing: An Industrial Experience

 Aymeric Hervieu , Benoit Baudry , Arnaud Gotlieb
24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.24-38, ⟨10.1007/978-3-642-34691-0_4⟩
Conference papers hal-01482409v1
Image document

Vidock: A Tool for Impact Analysis of Aspect Weaving on Test Cases

 Romain Delamare , Freddy Munoz , Benoit Baudry , Yves Traon
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.250-265, ⟨10.1007/978-3-642-16573-3_18⟩
Conference papers inria-00555069v2
Page :