A Model-Based Approach for Robustness Testing-Reference-Cited by-同舟云学术

A Model-Based Approach for Robustness Testing

Published:2005 Issue: Volume: Page:333-348
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Fernandez Jean-Claude,Mounier Laurent,Pachon Cyril

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11430230_23

Reference16 articles.

1. The Agedis Project, http://www.agedis.de

2. The Ballista Project, http://www.ece.cmu.edu/~koopman/ballista/

3. The Protos Project, http://www.ee.oulu.fi/research/ouspg/protos/

4. 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.) 12th International Workshop on Testing of Communicating Systems. Kluwer Academic Publishers, Dordrecht (1999)

5. Lecture Notes in Computer Science;M. Bozga,2002

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

1. Marine mammal morphometrics: 3D modeling and estimation validation;Frontiers in Marine Science;2023-06-23

2. Data-Driven Development of Three-Dimensional Subsurface Models from Sparse Measurements Using Bayesian Compressive Sampling: A Benchmarking Study;ASCE-ASME Journal of Risk and Uncertainty in Engineering Systems, Part A: Civil Engineering;2023-06

3. ra4xstate: An Efficient Quantitative Robustness Analysis Approach for Statecharts;2023 IEEE/ACM 5th International Workshop on Software Engineering Research and Practices for the IoT (SERP4IoT);2023-05

4. A Survey on Blockchain-Based Trust Management for Internet of Things;IEEE Internet of Things Journal;2023-04-01

5. Reporting Quality of Research Studies on AI Applications in Medical Images According to the CLAIM Guidelines in a Radiology Journal With a Strong Prominence in Asia;Korean Journal of Radiology;2023