author-photo

Robert M. Hierons

Brunel University London
University of London

351

Papers

6724

Citations

Citation Trend

Filter By

Papers (351) Sort By

Journal Conference Others

Metamorphic testing and test automation.

2022 Softw. Test. Verification Reliab.
- Robert M. Hierons
- Tao Xie
Show All
- Source
- Cite
- Save
Citations (0)
Combinatorial testing and model-based testing.

2022 Softw. Test. Verification Reliab.
- Robert M. Hierons
- Tao Xie
Show All
- Source
- Cite
- Save
Citations (0)
An information theoretic notion of software testability

2022 Information & Software Technology
Show All
- Source
- Cite
- Save
Citations (0)
Software Engineering for Robotics

2021
Show All
- Source
- Cite
- Save
Citations (0)
Removing redundant refusals : minimal complete test suites for failure trace semantics

2021
- M. Gazda
- Robert M. Hierons
Show All
- Source
- Cite
- Save
Citations (0)
TEA-Cloud: A Formal Framework for Testing Cloud Computing Systems

2020 IEEE Transactions on Reliability
Show All
- Source
- Cite
- Save
Citations (8)
Four-Valued Monitorability of ømega-Regular Languages.

2020
Show All
- Source
- Cite
- Save
Citations (0)
Four-valued monitorability of $\omega$-regular languages

2020 arXiv: Formal Languages and Automata Theory
Show All
- Source
- Cite
- Save
Citations (0)
Four-Valued Monitorability of $$\omega $$ω-Regular Languages

2020 ICFEM | International Conference on Formal Engineering Methods
Show All
- Source
- Cite
- Save
Citations (0)
Guest Editorial: Special Section on ICTSS

2020 Information & Software Technology
Show All
- Source
- Cite
- Save
Citations (0)