Ian Bayley

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