Rob Alexander

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2020

2019

Situation Coverage Testing for a Simulated Autonomous Car - an Initial Case Study.

[BibT_eX]

[DOI]

Heather Hawkins

CoRR, 2019

2018

Evaluation of Mutation Testing in a Nuclear Industry Case Study.

[BibT_eX]

[DOI]

Inmaculada Medina-Bulo

IEEE Trans. Reliab., 2018

2017

Incorporating Epistemic Uncertainty into the Safety Assurance of Socio-Technical Systems.

[BibT_eX]

[DOI]

Chris Leong

Proceedings of the Proceedings 2nd International Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, 2017

Evolving test environments to identify faults in swarm robotics algorithms.

[BibT_eX]

[DOI]

Hao Wei

Jon Timmis

Proceedings of the 2017 IEEE Congress on Evolutionary Computation, 2017

2016

Testing Method for Multi-UAV Conflict Resolution Using Agent-Based Simulation and Multi-Objective Search.

[BibT_eX]

[DOI]

Xueyi Zou

J. Aerosp. Inf. Syst., 2016

A Systematic Approach for Designing Mutation Operators for MDE Languages.

[BibT_eX]

[DOI]

Proceedings of the 13th Workshop on Model-Driven Engineering, 2016

Safe Multi-objective Planning with a Posteriori Preferences.

[BibT_eX]

[DOI]

Ralph Eastwood

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

On the Validation of a UAV Collision Avoidance System Developed by Model-Based Optimization: Challenges and a Tentative Partial Solution.

[BibT_eX]

[DOI]

Xueyi Zou

Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

Mindful Technologies Research and Developments in Science and Art.

[BibT_eX]

[DOI]

Proceedings of the 2016 AAAI Spring Symposia, 2016

2015

The optimisation of stochastic grammars to enable cost-effective probabilistic structural testing.

[BibT_eX]

[DOI]

J. Syst. Softw., 2015

Subdomain-based test data generation.

[BibT_eX]

[DOI]

J. Syst. Softw., 2015

Semantic Mutation Testing for Multi-agent Systems.

[BibT_eX]

[DOI]

Zhan Huang

Proceedings of the Engineering Multi-Agent Systems - Third International Workshop, 2015

2014

Fixing the cracks in the crystal ball: A maturity model for quantitative risk assessment.

[BibT_eX]

[DOI]

Andrew Rae

Reliab. Eng. Syst. Saf., 2014

Evolving robust networks for systems-of-systems: is it viable for large networks?

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2014

Safety Validation of Sense and Avoid Algorithms Using Simulation and Evolutionary Search.

[BibT_eX]

[DOI]

Xueyi Zou

Proceedings of the Computer Safety, Reliability, and Security, 2014

Probability-Based Semantic Interpretation of Mutants.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Searching for Risk in Large Complex Spaces.

[BibT_eX]

[DOI]

Kester Dean Clegg

Proceedings of the Applications of Evolutionary Computation - 17th European Conference, 2014

Mutation Testing for Jason Agents.

[BibT_eX]

[DOI]

Zhan Huang

John A. Clark

Proceedings of the Engineering Multi-Agent Systems - Second International Workshop, 2014

2013

Efficient Subdomains for Random Testing.

[BibT_eX]

[DOI]

Proceedings of the Search Based Software Engineering - 5th International Symposium, 2013

Testing Autonomous Robot Control Software Using Procedural Content Generation.

[BibT_eX]

[DOI]

James Arnold

Proceedings of the Computer Safety, Reliability, and Security, 2013

Using Mutation Analysis to Evolve Subdomains for Random Testing.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

The discovery and quantification of risk in high dimensional search spaces.

[BibT_eX]

[DOI]

Kester Dean Clegg

Proceedings of the Genetic and Evolutionary Computation Conference, 2013

Selecting Highly Efficient Sets of Subdomains for Mutation Adequacy.

[BibT_eX]

[DOI]

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Evolving Robust Networks for Systems-of-Systems.

[BibT_eX]

[DOI]

Proceedings of the Search Based Software Engineering - 4th International Symposium, 2012

2011

Using a Software Safety Argument Pattern Catalogue: Two Case Studies.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2011

2010

A case for dynamic risk assessment in NEC systems of systems.

[BibT_eX]

[DOI]

Jonathan M. Aitken

Proceedings of the 5th International Conference on System of Systems Engineering, 2010

2009

Towards Using Simulation to Evaluate Safety Policy for Systems of Systems.

[BibT_eX]

[DOI]

Proceedings of the Safety and Security in Multiagent Systems, 2009

2006

System of Systems Hazard Analysis Using Simulation and Machine Learning.

[BibT_eX]

[DOI]

Dimitar Kazakov