Dr Maciej Gazda
School of Computer Science
Research Associate
m.gazda@sheffield.ac.uk
+44 114 222 1800
+44 114 222 1800
Regent Court (DCS)
Full contact details
Dr Maciej Gazda
School of Computer Science
Regent Court (DCS)
211 Portobello
Sheffield
S1 4DP
School of Computer Science
Regent Court (DCS)
211 Portobello
Sheffield
S1 4DP
- Publications
-
Journal articles
- Removing redundant refusals: minimal complete test suites for failure trace semantics. Information and Computation, 291. View this article in WRRO
- Conformance relations and hyperproperties for doping detection in time and space. Logical Methods in Computer Science, 18(1).
- Congruence from the operator’s point of view. Acta Informatica, 57(3-5), 329-351.
- View this article in WRRO Model independent refusal trace testing. Science of Computer Programming.
- Testing using CSP models: time, inputs, and outputs. ACM Transactions on Computational Logic.
Chapters
- Mutation Testing for RoboChart, Software Engineering for Robotics (pp. 345-375). Springer International Publishing
Conference proceedings papers
- Conformance-based doping detection for cyber-physical systems. Formal Techniques for Distributed Objects, Components, and Systems (pp 59-77). Valletta, Malta, 15 June 2020 - 19 June 2020. View this article in WRRO
- Logical characterisation of hybrid conformance. Leibniz International Proceedings in Informatics, LIPIcs, Vol. 168
- Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics. ACM/IEEE LICS 2021 36th Annual Symposium on Logic in Computer Science, 29 June 2021 - 2 July 2021.