-
1
-
-
0023984651
-
X-Machines as a Basis for Dynamic System Specification
-
M. Holcombe: X-Machines as a Basis for Dynamic System Specification. Software Engineering Journal, 1988, Vol3, 69-76.
-
(1988)
Software Engineering Journal
, vol.3
, pp. 69-76
-
-
Holcombe, M.1
-
3
-
-
0003020074
-
Communicating Stream X-Machines Systems are no more than X-Machines
-
T. Balanescu, T. Cowling, H. Georgescu, M. Gheorghe, M. Holcombe and C. Vertan: Communicating Stream X-Machines Systems are no more than X-Machines, J.UCS, 1999, Vol. 9, 494-507.
-
(1999)
J.UCS
, vol.9
, pp. 494-507
-
-
Balanescu, T.1
Cowling, T.2
Georgescu, H.3
Gheorghe, M.4
Holcombe, M.5
Vertan, C.6
-
4
-
-
3142685701
-
Functional Test generation for Extreme Programming
-
Sardinia, Italy
-
M. Holcombe, K. Bogdanov and M. Gheorghe: Functional Test generation for Extreme Programming, Second International Conference on extreme Programming and Flexible Processes in Software Engineering XP2001, Sardinia, Italy, 2001, 109-113.
-
(2001)
Second International Conference on Extreme Programming and Flexible Processes in Software Engineering XP2001
, pp. 109-113
-
-
Holcombe, M.1
Bogdanov, K.2
Gheorghe, M.3
-
6
-
-
84944242060
-
An informal formal method for systematic Junit test case generation
-
D. Wells and L. Williams (Eds), XP/Agile Universe 2002
-
D. Stotts, M. Lindsey and A. Antley: An informal formal method for systematic Junit test case generation, in D. Wells and L. Williams (Eds), XP/Agile Universe 2002, LNCS 2418, 2002, 131-143.
-
(2002)
LNCS
, vol.2418
, pp. 131-143
-
-
Stotts, D.1
Lindsey, M.2
Antley, A.3
-
7
-
-
0017973244
-
Testing Software Design Modeled by Finite State Machines
-
May
-
T. Sun Chow: Testing Software Design Modeled by Finite State Machines. IEEE Transactions on Software Engineering, May 1978, Vol.SE-4(3), 178-187.
-
(1978)
IEEE Transactions on Software Engineering
, vol.SE-4
, Issue.3
, pp. 178-187
-
-
Sun Chow, T.1
-
8
-
-
0026172995
-
Test Selection Based on Finite State Models
-
S. Fujiwara, G. von Bochmann, F. Khendek, M. Amalou and A. Ghedamsi: Test Selection Based on Finite State Models. IEEE Transactions on Software Engineering, 1991, Vol.17 591-603
-
(1991)
IEEE Transactions on Software Engineering
, vol.17
, pp. 591-603
-
-
Fujiwara, S.1
Von Bochmann, G.2
Khendek, F.3
Amalou, M.4
Ghedamsi, A.5
-
9
-
-
0029250968
-
Fault Detection and Diagnosis Capabilities of Test Sequence Selection Methods Based on the FSM Model
-
T. Ramalingam, A. Das and K. Thulasiraman: Fault Detection and Diagnosis Capabilities of Test Sequence Selection Methods Based on the FSM Model. Computer Communications, 1995, Vol.18, 113-122.
-
(1995)
Computer Communications
, vol.18
, pp. 113-122
-
-
Ramalingam, T.1
Das, A.2
Thulasiraman, K.3
-
12
-
-
0012706512
-
A Structured Way to Use Channels for Communication in X-machine System
-
A. Cowling, H. Georgescu, C. Vertan: A Structured Way to Use Channels for Communication in X-machine System. Formal Aspects of Computing, 2000, Vol.12,458-500
-
(2000)
Formal Aspects of Computing
, vol.12
, pp. 458-500
-
-
Cowling, A.1
Georgescu, H.2
Vertan, C.3
|