Testing Real-Time Multi Input-Output Systems-Reference-Cited by-同舟云学术

Testing Real-Time Multi Input-Output Systems

Published:2005 Issue: Volume: Page:264-279
ISSN:0302-9743
Container-title:Formal Methods and Software Engineering
language:
Short-container-title:

Author:

Briones Laura Brandán,Brinksma Ed

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11576280_19.pdf

Reference19 articles.

1. Belinfante, A., Feenstra, J., de Vries, R., Tretmans, J., Goga, N., Feijs, L., Mauw, S., Heerink, L.: Formal test automation: A simple experiment. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds.) Int. Workshop on Testing of Communicating Systems 12, pp. 179–196. Kluwer, Dordrecht (1999)

2. Lecture Notes in Computer Science;H. Bohnenkamp,2005

3. Brinksma, E.: On the existence of canonical testers. In: Memorandum INF-87-5. University of Twente, Enschede, The Netherlands (1987)

4. Brinksma, E.: A theory for the derivation of tests. In: Aggarwal, S., Sabnani, K. (eds.) Protocol Specification, Testing, and Verification VIII, pp. 63–74. North-Holland, Amsterdam (1988)

5. Lecture Notes in Computer Science;L. Brandán Briones,2005

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

1. Mutant Equivalence as Monotonicity in Parametric Timed Games;2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE);2023-05

2. Testing with Inputs and Outputs in CSP;Fundamental Approaches to Software Engineering;2013

3. A formal framework to test soft and hard deadlines in timed systems;Software Testing, Verification and Reliability;2011

4. Testing timed systems modeled by Stream X-machines;Software & Systems Modeling;2009-08-14

5. ${\cal T}\! {\cal H} {\cal O} {\cal T}\! {\cal L}$ : A Timed Extension of ${\cal H} {\cal O} {\cal T}\! {\cal L}$;Testing of Software and Communicating Systems;2008