A new approach to test case generation based on real-time process algebra (RTPA)

Canadian Conference on Electrical and Computer Engineering 2004 (IEEE Cat. No.04CH37513) ◽

10.1109/ccece.2004.1349694 ◽

2004 ◽

Author(s):

Yizheng Yao ◽

Yingxu Wang

Keyword(s):

Real Time ◽

Process Algebra ◽

Test Case Generation ◽

Test Case ◽

Time Process ◽

Download Full-text

Implementing A Real-time Process Algebra In HOL

1991 International Workshop on the HOL Theorem Proving System and Its Applications ◽

10.1109/hol.1991.596281 ◽

2005 ◽

Author(s):

R. Gerber ◽

E.L. Gunter ◽

Insup Lee

Keyword(s):

Real Time ◽

Process Algebra ◽

Download Full-text

A study on functional specification based test case generation for real-time systems

International Journal of Engineering and Technology ◽

10.21817/ijet/2016/v8i4/160804414 ◽

2016 ◽

Vol 8 (4) ◽

pp. 1801-1806

Author(s):

Mani P ◽

Dr. Prasanna M

Keyword(s):

Real Time ◽

Test Case Generation ◽

Test Case ◽

Real Time Systems ◽

Functional Specification ◽

Download Full-text

Abstraction in real time process algebra

Real-Time: Theory in Practice - Lecture Notes in Computer Science ◽

10.1007/bfb0031999 ◽

1992 ◽

pp. 325-352 ◽

Author(s):

A. S. Klusener

Keyword(s):

Real Time ◽

Process Algebra ◽

Download Full-text

Design of a parser for real-time process algebra

CCECE 2003 - Canadian Conference on Electrical and Computer Engineering. Toward a Caring and Humane Technology (Cat. No.03CH37436) ◽

10.1109/ccece.2003.1226128 ◽

2004 ◽

Author(s):

Jianhua Zhao ◽

Yingxu Wang

Keyword(s):

Real Time ◽

Process Algebra ◽

Download Full-text

Real time process algebra

Formal Aspects of Computing ◽

10.1007/bf01898401 ◽

1991 ◽

Vol 3 (2) ◽

pp. 142-188 ◽

Author(s):

J. C. M. Baeten ◽

J. A. Bergstra

Keyword(s):

Real Time ◽

Process Algebra ◽

Download Full-text

Verification of an audio control protocol within real time process algebra

Proceedings of the second workshop on Formal methods in software practice - FMSP '98 ◽

10.1145/298595.298860 ◽

1998 ◽

Author(s):

Liang Chen

Keyword(s):

Real Time ◽

Process Algebra ◽

Time Process ◽

Control Protocol

Download Full-text

A new approach for session-based test case generation by GA

2011 IEEE 3rd International Conference on Communication Software and Networks ◽

10.1109/iccsn.2011.6014682 ◽

2011 ◽

Author(s):

Xuan Peng ◽

Lu Lu

Keyword(s):

Test Case Generation ◽

Test Case ◽

Download Full-text

Functional Test Case Generation for Real-Time Systems

Dependable Computing for Critical Applications 3 - Dependable Computing and Fault-Tolerant Systems ◽

10.1007/978-3-7091-4009-3_2 ◽

1993 ◽

pp. 29-61 ◽

Author(s):

Dino Mandrioli ◽

Sandro Morasca ◽

Angelo Morzenti

Keyword(s):

Real Time ◽

Functional Test ◽

Test Case Generation ◽

Test Case ◽

Real Time Systems ◽

Download Full-text

A new approach for test case generation by discrete particle swarm optimization algorithm

2014 22nd Iranian Conference on Electrical Engineering (ICEE) ◽

10.1109/iraniancee.2014.6999714 ◽

2014 ◽

Author(s):

Azam Andalib ◽

Seyed Morteza Babamir

Keyword(s):

Particle Swarm Optimization ◽

Optimization Algorithm ◽

Particle Swarm Optimization Algorithm ◽

Particle Swarm ◽

Test Case Generation ◽

Test Case ◽

Discrete Particle Swarm Optimization ◽

Swarm Optimization ◽

New Approach ◽

Discrete Particle

Download Full-text

An Operational Semantics of Real-Time Process Algebra (RTPA)

International Journal of Cognitive Informatics and Natural Intelligence ◽

10.4018/jcini.2008070106 ◽

2008 ◽

Vol 2 (3) ◽

pp. 71-89 ◽

Author(s):

Yingxu Wang ◽

Cyprian F. Ngolah

Keyword(s):

Real Time ◽

Process Algebra ◽

Operational Semantics ◽

Download Full-text