63 entries « 1 of 21 »

Mousavi, Mohammad Reza; Cavalcanti, Ana; Fisher, Michael; Dennis, Louise; Hierons, Rob; Kaddouh, Bilal; Law, Effie Lai-Chong; Richardson, Rob; Ringer, Jan Oliver; Tyukin, Ivan; Woodcock, Jim

Trustworthy Autonomous Systems Through Verifiability Journal Article

In: Computer, 56 (2), pp. 40-47, 2023.

Links | BibTeX

Baxter, James; Cavalcanti, Ana; Gazda, Maciej; Hierons, Robert M.

Testing Using CSP Models: Time, Inputs, and Outputs Journal Article

In: ACM Trans. Comput. Logic, 24 (2), 2023, ISSN: 1529-3785.

Abstract | Links | BibTeX

Pontolillo, Gabriel; Mousavi, Mohammad Reza

A Multi-Lingual Benchmark for Property-Based Testing of Quantum Programs Inproceedings

In: Proceedings of the 3rd International Workshop on Quantum Software Engineering, pp. 1–7, Association for Computing Machinery, Pittsburgh, Pennsylvania, 2023, ISBN: 9781450393355.

Abstract | Links | BibTeX

63 entries « 1 of 21 »