Generating complete controllable test suites for distributed testing
- Submitting institution
-
Brunel University London
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 011-100482-5152
- Type
- D - Journal article
- DOI
-
10.1109/tse.2014.2364035
- Title of journal
- Ieee Transactions On Software Engineering
- Article number
- -
- First page
- 279
- Volume
- 41
- Issue
- 3
- ISSN
- 0098-5589
- Open access status
- Out of scope for open access requirements
- Month of publication
- October
- Year of publication
- 2014
- URL
-
https://bura.brunel.ac.uk/handle/2438/9973
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
0
- Research group(s)
-
2 - Software, Systems & Security (SSS)
- Citation count
- 7
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This research identifies more efficient and promising methods for distributed testing based on finite state machines to help overcome the practical problems of finding suitable test suites for distributed systems. Published in the top journal on software engineering, the paper has provided an innovative and rigorous way of generating the cm-complete test suites. The notion of controllability as a formal property of test suites has assisted subsequent theoretical modelling by groups at Linnaeus/Halmstad U and the Universidad Complutense de Madri.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -
