-
1
-
-
0031388170
-
A comparative study of five regression testing algorithms
-
Baradhi, G., Mansour, N., "A Comparative Study of Five Regression Testing Algorithms," Proceedings of the IEEE Australian Software Engineering Conference, pp. 174-182, 1997.
-
(1997)
Proceedings of the IEEE Australian Software Engineering Conference
, pp. 174-182
-
-
Baradhi, G.1
Mansour, N.2
-
2
-
-
84954145008
-
An integrated testing technique for component-based software
-
Beydeda, S., Gruhn, V., "An Integrated Testing Technique for Component-Based Software," Proceedings of the ACS/IEEE Computer Systems and Applications International Conference, pp. 328-334, 2001.
-
(2001)
Proceedings of the ACS/IEEE Computer Systems and Applications International Conference
, pp. 328-334
-
-
Beydeda, S.1
Gruhn, V.2
-
3
-
-
0035341659
-
Test case selection from SDL specifications
-
Bourhfir, C., Aboulhamid, E., Khendek, F., Dssouli, R., "Test Case Selection from SDL Specifications," Computer Networks, 35(6), pp. 693-708, 2001.
-
(2001)
Computer Networks
, vol.35
, Issue.6
, pp. 693-708
-
-
Bourhfir, C.1
Aboulhamid, E.2
Khendek, F.3
Dssouli, R.4
-
4
-
-
1642585468
-
Use of sequencing constraints for specification-based testing of concurrent programs
-
Carver, R.H., Tai, K.C., "Use of Sequencing Constraints for Specification-Based Testing of Concurrent Programs," IEEE Transactions on Software Engineering, 24(6), pp. 471-490, 1998.
-
(1998)
IEEE Transactions on Software Engineering
, vol.24
, Issue.6
, pp. 471-490
-
-
Carver, R.H.1
Tai, K.C.2
-
5
-
-
0000741267
-
A unified approach to protocol test sequence generation
-
Chanson, S.T., Zhu, J., "A Unified Approach to Protocol Test Sequence Generation", Proceeding of IEEE INFOCOM, pp. 143-151, 1993.
-
(1993)
Proceeding of IEEE INFOCOM
, pp. 143-151
-
-
Chanson, S.T.1
Zhu, J.2
-
9
-
-
0033295929
-
Test development for communication protocols: Towards automation
-
Dssouli, R., Saleh, K., Aboulhamid, E., En-Nouaary, A., Bourhfir, C., "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
-
10
-
-
0023385308
-
The program dependence graph and its use in optimization
-
Ferrante K., Ottenstein K., Warren J., "The Program Dependence Graph and its Use in Optimization," ACM Transactions on Programming Languages and Systems, 9(5), pp. 319-349, 1987.
-
(1987)
ACM Transactions on Programming Languages and Systems
, vol.9
, Issue.5
, pp. 319-349
-
-
Ferrante, K.1
Ottenstein, K.2
Warren, J.3
-
11
-
-
84981664978
-
An approach to regression testing using slices
-
Gupta, R., Harrold, M., Soffa, M., "An Approach to Regression Testing Using Slices," Proceedings of the IEEE International Conference on Software Maintenance, pp. 299-308, 1992.
-
(1992)
Proceedings of the IEEE International Conference on Software Maintenance
, pp. 299-308
-
-
Gupta, R.1
Harrold, M.2
Soffa, M.3
-
12
-
-
0024124335
-
An incremental approach to unit testing during maintenance
-
Harrold, M., Soffa, M., "An Incremental Approach to Unit Testing During Maintenance," Proceedings of the IEEE International Conference on Software Maintenance, pp. 362-367, 1988.
-
(1988)
Proceedings of the IEEE International Conference on Software Maintenance
, pp. 362-367
-
-
Harrold, M.1
Soffa, M.2
-
13
-
-
85009741625
-
Automated regression test generation
-
Korel, B., Al-Yami, A., "Automated Regression Test Generation," Proceedings of IEEE International Symposium on Software Testing and Analysis, pp. 143-152, 1998.
-
(1998)
Proceedings of IEEE International Symposium on Software Testing and Analysis
, pp. 143-152
-
-
Korel, B.1
Al-Yami, A.2
-
14
-
-
0026137555
-
A well-defined estelle specification for automatic test generation
-
Lee, D., Lee, J., "A Well-Defined Estelle Specification for Automatic Test Generation," IEEE Transactions on Communications, 40, pp. 526-542, 1991.
-
(1991)
IEEE Transactions on Communications
, vol.40
, pp. 526-542
-
-
Lee, D.1
Lee, J.2
-
15
-
-
0025510772
-
A study of integration testing and software regression at the integration level
-
Leung, H., White, L., "A Study of Integration Testing and Software Regression at the Integration Level," Proceedings of the IEEE International Conference on Software Maintenance, pp. 290-301, 1990.
-
(1990)
Proceedings of the IEEE International Conference on Software Maintenance
, pp. 290-301
-
-
Leung, H.1
White, L.2
-
16
-
-
0027290357
-
Automated maintenance of avionics software
-
Loyall, J., Mathisen, S., Hurley, P., Williamson, J., "Automated Maintenance of Avionics Software", Proceedings of the IEEE Aerospace and Electronics Conference, pp.508-514, 1993.
-
(1993)
Proceedings of the IEEE Aerospace and Electronics Conference
, pp. 508-514
-
-
Loyall, J.1
Mathisen, S.2
Hurley, P.3
Williamson, J.4
-
17
-
-
0001048470
-
Selecting tests and identifying test coverage requirements for modified software
-
Rothermel, G., Harrold, M., "Selecting Tests and Identifying Test Coverage Requirements for Modified Software," Proceedings of the IEEE International Conference on Software Maintenance, pp. 358-367, 1994.
-
(1994)
Proceedings of the IEEE International Conference on Software Maintenance
, pp. 358-367
-
-
Rothermel, G.1
Harrold, M.2
-
18
-
-
0031125046
-
A safe, efficient regression test selection technique
-
Rothermel, G., Harrold, M., "A Safe, Efficient Regression Test Selection Technique," ACM Transactions on Software Engineering and Methodology, 6(2), pp. 173-210, 1997.
-
(1997)
ACM Transactions on Software Engineering and Methodology
, vol.6
, Issue.2
, pp. 173-210
-
-
Rothermel, G.1
Harrold, M.2
-
19
-
-
0030816927
-
Automated test methodology for operational flight programs
-
Savage, P., Walters, S., Stephenson, M., "Automated Test Methodology for Operational Flight Programs," Proceedings of IEEE Aerospace Conference, vol. 4, pp. 293-305, 1997.
-
(1997)
Proceedings of IEEE Aerospace Conference
, vol.4
, pp. 293-305
-
-
Savage, P.1
Walters, S.2
Stephenson, M.3
-
20
-
-
0011783907
-
Modification oriented software testing
-
Sherlund, B., Korel, B., "Modification Oriented Software Testing," Proceedings of Quality Week, pp. 1-17, 1991.
-
(1991)
Proceedings of Quality Week
, pp. 1-17
-
-
Sherlund, B.1
Korel, B.2
-
21
-
-
0035170677
-
Requirement-based automated black-box test generation
-
Chicago, IL
-
th Annual IEEE International Computer Software and Applications Conference (COMPSAC), Chicago, IL, pp. 489-495, 2001.
-
(2001)
th Annual IEEE International Computer Software and Applications Conference (COMPSAC)
, pp. 489-495
-
-
Tahat, L.1
Vaysburg, B.2
Korel, B.3
Bader, A.4
-
22
-
-
0035171817
-
Scenario-based functional regression testing
-
Chicago, IL
-
th Annual IEEE International Computer Software and Applications Conference (COMPSAC), Chicago, IL, pp. 496-501, 2001.
-
(2001)
th Annual IEEE International Computer Software and Applications Conference (COMPSAC)
, pp. 496-501
-
-
Tsai, W.1
Bai, X.2
Paul, R.3
Yu, L.4
-
23
-
-
0003030673
-
Automating test case generation from SDL specifications
-
Bethesda, MD
-
th International Conference on Testing Computer Software (TCS), Bethesda, MD, pp. 130-139, 2001.
-
(2001)
th International Conference on Testing Computer Software (TCS)
, pp. 130-139
-
-
Vaysburg, B.1
Tahat, L.2
Korel, B.3
Bader, A.4
-
24
-
-
0036986570
-
Dependence analysis in reduction of requirement based test suites
-
Rome, Italy
-
Vaysburg, B., Tahat, L., Korel, B., "Dependence Analysis in Reduction of Requirement Based Test Suites," to appear in Proceedings of IEEE International Symposium on Software Testing and Analysis (ISSTA), Rome, Italy, 2002.
-
(2002)
Proceedings of IEEE International Symposium on Software Testing and Analysis (ISSTA)
-
-
Vaysburg, B.1
Tahat, L.2
Korel, B.3
|