Search - IFIP Open Digital Library Access content directly

Filter your results

9 results
authFullName_s : Heike Wehrheim
authFullName_s : John Derrick
Page :
sorted by
Image document

An Observational Approach to Defining Linearizability on Weak Memory Models

 John Derrick , Graeme Smith
37th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2017, Neuchâtel, Switzerland. pp.108-123, ⟨10.1007/978-3-319-60225-7_8⟩
Conference papers hal-01658421v1
Image document

Automatic Fairness Testing of Machine Learning Models

 Arnab Sharma , Heike Wehrheim
32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.255-271, ⟨10.1007/978-3-030-64881-7_16⟩
Conference papers hal-03239825v1
Image document

A Short Survey on Using Software Error Localization for Service Compositions

 Julia Krämer , Heike Wehrheim
5th European Conference on Service-Oriented and Cloud Computing (ESOCC), Sep 2016, Vienna, Austria. pp.248-262, ⟨10.1007/978-3-319-44482-6_16⟩
Conference papers hal-01638583v1
Image document

Increasing Functional Coverage by Inductive Testing: A Case Study

 Neil Walkinshaw , Kirill Bogdanov , John Derrick , Javier Paris
22nd IFIP WG 6.1 International Conference on Testing Software and Systems (ICTSS), Nov 2010, Natal, Brazil. pp.126-141, ⟨10.1007/978-3-642-16573-3_10⟩
Conference papers hal-01055254v1
Image document

Bounded Model Checking of Graph Transformation Systems via SMT Solving

 Tobias Isenberg , Dominik Steenken , Heike Wehrheim
15th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOOODS) / 33th International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2013, Florence, Italy. pp.178-192, ⟨10.1007/978-3-642-38592-6_13⟩
Conference papers hal-01515236v1
Image document

mu2: A Refactoring-Based Mutation Testing Framework for Erlang

 Ramsay Taylor , John Derrick
27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.178-193, ⟨10.1007/978-3-319-25945-1_11⟩
Conference papers hal-01470148v1
Image document

Defining and Verifying Durable Opacity: Correctness for Persistent Software Transactional Memory

 Eleni Bila , Simon Doherty , Brijesh Dongol , John Derrick , Gerhard Schellhorn , et al.
40th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2020, Valletta, Malta. pp.39-58, ⟨10.1007/978-3-030-50086-3_3⟩
Conference papers hal-03283234v1
Image document

Using Behaviour Inference to Optimise Regression Test Sets

 Ramsay Taylor , Mathew Hall , Kirill Bogdanov , John Derrick
24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.184-199, ⟨10.1007/978-3-642-34691-0_14⟩
Conference papers hal-01482401v1
Image document

Relational Concurrent Refinement: Timed Refinement

 John Derrick , Eerke Boiten
13th Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 31th International Conference on FORmal TEchniques for Networked and Distributed Systems (FORTE), Jun 2011, Reykjavik,, Iceland. pp.121-137, ⟨10.1007/978-3-642-21461-5_8⟩
Conference papers hal-01583329v1
Page :