Informática
Fakultät
University of Sheffield
Sheffield, Reino UnidoPublikationen in Zusammenarbeit mit Forschern von University of Sheffield (13)
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
2014
-
Test case generation by symbolic execution: Basic concepts, a CLP-based instance, and actor-based concurrency
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2012
-
Resolving ambiguity in biomedical text to improve summarization
Information Processing and Management, Vol. 48, Núm. 4, pp. 755-766
2010
-
Improving summarization of biomedical documents using word sense disambiguation
Proceedings of the Annual Meeting of the Association for Computational Linguistics