Ian Bayley

According to our database, Ian Bayley authored at least 37 papers between 2004 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Discovering boundary values of feature-based machine learning classifiers through exploratory datamorphic testing.

Hong Zhu, Ian Bayley

J. Syst. Softw., 2022

Metrics for Measuring Error Extents of Machine Learning Classifiers.

Hong Zhu, Ian Bayley, Mark Green

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

2020

Special section on testing and repair for software engineering technologies and applications.

Ian Bayley, Yan Cai, Patrícia D. L. Machado

Softw. Qual. J., 2020

Pattern-Based Approach to Modelling and Verifying System Security.

Xiaoyu Zheng, Dongmei Liu, Hong Zhu, Ian Bayley

Proceedings of the 14th IEEE International Conference on Service Oriented Systems Engineering, 2020

Continuous Debugging of Microservices.

Hong Zhu, Ian Bayley, Hongbo Wang

Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2020

Exploratory Datamorphic Testing of Classification Applications.

Hong Zhu, Ian Bayley

Proceedings of the AST@ICSE 2020: IEEE/ACM 1st International Conference on Automation of Software Test, 2020

Automation of Datamorphic Testing.

Hong Zhu, Ian Bayley, Dongmei Liu, Xiaoyu Zheng

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

2019

Morphy: A Datamorphic Software Test Automation Tool.

Hong Zhu, Ian Bayley, Dongmei Liu, Xiaoyu Zheng

CoRR, 2019

Datamorphic Testing: A Methodology for Testing AI Applications.

Hong Zhu, Dongmei Liu, Ian Bayley, Rachel Harrison, Fabio Cuzzolin

CoRR, 2019

Datamorphic Testing: A Method for Testing Intelligent Applications.

Hong Zhu, Dongmei Liu, Ian Bayley, Rachel Harrison, Fabio Cuzzolin

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

2018

Temporal case-based reasoning for type 1 diabetes mellitus bolus insulin decision support.

Daniel Brown, Arantza Aldea, Rachel Harrison, Clare E. Martin, Ian Bayley

Artif. Intell. Medicine, 2018

If Docker is the Answer, What is the Question?

Hong Zhu, Ian Bayley

Proceedings of the IEEE Symposium on Service-Oriented System Engineering, 2018

Formal Analysis of Load Balancing in Microservices with Scenario Calculus.

Hong Zhu, Hongbo Wang, Ian Bayley

Proceedings of the 11th IEEE International Conference on Cloud Computing, 2018

2017

On the Composibility of Design Patterns: Extended Abstract.

Hong Zhu, Ian Bayley

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016

CAOPLE: A Programming Language for Microservices SaaS.

ChengZhi Xu, Hong Zhu, Ian Bayley, David E. Lightfoot, Mark Green, Peter Marshall

Proceedings of the 2016 IEEE Symposium on Service-Oriented System Engineering, 2016

Evaluating the Ontological Semantic Description of Web Services Generated from Algebraic Specifications.

Dongmei Liu, Yunfei Yang, Ying Chen, Hong Zhu, Ian Bayley, Arantza Aldea

Proceedings of the 2016 IEEE Symposium on Service-Oriented System Engineering, 2016

Monic Testing of Web Services Based on Algebraic Specifications.

Dongmei Liu, Xian Wu, Xin Zhang, Hong Zhu, Ian Bayley

Proceedings of the 2016 IEEE Symposium on Service-Oriented System Engineering, 2016

CIDE: An Integrated Development Environment for Microservices.

Desheng Liu, Hong Zhu, ChengZhi Xu, Ian Bayley, David E. Lightfoot, Mark Green, Peter Marshall

Proceedings of the IEEE International Conference on Services Computing, 2016

2015

On the Composability of Design Patterns.

Hong Zhu, Ian Bayley

IEEE Trans. Software Eng., 2015

Automated Testing of Web Services Based on Algebraic Specifications.

Dongmei Liu, Yuxin Liu, Xin Zhang, Hong Zhu, Ian Bayley

Proceedings of the 2015 IEEE Symposium on Service-Oriented System Engineering, 2015

Big SaaS: The Next Step beyond Big Data.

Hong Zhu, Ian Bayley, Muhammad Younas, David E. Lightfoot, Basel Yousef, Dongmei Liu

Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015

2014

SOFIA: An Algebraic Specification Language for Developing Services.

Dongmei Liu, Hong Zhu, Ian Bayley

Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014

Challenges for a Formal Framework for Patterns.

Ian Bayley

Proceedings of the Cyberpatterns, 2014

2013

An algebra of design patterns.

Hong Zhu, Ian Bayley

ACM Trans. Softw. Eng. Methodol., 2013

A Case Study on Algebraic Specification of Cloud Computing.

Dongmei Liu, Hong Zhu, Ian Bayley

Proceedings of the 21st Euromicro International Conference on Parallel, 2013

From Algebraic Specification to Ontological Description of Service Semantics.

Dongmei Liu, Hong Zhu, Ian Bayley

Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

Developing a mobile case-based reasoning application to assist type 1 diabetes management.

Daniel Brown, Ian Bayley, Rachel Harrison, Clare E. Martin

Proceedings of the IEEE 15th International Conference on e-Health Networking, 2013

2010

Formal specification of the variants and behavioural features of design patterns.

Ian Bayley, Hong Zhu

J. Syst. Softw., 2010

Laws of Pattern Composition.

Hong Zhu, Ian Bayley

Proceedings of the Formal Methods and Software Engineering, 2010

2009

Tool Support for Design Pattern Recognition at Model Level.

Hong Zhu, Ian Bayley, Lijun Shan, Richard Amphlett

Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009

Formal Descriptive Semantics of UML and Its Applications.

Hong Zhu, Lijun Shan, Ian Bayley, Richard Amphlett

Proceedings of the UML 2 Semantics and Applications, 2009

2008

On the Composition of Design Patterns.

Ian Bayley, Hong Zhu

Proceedings of the Eighth International Conference on Quality Software, 2008

Specifying Behavioural Features of Design Patterns in First Order Logic.

Ian Bayley, Hong Zhu

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

Formalising Design Patterns in Predicate Logic.

Ian Bayley

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

2005

A Translation-Facilitated Comparison Between the Common Language Runtime and the Java Virtual Machine.

Sam Shiel, Ian Bayley

Proceedings of the First Workshop on Bytecode Semantics, 2005

JVM Bytecode Verification Without Dataflow Analysis.

Ian Bayley, Sam Shiel

Proceedings of the First Workshop on Bytecode Semantics, 2005

2004

Disciplined, efficient, generalised folds for nested datatypes.

Clare E. Martin, Jeremy Gibbons, Ian Bayley

Formal Aspects Comput., 2004