Fast Testing of Critical Properties through Passive Testing-Reference-Cited by-同舟云学术

Fast Testing of Critical Properties through Passive Testing

Published:2003 Issue: Volume: Page:295-310
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Arnedo José Antonio,Cavalli Ana,Núñez Manuel

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-44830-6_22

Reference14 articles.

1. J.M. Ayache, P. Azema, and M. Diaz. Observer: A concept for on-line detection of control errors in concurrent systems. In 9th Symposium on Fault-Tolerant Computing, 1979.

2. R.S. Boyer and J.S. Moore. A fast string searching algorithm. Communications of the ACM, 20: 762–772, 1977.

3. A. Cavalli, C. Gervy, and S. Prokopenko. New approaches for passive testing using an extended finite state machine specification. In Concordia Prestigious Workshop on Communication Software Engineering, pages 225–250, 2001.

4. D.E. Knuth, J.H. Morris, and V.R. Pratt. Fast pattern matching in strings. SIAM Journal on Computing, 6(1):323–350, 1977.

5. R. Lai. A survey of communication protocol testing. Journal of Systems and Software, 62: 21–46, 2002.

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

1. A survey on formal active and passive testing with applications to the cloud;annals of telecommunications - annales des télécommunications;2015-02-18

2. Model-based mutation testing from security protocols in HLPSL;Software Testing, Verification and Reliability;2014-04-29

3. Passive Interoperability Testing for Request-Response Protocols: Method, Tool and Application on CoAP Protocol;Testing Software and Systems;2012

4. Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests;Testing Software and Systems;2011

5. Network Monitoring with Real-Time Properties: A Step Forward;Software Engineering Research, Management and Applications 2009;2009