Protocol test generation, trace analysis and verification techniques

[1988] Proceedings. Second Workshop on Software Testing, Verification, and Analysis ◽

10.1109/wst.1988.5364 ◽

2003 ◽

Author(s):

B. Sarikaya

Keyword(s):

Test Generation ◽

Trace Analysis ◽

Verification Techniques ◽

Download Full-text

An improved RCP-method for protocol test generation using backward UIO sequences

[Proceedings] 1991 Symposium on Applied Computing ◽

10.1109/soac.1991.143890 ◽

2002 ◽

Author(s):

Xiaojun Shen ◽

S. Scoggins ◽

A. Tang

Keyword(s):

Test Generation ◽

Download Full-text

An improved protocol test generation procedure based on UIOS

ACM SIGCOMM Computer Communication Review ◽

10.1145/75247.75274 ◽

1989 ◽

Vol 19 (4) ◽

pp. 283-294 ◽

Author(s):

W. Y. L. Chan ◽

C. T. Vuong ◽

M. R. Otp

Keyword(s):

Test Generation ◽

Protocol Test ◽

Generation Procedure

Download Full-text

Concurrent Test Generation Using Concolic Multi-trace Analysis

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35182-2_17 ◽

2012 ◽

pp. 239-255 ◽

Author(s):

Niloofar Razavi ◽

Franjo Ivančić ◽

Vineet Kahlon ◽

Aarti Gupta

Keyword(s):

Test Generation ◽

Download Full-text

Two approaches linking a test generation tool with verification techniques

Protocol Test Systems VIII ◽

10.1007/978-0-387-34988-6_10 ◽

1996 ◽

pp. 151-166 ◽

Author(s):

Marylène Clatin ◽

Roland Groz ◽

Marc Phalippou ◽

Richard Thummel

Keyword(s):

Test Generation ◽

Verification Techniques

Download Full-text

A protocol test generation procedure

Computer Networks and ISDN Systems ◽

10.1016/0169-7552(88)90064-5 ◽

1988 ◽

Vol 15 (4) ◽

pp. 285-297 ◽

Author(s):

Krishan Sabnani ◽

Anton Dahbura

Keyword(s):

Test Generation ◽

Protocol Test ◽

Generation Procedure

Download Full-text

Synchronizable protocol test generation via the duplex technique

Proceedings. IEEE INFOCOM '90: Ninth Annual Joint Conference of the IEEE Computer and Communications Societies@m_The Multiple Facets of Integration ◽

10.1109/infcom.1990.91295 ◽

2002 ◽

Author(s):

W.H. Chen ◽

C.S. Lu ◽

L. Chen ◽

J.T. Wang

Keyword(s):

Test Generation ◽

Download Full-text

An improved protocol test generation procedure based on UIOS

Symposium proceedings on Communications architectures & protocols - SIGCOMM '89 ◽

10.1145/75246.75274 ◽

1989 ◽

Author(s):

W. Y. L. Chan ◽

C. T. Vuong ◽

M. R. Otp

Keyword(s):

Test Generation ◽

Protocol Test ◽

Generation Procedure

Download Full-text

Two Dimensions in Recognition Memory: A State-Trace Analysis

PsycEXTRA Dataset ◽

10.1037/e633262013-760 ◽

2013 ◽

Author(s):

Christoph Stahl ◽

Roscoe F. J. W. Araujo

Keyword(s):

Recognition Memory ◽

Trace Analysis ◽

Download Full-text

Test generation for digital circuits described by means of register transfer languages

IEE Proceedings E Computers and Digital Techniques ◽

10.1049/ip-e.1987.0012 ◽

1987 ◽

Vol 134 (2) ◽

pp. 69 ◽

Author(s):

E. Villar ◽

S. Bracho

Keyword(s):

Test Generation ◽

Digital Circuits ◽

Register Transfer

Download Full-text

A New Protocol Test For Physical Activity Research In Obese Children (Etiobe Project)

Frontiers in Neuroengineering ◽

10.3389/conf.neuro.14.2009.06.040 ◽

2009 ◽

Vol 2 ◽

Author(s):

Cebolla A.

Keyword(s):

Physical Activity ◽

Obese Children ◽

Download Full-text