Ian Bayley

Publication Activity (10 Years)

Years Active: 2004-2022
Publications (10 Years): 23

Top Topics

Specification Language

Machine Learning

Design Patterns

Top Venues

Artif. Intell. Medicine

Publications

Hong Zhu, Ian Bayley, Mark Green
Metrics for Measuring Error Extents of Machine Learning Classifiers. AITest (2022)
Hong Zhu, Ian Bayley
Discovering boundary values of feature-based machine learning classifiers through exploratory datamorphic testing. J. Syst. Softw. 187 (2022)
Hong Zhu, Ian Bayley
Discovering Boundary Values of Feature-based Machine Learning Classifiers through Exploratory Datamorphic Testing. CoRR (2021)
Ian Bayley, Yan Cai, Patrícia D. L. Machado
Special section on testing and repair for software engineering technologies and applications. Softw. Qual. J. 28 (2) (2020)
Hong Zhu, Ian Bayley, Dongmei Liu, Xiaoyu Zheng
Automation of Datamorphic Testing. AITest (2020)
Hong Zhu, Ian Bayley, Hongbo Wang
Continuous Debugging of Microservices. ISPA/BDCloud/SocialCom/SustainCom (2020)
Xiaoyu Zheng, Dongmei Liu, Hong Zhu, Ian Bayley
Pattern-Based Approach to Modelling and Verifying System Security. SOSE (2020)
Hong Zhu, Ian Bayley
Exploratory Datamorphic Testing of Classification Applications. AST@ICSE (2020)
Hong Zhu, Dongmei Liu, Ian Bayley, Rachel Harrison, Fabio Cuzzolin
Datamorphic Testing: A Methodology for Testing AI Applications. CoRR (2019)
Hong Zhu, Dongmei Liu, Ian Bayley, Rachel Harrison, Fabio Cuzzolin
Datamorphic Testing: A Method for Testing Intelligent Applications. AITest (2019)
Hong Zhu, Ian Bayley, Dongmei Liu, Xiaoyu Zheng
Morphy: A Datamorphic Software Test Automation Tool. CoRR (2019)
Hong Zhu, Ian Bayley
If Docker is the Answer, What is the Question? SOSE (2018)
Hong Zhu, Hongbo Wang, Ian Bayley
Formal Analysis of Load Balancing in Microservices with Scenario Calculus. IEEE CLOUD (2018)
Daniel Brown, Arantza Aldea, Rachel Harrison, Clare E. Martin, Ian Bayley
Temporal case-based reasoning for type 1 diabetes mellitus bolus insulin decision support. Artif. Intell. Medicine 85 (2018)
Hong Zhu, Ian Bayley
On the Composibility of Design Patterns: Extended Abstract. COMPSAC (1) (2017)
Dongmei Liu, Yunfei Yang, Ying Chen, Hong Zhu, Ian Bayley, Arantza Aldea
Evaluating the Ontological Semantic Description of Web Services Generated from Algebraic Specifications. SOSE (2016)
Desheng Liu, Hong Zhu, ChengZhi Xu, Ian Bayley, David E. Lightfoot, Mark Green, Peter Marshall
CIDE: An Integrated Development Environment for Microservices. SCC (2016)
ChengZhi Xu, Hong Zhu, Ian Bayley, David E. Lightfoot, Mark Green, Peter Marshall
CAOPLE: A Programming Language for Microservices SaaS. SOSE (2016)
Dongmei Liu, Xian Wu, Xin Zhang, Hong Zhu, Ian Bayley
Monic Testing of Web Services Based on Algebraic Specifications. SOSE (2016)
Hong Zhu, Ian Bayley, Muhammad Younas, David E. Lightfoot, Basel Yousef, Dongmei Liu
Big SaaS: The Next Step beyond Big Data. CLOUD (2015)
Hong Zhu, Ian Bayley
On the Composability of Design Patterns. IEEE Trans. Software Eng. 41 (11) (2015)
Dongmei Liu, Yuxin Liu, Xin Zhang, Hong Zhu, Ian Bayley
Automated Testing of Web Services Based on Algebraic Specifications. SOSE (2015)
Hong Zhu, Ian Bayley, Muhammad Younas, David E. Lightfoot, Basel Yousef, Dongmei Liu
Big SaaS: The Next Step Beyond Big Data. BigData Congress (2015)
Dongmei Liu, Hong Zhu, Ian Bayley
SOFIA: An Algebraic Specification Language for Developing Services. SOSE (2014)
Dongmei Liu, Hong Zhu, Ian Bayley
From Algebraic Specification to Ontological Description of Service Semantics. ICWS (2013)
Daniel Brown, Ian Bayley, Rachel Harrison, Clare E. Martin
Developing a mobile case-based reasoning application to assist type 1 diabetes management. Healthcom (2013)
Hong Zhu, Ian Bayley
An algebra of design patterns. ACM Trans. Softw. Eng. Methodol. 22 (3) (2013)
Dongmei Liu, Hong Zhu, Ian Bayley
A Case Study on Algebraic Specification of Cloud Computing. PDP (2013)
Hong Zhu, Ian Bayley
Laws of Pattern Composition. ICFEM (2010)
Ian Bayley, Hong Zhu
Formal specification of the variants and behavioural features of design patterns. J. Syst. Softw. 83 (2) (2010)
Hong Zhu, Ian Bayley, Lijun Shan, Richard Amphlett
Tool Support for Design Pattern Recognition at Model Level. COMPSAC (1) (2009)
Ian Bayley, Hong Zhu
Specifying Behavioural Features of Design Patterns in First Order Logic. COMPSAC (2008)
Ian Bayley, Hong Zhu
On the Composition of Design Patterns. QSIC (2008)
Ian Bayley
Formalising Design Patterns in Predicate Logic. SEFM (2007)
Sam Shiel, Ian Bayley
A Translation-Facilitated Comparison Between the Common Language Runtime and the Java Virtual Machine. Electron. Notes Theor. Comput. Sci. 141 (1) (2005)
Ian Bayley, Sam Shiel
JVM Bytecode Verification Without Dataflow Analysis. Electron. Notes Theor. Comput. Sci. 141 (1) (2005)
Clare E. Martin, Jeremy Gibbons, Ian Bayley
Disciplined, efficient, generalised folds for nested datatypes. Formal Aspects Comput. 16 (1) (2004)