Controllability Through Nondeterminism in Distributed Testing-Reference-Cited by-同舟云学术

Controllability Through Nondeterminism in Distributed Testing

Published:2016 Issue: Volume: Page:89-105
ISSN:0302-9743
Container-title:Testing Software and Systems
language:
Short-container-title:

Author:

Hierons Robert M.,Merayo Mercedes G.,Núñez Manuel

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-47443-4_6

Reference23 articles.

1. Lecture Notes in Computer Science;G von Bochmann,2008

2. Cacciari, L., Rafiq, O.: Controllability and observability in distributed testing. Inf. Softw. Technol. 41(11–12), 767–780 (1999)

3. Chow, T.S.: Testing software design modeled by finite state machines. IEEE Trans. Softw. Eng. 4, 178–187 (1978)

4. Dssouli, R., von Bochmann, G.: Error detection with multiple observers. In: 5th WG6.1 International Conference on Protocol Specification, Testing and Verification, PSTV 1985, pp. 483–494. North-Holland (1985)

5. Dssouli, R., von Bochmann, G.: Conformance testing with multiple observers. In: 6th WG6.1 International Conference on Protocol Specification, Testing and Verification, PSTV 1986, pp. 217–229. North-Holland (1986)

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Parallel mutation testing for large scale systems;Cluster Computing;2023-06-20

2. Efficient regression testing of distributed real-time reactive systems in the context of model-driven development;Software and Systems Modeling;2023-03-06

3. Control strategies for off-line testing of timed systems;Formal Methods in System Design;2022-04

4. Efficient Replay-based Regression Testing for Distributed Reactive Systems in the Context of Model-driven Development;2021 ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS);2021-10

5. OUTRIDER: Optimizing the mUtation Testing pRocess In Distributed EnviRonments;Procedia Computer Science;2017