Experimental method for testing networks

Proceedings of the 2005 International Conference on Software Engineering Research and Practice, SERP'05

Volumn 2, Issue , 2005, Pages 935-941

  Griffeth, Nancy D ^a   Djouvas, Constantinos ^b  

^a CITY UNIVERSITY OF NEW YORK   (United States)

^b City College of New York   (United States)

Author keywords

Experimental method distributed systems; Modelchecking; Networks; Testing; Theorem proving

Indexed keywords

EXPERIMENTAL METHOD DISTRIBUTED SYSTEMS; IN NETWORKS; ITERATIVE PROCESS; LARGE NETWORKS; MODELCHECKING; NETWORKS; RUNNING TESTS; SELF-SIMILAR; TESTING PROCESS;

FORECASTING; SOFTWARE ENGINEERING; THEOREM PROVING;

ENGINEERING RESEARCH;

EID: 40949136326     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. Y. Dong, C. R. Ramakrisnan and Scott A. Smolka. Model Checking and Evidence Exploration. IEEE Symposium on Engineering Computer Based Systems (ECBS), 2003.
2. Ronald Aylmer Fisher. Statistical Methods, Experimental Design, and Scientific Inference. Oxford University Press, June 1, 1990.
3. Nancy D. Griffeth, Ruibing Hao, David Lee, Rakesh K. Sinha: Integrated System Interoperability Testing with Applications to VOIP. FORTE 2000: 69-84.
4. Gerard J. Holzmann. Design and Validation of Computer Protocols, Prentice Hall, New Jersey, 1991, ISBN 0-13-539925-4.
5. IEEE Computer Society. 802. ID™: IEEE Standard for Local and metropolitan area networks Media Access Control (MAC) Bridges. IEEE Std 802.1d - 2004. June 9, 2004.
6. C. Kaner, J. Falk, and H. Nguyen. Testing Computer Software (second edition). John Wiley & Sons, 1999.
7. Dilsun K. Kaynar, Nancy Lynch, Roberto Segala, and Frits Vaandrager. The Theory of Timed I/O Automata. Revised and shortened version of Technical MIT-LCS-TR-917a (from 2004), March, 2005. http://theorv.lcs.mit.edu/tds/lynch- pubs.html
8. G. LeLann. Distributed systems, towards a formal approach. In Information Processing 77, pages 155-160. North-Holland, New York, 1977.
9. C. Lott, A. Jain, and S. Dalai. Modeling Requirements for Combinatorial Software Testing. Proceedings of the ICSE 2005 Workshop on Advances in Model-Based Software Testing, St. Louis, MO, May 2005.
10. Nancy Lynch. Distributed Algorithms. Morgan-Kaufmann, San Francisco, CA, 1996.
11. nd edition. John Wiley & Sons, Hoboken, NJ. 2004.
12. Sam Owre, Natarajan Shankar, and John Rushby. PVS: A Prototype Verification System. CADE 11, Saratoga Springs, NY, June 1992.
13. Russ Williams, "The Triangle Classification Problem," http://russcon.org/triangle-classification.html. August 29, 2002.