Search - IFIP Open Digital Library Access content directly

Filter your results

2 results
Structure: Internal structure identifier : 23526
Image document

dFault: Fault Localization in Large-Scale Peer-to-Peer Systems

Pawan Prakash , Ramana Rao Kompella , Venugopalan Ramasubramanian , Ranveer Chandra
ACM/IFIP/USENIX 11th International Middleware Conference (MIDDLEWARE), Nov 2010, Bangalore, India. pp.252-272, ⟨10.1007/978-3-642-16955-7_13⟩
Conference papers hal-01055280v1
Image document

Alternating Simulation and IOCO

Margus Veanes , Nikolaj Bjørner
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.47-62, ⟨10.1007/978-3-642-16573-3_5⟩
Conference papers hal-01055244v1