Search - IFIP Open Digital Library

6 results

authFullName_s : John Derrick

	For these 6 documents Send to ORCID RSS ATOM Export BibTeX XML-TEI CSV RTF EndNote PDF HTML Advanced export	Page :	sorted by Relevance Author A→Z Author Z→A Title A→Z Title Z→A Increasing publication date Decreasing publication date Increasing deposit date Decreasing deposit date

		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	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		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	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		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	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		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	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		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	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		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	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More