-
1
-
-
0027262858
-
Automatic Functional Test Generation Using The Extended Finite State Machine Model
-
K. Cheng, A. Krishnakumar, "Automatic Functional Test Generation Using The Extended Finite State Machine Model," Proc. ACM/IEEE Design Automation Conf., pp. 86-91, 1993.
-
(1993)
Proc. ACM/IEEE Design Automation Conf
, pp. 86-91
-
-
Cheng, K.1
Krishnakumar, A.2
-
2
-
-
0000669640
-
Automating the Generation and Sequencing of Test Case from Model-Based Specification
-
J. Dick, A. Faivre, "Automating the Generation and Sequencing of Test Case from Model-Based Specification," Proc. International Symposium on Formal Methods, pp. 268-284, 1992.
-
(1992)
Proc. International Symposium on Formal Methods
, pp. 268-284
-
-
Dick, J.1
Faivre, A.2
-
3
-
-
0033295929
-
Test Development For Communication Protocols: Towards Automation
-
R. Dssouli, K. Saleh, E. Aboulhamid, A. En-Nouaary, C. Bourhfir, "Test Development For Communication Protocols: Towards Automation," Computer Networks, 31, pp. 1835-1872, 1999.
-
(1999)
Computer Networks
, vol.31
, pp. 1835-1872
-
-
Dssouli, R.1
Saleh, K.2
Aboulhamid, E.3
En-Nouaary, A.4
Bourhfir, C.5
-
5
-
-
0034476775
-
A test sequence selection method for Statecharts
-
H. Hong, H. Ural, "A test sequence selection method for Statecharts", Software Testing, Verification, and Reliability, Vol.10, No.4, pp.203-227, 2000.
-
(2000)
Software Testing, Verification, and Reliability
, vol.10
, Issue.4
, pp. 203-227
-
-
Hong, H.1
Ural, H.2
-
7
-
-
0036441907
-
Model Based Regression Test Reduction Using Dependence Analysis
-
B. Korel, L. Tahat, B. Vaysburg, "Model Based Regression Test Reduction Using Dependence Analysis," Proc. IEEE International Conf. on Software Maintenance, pp. 214-223, 2002.
-
(2002)
Proc. IEEE International Conf. on Software Maintenance
, pp. 214-223
-
-
Korel, B.1
Tahat, L.2
Vaysburg, B.3
-
9
-
-
34047189734
-
Search Algorithms for Regression Test Case Prioritization
-
Z. Li, M. Harman, R. Hierons, "Search Algorithms for Regression Test Case Prioritization," IEEE Tran. Software Engineering, vol. 33, No. 4, pp. 225-237, 2007.
-
(2007)
IEEE Tran. Software Engineering
, vol.33
, Issue.4
, pp. 225-237
-
-
Li, Z.1
Harman, M.2
Hierons, R.3
-
11
-
-
0031125046
-
A Safe, Efficient Regression Test Selection Technique
-
G. Rothermel, M. Harrold, "A Safe, Efficient Regression Test Selection Technique," ACM Transactions on Software Engineering & Methodology, 6(2), pp. 173-210, 1997.
-
(1997)
ACM Transactions on Software Engineering & Methodology
, vol.6
, Issue.2
, pp. 173-210
-
-
Rothermel, G.1
Harrold, M.2
-
12
-
-
0035481183
-
Prioritizing Test Cases For Regression Testing
-
G. Rothermel, R. Untch, M. Harrold, "Prioritizing Test Cases For Regression Testing," IEEE Transactions on Software Engineering, vol. 27, No. 10, pp. 929-948, 2001.
-
(2001)
IEEE Transactions on Software Engineering
, vol.27
, Issue.10
, pp. 929-948
-
-
Rothermel, G.1
Untch, R.2
Harrold, M.3
-
13
-
-
0036983191
-
Effectively Prioritizing Tests in Development Environment
-
A. Srivastava, J. Thiagarajan, "Effectively Prioritizing Tests in Development Environment," Proc. ACM International Symposium on Software Testing and Analysis, ISSTA-02, pp. 97-106, 2002.
-
(2002)
Proc. ACM International Symposium on Software Testing and Analysis, ISSTA-02
, pp. 97-106
-
-
Srivastava, A.1
Thiagarajan, J.2
-
14
-
-
0036986570
-
Dependence Analysis in Reduction of Requirement Based Test Suites
-
B. Vaysburg, L. Tahat, B. Korel, "Dependence Analysis in Reduction of Requirement Based Test Suites," Proc. ACM International Symposium on Software Testing and Analysis, pp. 107-111, 2002.
-
(2002)
Proc. ACM International Symposium on Software Testing and Analysis
, pp. 107-111
-
-
Vaysburg, B.1
Tahat, L.2
Korel, B.3
|