2024
Benchmarks and Metrics for Evaluations of Code Generation: A Critical Review.
Proceedings of the IEEE International Conference on Artificial Intelligence Testing, 2024
ScenEval: A Benchmark for Scenario-Based Evaluation of Code Generation.
Proceedings of the IEEE International Conference on Artificial Intelligence Testing, 2024
2022
Discovering boundary values of feature-based machine learning classifiers through exploratory datamorphic testing.
J. Syst. Softw., 2022
Metrics for Measuring Error Extents of Machine Learning Classifiers.
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2022
2020
Special section on testing and repair for software engineering technologies and applications.
Softw. Qual. J., 2020
Pattern-Based Approach to Modelling and Verifying System Security.
Proceedings of the 14th IEEE International Conference on Service Oriented Systems Engineering, 2020
Continuous Debugging of Microservices.
Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2020
Exploratory Datamorphic Testing of Classification Applications.
Proceedings of the AST@ICSE 2020: IEEE/ACM 1st International Conference on Automation of Software Test, 2020
Automation of Datamorphic Testing.
Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2020
2019
Morphy: A Datamorphic Software Test Automation Tool.
CoRR, 2019
Datamorphic Testing: A Methodology for Testing AI Applications.
CoRR, 2019
Datamorphic Testing: A Method for Testing Intelligent Applications.
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.
Artif. Intell. Medicine, 2018
If Docker is the Answer, What is the Question?
Proceedings of the IEEE Symposium on Service-Oriented System Engineering, 2018
Formal Analysis of Load Balancing in Microservices with Scenario Calculus.
Proceedings of the 11th IEEE International Conference on Cloud Computing, 2018
2017
On the Composibility of Design Patterns: Extended Abstract.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017
2016
CAOPLE: A Programming Language for Microservices SaaS.
Proceedings of the 2016 IEEE Symposium on Service-Oriented System Engineering, 2016
Evaluating the Ontological Semantic Description of Web Services Generated from Algebraic Specifications.
Proceedings of the 2016 IEEE Symposium on Service-Oriented System Engineering, 2016
Monic Testing of Web Services Based on Algebraic Specifications.
Proceedings of the 2016 IEEE Symposium on Service-Oriented System Engineering, 2016
CIDE: An Integrated Development Environment for Microservices.
Proceedings of the IEEE International Conference on Services Computing, 2016
2015
On the Composability of Design Patterns.
IEEE Trans. Software Eng., 2015
Automated Testing of Web Services Based on Algebraic Specifications.
Proceedings of the 2015 IEEE Symposium on Service-Oriented System Engineering, 2015
Big SaaS: The Next Step beyond Big Data.
Proceedings of the 8th IEEE International Conference on Cloud Computing, 2015
2014
SOFIA: An Algebraic Specification Language for Developing Services.
Proceedings of the 8th IEEE International Symposium on Service Oriented System Engineering, 2014
Challenges for a Formal Framework for Patterns.
Proceedings of the Cyberpatterns, 2014
2013
An algebra of design patterns.
ACM Trans. Softw. Eng. Methodol., 2013
A Case Study on Algebraic Specification of Cloud Computing.
Proceedings of the 21st Euromicro International Conference on Parallel, 2013
From Algebraic Specification to Ontological Description of Service Semantics.
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.
Proceedings of the IEEE 15th International Conference on e-Health Networking, 2013
2010
Formal specification of the variants and behavioural features of design patterns.
J. Syst. Softw., 2010
Laws of Pattern Composition.
Proceedings of the Formal Methods and Software Engineering, 2010
2009
Tool Support for Design Pattern Recognition at Model Level.
Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, 2009
Formal Descriptive Semantics of UML and Its Applications.
Proceedings of the UML 2 Semantics and Applications, 2009
2008
On the Composition of Design Patterns.
Proceedings of the Eighth International Conference on Quality Software, 2008
Specifying Behavioural Features of Design Patterns in First Order Logic.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008
2007
Formalising Design Patterns in Predicate Logic.
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.
Proceedings of the First Workshop on Bytecode Semantics, 2005
JVM Bytecode Verification Without Dataflow Analysis.
Proceedings of the First Workshop on Bytecode Semantics, 2005
2004
Disciplined, efficient, generalised folds for nested datatypes.
Formal Aspects Comput., 2004