Design and Testing of Reliable Systems
![Foto de Design and Testing of Reliable Systems](/img/grupo.png)
![Foto de University of Sheffield](/img/noimage_org.png)
University of Sheffield
Sheffield, Reino UnidoPublicaciones en colaboración con investigadores/as de University of Sheffield (10)
2023
-
Implementation relations and testing for cyclic systems: Adding probabilities
Robotics and Autonomous Systems, Vol. 165
2021
-
Mutation testing for robochart
Software Engineering for Robotics (Springer International Publishing), pp. 345-375
-
TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems
IEEE Transactions on Reliability, Vol. 70, Núm. 1, pp. 261-284
-
Using mutual information to test from Finite State Machines: Test suite selection
Information and Software Technology, Vol. 132
2020
-
Implementation relations and testing for cyclic systems with refusals and discrete time
Journal of Systems and Software, Vol. 170
-
Message from A-MOST 2020 Chairs
Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020
2019
-
An Implementation Relation for Cyclic Systems with Refusals and Discrete Time
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Message from the a- Most 2019 chairs
Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019
-
Using Squeeziness to test component-based systems defined as Finite State Machines
Information and Software Technology, Vol. 112, pp. 132-147
2018
-
MoDeVVa 2018 15
th
workshop on model-driven engineering, verification and validation
CEUR Workshop Proceedings