-
1
-
-
0024033855
-
The Category-Partition method for specifying and generating functional tests
-
Ostrand TJ, Balcer MJ. The Category-Partition method for specifying and generating functional tests. Communications of the ACM 1988; 31 (6):676-686.
-
(1988)
Communications of the ACM
, vol.31
, Issue.6
, pp. 676-686
-
-
Ostrand, T.J.1
Balcer, M.J.2
-
4
-
-
0018018910
-
A controlled experiment in program testing and code walkthroughs/ inspection
-
Myers GJ. A controlled experiment in program testing and code walkthroughs/inspection. Communications of the ACM 1978; 21 (9):760-768.
-
(1978)
Communications of the ACM
, vol.21
, Issue.9
, pp. 760-768
-
-
Myers, G.J.1
-
6
-
-
0031335446
-
An empirical analysis of equivalence partitioning, boundary value analysis and random testing
-
Albuquerque, NM, 5-7 November 1997. IEEE Computer Society Press: Los Alamitos, CA
-
Reid S. An empirical analysis of equivalence partitioning, boundary value analysis and random testing. Proceedings of the 4th International Software Metrics Symposium (METRICS'97), Albuquerque, NM, 5-7 November 1997. IEEE Computer Society Press: Los Alamitos, CA, 1997; 64-73.
-
(1997)
Proceedings of the 4th International Software Metrics Symposium (METRICS'97)
, pp. 64-73
-
-
Reid, S.1
-
7
-
-
84949438860
-
Comparing and combining software defect detection techniques: A replicated study
-
(Lecture Notes in Computer Science) Springer: Bedin
-
Wood M, Roper M, Brooks A, Miller J. Comparing and combining software defect detection techniques: A replicated study. Proceedings of the Sixth European Software Engineering Conference (ESEC/FSE 97) (Lecture Notes in Computer Science, vol. 1013). Springer: Bedin, 1997; 262-277.
-
(1997)
Proceedings of the Sixth European Software Engineering Conference (ESEC/ FSE 97)
, vol.1013
, pp. 262-277
-
-
Wood, M.1
Roper, M.2
Brooks, A.3
Miller, J.4
-
8
-
-
0036741472
-
An empirical evaluation of six methods to detect faults in software
-
So SS, Cha SD, Shimeall TJ, Kwon YR. An empirical evaluation of six methods to detect faults in software. Software Testing, Verification and Reliability 2002; 12(3):155-171.
-
(2002)
Software Testing, Verification and Reliability
, vol.12
, Issue.3
, pp. 155-171
-
-
So, S.S.1
Cha, S.D.2
Shimeall, T.J.3
Kwon, Y.R.4
-
11
-
-
0033352121
-
Partition testing vs. random testing: The influence of uncertainty
-
Gutjahr WJ. Partition testing vs. random testing: The influence of uncertainty. IEEE Transactions on Software Engineering 1999; 25 (5):661-674.
-
(1999)
IEEE Transactions on Software Engineering
, vol.25
, Issue.5
, pp. 661-674
-
-
Gutjahr, W.J.1
-
12
-
-
24944493014
-
Automatic test generation using checkpoint encoding and antirandom testing
-
Technical Report CS-97-116, Colorado State University
-
Yin H, Lebne-Dengel Z, Malaiya YK. Automatic test generation using checkpoint encoding and antirandom testing. Technical Report CS-97-116, Colorado State University, 1997.
-
(1997)
-
-
Yin, H.1
Lebne-Dengel, Z.2
Malaiya, Y.K.3
-
14
-
-
4444295626
-
Tool-supported test case design for black-box testing by means of the classificationtree editor
-
London, U.K., October 1993. Qualtech Conferences
-
Grochtmann M, Grimm K, Wegener J. Tool-supported test case design for black-box testing by means of the classificationtree editor. Proceedings of the 1st European International Conference on Software Testing, Analysis & Review (EuroSTAR 1993), London, U.K., October 1993. Qualtech Conferences, 1993; 169-176.
-
(1993)
Proceedings of the 1st European International Conference on Software Testing, Analysis & Review (EuroSTAR 1993)
, pp. 169-176
-
-
Grochtmann, M.1
Grimm, K.2
Wegener, J.3
-
15
-
-
5444226064
-
Test case design by means of the CTE XL
-
Copenhagen, Denmark, December 2000. Qualtech Conferences
-
Lehmann E, Wegener J. Test case design by means of the CTE XL. Proceedings of the 8th European International Conference on Software Testing, Analysis & Review (EuroSTAR 2000), Copenhagen, Denmark, December 2000. Qualtech Conferences, 2000; 1-10.
-
(2000)
Proceedings of the 8th European International Conference on Software Testing, Analysis & Review (EuroSTAR 2000)
, pp. 1-10
-
-
Lehmann, E.1
Wegener, J.2
-
16
-
-
84928673435
-
A measure for component interaction test coverage
-
Beirut, Lebanon, June 2001. IEEE Computer Society Press: Los Alamitos, CA
-
Williams AW, Probert RL. A measure for component interaction test coverage. Proceedings of the ACSI/IEEE International Conference on Computer Systems and Applications (AICCSA 2001), Beirut, Lebanon, June 2001. IEEE Computer Society Press: Los Alamitos, CA, 2001; 304-311.
-
(2001)
Proceedings of the ACSI/IEEE International Conference on Computer Systems and Applications (AICCSA 2001)
, pp. 304-311
-
-
Williams, A.W.1
Probert, R.L.2
-
17
-
-
0000673732
-
The AETG system: An approach to testing based on combinatorial design
-
Cohen DM, Dalal SR, Fredman ML, Patton GC. The AETG system: An approach to testing based on combinatorial design. IEEE Transactions on Software Engineering 1997; 23(7):437-444.
-
(1997)
IEEE Transactions on Software Engineering
, vol.23
, Issue.7
, pp. 437-444
-
-
Cohen, D.M.1
Dalal, S.R.2
Fredman, M.L.3
Patton, G.C.4
-
18
-
-
24944469331
-
An evaluation of combination strategies for test case selection
-
Technical Report HS-IDA-TR-03-001, Department of Computer Science, University of Skövde
-
Grindal M, Lindström B, Offutt AJ, Andler SF. An evaluation of combination strategies for test case selection. Technical Report HS-IDA-TR-03-001, Department of Computer Science, University of Skövde, 2003.
-
(2003)
-
-
Grindal, M.1
Lindström, B.2
Offutt, A.J.3
Andler, S.F.4
-
19
-
-
0037587652
-
Constructing test cases for interaction testing
-
May 2003. IEEE Computer Society Press: Los Alamitos, CA
-
Cohen MB, Gibbons PB, Mugridge WB, Colburn CJ. Constructing test cases for interaction testing. Proceedings of the 25th International Conference on Software Engineering (ICSE'03), May 2003. IEEE Computer Society Press: Los Alamitos, CA, 2003; 38-48.
-
(2003)
Proceedings of the 25th International Conference on Software Engineering (ICSE'03)
, pp. 38-48
-
-
Cohen, M.B.1
Gibbons, P.B.2
Mugridge, W.B.3
Colburn, C.J.4
-
20
-
-
0028555261
-
Using formal methods to derive test frames in category-partition testing
-
Gaithersburg, MD, June 1994. IEEE Computer Society Press: Los Alamitos, CA
-
Ammann PE, Offutt AJ. Using formal methods to derive test frames in category-partition testing. Proceedings of the Ninth Annual Conference on Computer Assurance (COMPASS'94), Gaithersburg, MD, June 1994. IEEE Computer Society Press: Los Alamitos, CA, 1994; 69-80.
-
(1994)
Proceedings of the Ninth Annual Conference on Computer Assurance (COMPASS'94)
, pp. 69-80
-
-
Ammann, P.E.1
Offutt, A.J.2
-
21
-
-
0027929875
-
Improved quality of protocol testing through techniques of experimental design
-
New Odeans, LA, 1-5 May 1994. IEEE Computer Society Press: Los Alamitos, CA
-
Burroughs K, Jain A, Erickson RL. Improved quality of protocol testing through techniques of experimental design. Proceedings of the IEEE International Conference on Communications (Supercomm/ICC'94), New Odeans, LA, 1-5 May 1994. IEEE Computer Society Press: Los Alamitos, CA, 1994; 745-752.
-
(1994)
Proceedings of the IEEE International Conference on Communications (Supercomm/ICC'94)
, pp. 745-752
-
-
Burroughs, K.1
Jain, A.2
Erickson, R.L.3
-
22
-
-
0028698974
-
The automatic efficient test generator (AETG) system
-
Monterey, CA, 6-9 November 1994. IEEE Computer Society Press: Los Alamitos, CA
-
Cohen DM, Dalal SR, Kajla A, Patton GC. The automatic efficient test generator (AETG) system. Proceedings of Fifth International Symposium on Software Reliability Engineering (ISSRE'94), Monterey, CA, 6-9 November 1994. IEEE Computer Society Press: Los Alamitos, CA, 1994; 303-309.
-
(1994)
Proceedings of Fifth International Symposium on Software Reliability Engineering (ISSRE'94)
, pp. 303-309
-
-
Cohen, D.M.1
Dalal, S.R.2
Kajla, A.3
Patton, G.C.4
-
23
-
-
0030242266
-
The combinatorial design approach to automatic test generation
-
Cohen DM, Dalal SR, Parelius J, Patton GC. The combinatorial design approach to automatic test generation. IEEE Software 1996, 13 (5):83-89.
-
(1996)
IEEE Software
, vol.13
, Issue.5
, pp. 83-89
-
-
Cohen, D.M.1
Dalal, S.R.2
Parelius, J.3
Patton, G.C.4
-
24
-
-
18744401621
-
Using artificial life techniques to generate test cases for combinatorial testing
-
Hong Kong, China, 28-30 September 2004. IEEE Computer Society Press: Los Alamitos, CA
-
Shiba T, Tsuchiya T, Kikuno T. Using artificial life techniques to generate test cases for combinatorial testing. Proceedings of 28th Annual International Computer Software and Applications Conference (COMPSAC'04), Hong Kong, China, 28-30 September 2004. IEEE Computer Society Press: Los Alamitos, CA, 2004; 72-77.
-
(2004)
Proceedings of 28th Annual International Computer Software and Applications Conference (COMPSAC'04)
, pp. 72-77
-
-
Shiba, T.1
Tsuchiya, T.2
Kikuno, T.3
-
25
-
-
0022146411
-
Orthogonal Latin Squares: An application of experiment design to compiler testing
-
Mandl R. Orthogonal Latin Squares: An application of experiment design to compiler testing. Communications of the ACM 1985; 28 (10):1054-1058.
-
(1985)
Communications of the ACM
, vol.28
, Issue.10
, pp. 1054-1058
-
-
Mandl, R.1
-
26
-
-
0345421745
-
Combinatorial test techniques: Table-based automation, test generation and code coverage
-
San Diego, CA, 26-28 October 1998. Software Quality Engineering
-
Burr K, Young W. Combinatorial test techniques: Table-based automation, test generation and code coverage. Proceedings of the International Conference on Software Testing, Analysis, and Review (STAR'98), San Diego, CA, 26-28 October 1998. Software Quality Engineering, 1998.
-
(1998)
Proceedings of the International Conference on Software Testing, Analysis, and Review (STAR'98)
-
-
Burr, K.1
Young, W.2
-
27
-
-
0029489556
-
Antirandom testing: Getting the most out of black-box testing
-
Toulouse, France, October 1995. IEEE Computer Society Press: Los Alamitos, CA
-
Malaiya YK. Antirandom testing: Getting the most out of black-box testing. Proceedings of the International Symposium on Software Reliability Engineering (ISSRE'95), Toulouse, France, October 1995. IEEE Computer Society Press: Los Alamitos, CA, 1995; 86-95.
-
(1995)
Proceedings of the International Symposium on Software Reliability Engineering (ISSRE'95)
, pp. 86-95
-
-
Malaiya, Y.K.1
-
28
-
-
0032644254
-
Boundary values and automated component testing
-
Hoffman DM, Strooper PA, White L. Boundary values and automated component testing. Software Testing, Verification and Reliability 1999; 9(1):3-26.
-
(1999)
Software Testing, Verification and Reliability
, vol.9
, Issue.1
, pp. 3-26
-
-
Hoffman, D.M.1
Strooper, P.A.2
White, L.3
-
29
-
-
79551712996
-
Effective testing of factor combinations
-
Washington, DC, Software Quality Engineering, May 1994. Software Quality Engineering
-
Sherwood G. Effective testing of factor combinations. Proceedings of the Third International Conference on Software Testing, Analysis, and Review (STAR94), Washington, DC, Software Quality Engineering, May 1994. Software Quality Engineering, 1994.
-
(1994)
Proceedings of the Third International Conference on Software Testing, Analysis, and Review (STAR94)
-
-
Sherwood, G.1
-
30
-
-
85046437490
-
In-parameter-order: A test generation strategy for pair-wise testing
-
November 1998. IEEE Computer Society Press: Los Alamitos, CA
-
Lei Y, Tai KC. In-parameter-order: A test generation strategy for pair-wise testing. Proceedings of the Third IEEE High Assurance Systems Engineering Symposium, November 1998. IEEE Computer Society Press: Los Alamitos, CA, 1998; 254-261.
-
(1998)
Proceedings of the Third IEEE High Assurance Systems Engineering Symposium
, pp. 254-261
-
-
Lei, Y.1
Tai, K.C.2
-
31
-
-
1642407662
-
A test generation strategy for pairwise testing
-
Technical Report TR-2001-03, Department of Computer Science, North Carolina State University, Raleigh
-
Lei Y, Tai KC. A test generation strategy for pairwise testing. Technical Report TR-2001-03, Department of Computer Science, North Carolina State University, Raleigh, 2001.
-
(2001)
-
-
Lei, Y.1
Tai, K.C.2
-
34
-
-
0030396558
-
A practical strategy for testing pair-wise coverage of network interfaces
-
White Plains, New York, 30 October-2 November 1996. IEEE Computer Society Press: Los Alamitos, CA
-
Williams AW, Probert RL. A practical strategy for testing pair-wise coverage of network interfaces. Proceedings of the 7th International Symposium on Software Reliability Engineering (ISSRE'96), White Plains, New York, 30 October-2 November 1996. IEEE Computer Society Press: Los Alamitos, CA, 1996; 246-254.
-
(1996)
Proceedings of the 7th International Symposium on Software Reliability Engineering (ISSRE'96)
, pp. 246-254
-
-
Williams, A.W.1
Probert, R.L.2
-
35
-
-
0009052710
-
Determination of test configurations for pair-wise interaction coverage
-
Ottawa, Canada, August 2000. Kluwer Academic: Norwell, MA
-
Williams AW. Determination of test configurations for pair-wise interaction coverage. Proceedings of the 13th International Conference on the Testing of Communicating Systems (TestCom 2000), Ottawa, Canada, August 2000. Kluwer Academic: Norwell, MA, 2000; 59-74.
-
(2000)
Proceedings of the 13th International Conference on the Testing of Communicating Systems (TestCom 2000)
, pp. 59-74
-
-
Williams, A.W.1
-
36
-
-
3042690751
-
Formulation of the interaction test coverage problem as an integer problem
-
Berlin, Germany, March 2002. European Telecommunications Standards Institute, ETSI
-
Williams AW, Probert RL. Formulation of the interaction test coverage problem as an integer problem. Proceedings of the 14th International Conference on the Testing of Communicating Systems (TestCom 2002), Berlin, Germany, March 2002. European Telecommunications Standards Institute, ETSI, 2002; 283-298.
-
(2002)
Proceedings of the 14th International Conference on the Testing of Communicating Systems (TestCom 2002)
, pp. 283-298
-
-
Williams, A.W.1
Probert, R.L.2
-
37
-
-
0037203623
-
A new method for constructing pair-wise covering designs for software testing
-
Kobayashi N, Tsuchiya T, Kikuno T. A new method for constructing pair-wise covering designs for software testing. Information Processing Letters 2002; 81(2):85-91.
-
(2002)
Information Processing Letters
, vol.81
, Issue.2
, pp. 85-91
-
-
Kobayashi, N.1
Tsuchiya, T.2
Kikuno, T.3
-
40
-
-
0032139384
-
Factor-covering designs for testing software
-
Dalal S, Mallows CL. Factor-covering designs for testing software. Technometrics 1998; 50(3):234-243.
-
(1998)
Technometrics
, vol.50
, Issue.3
, pp. 234-243
-
-
Dalal, S.1
Mallows, C.L.2
-
41
-
-
84962711462
-
An investigation of the applicability of design of experiments to software testing
-
NASA Goddard Space Flight Center, MD, 4-6 December 2002. NASA/IEEE Computer Society Press: Los Alamitos, CA
-
Kuhn DR, Reilly MJ. An investigation of the applicability of design of experiments to software testing. Proceedings of the 27th NASA/IEEE Software Engineering Workshop, NASA Goddard Space Flight Center, MD, 4-6 December 2002. NASA/IEEE Computer Society Press: Los Alamitos, CA, 2002; 91-95.
-
(2002)
Proceedings of the 27th NASA/IEEE Software Engineering Workshop
, pp. 91-95
-
-
Kuhn, D.R.1
Reilly, M.J.2
-
43
-
-
0030615507
-
Applying design of experiments to software testing
-
Boston, MA, May 1997. ACM Press: New York
-
Dunietz IS, Ehrlich WK, Szablak BD, Mallows CL, Iannino A. Applying design of experiments to software testing. Proceedings of 19th International Conference on Software Engineering (ICSE'97), Boston, MA, May 1997. ACM Press: New York, 1997; 205-215.
-
(1997)
Proceedings of 19th International Conference on Software Engineering (ICSE'97)
, pp. 205-215
-
-
Dunietz, I.S.1
Ehrlich, W.K.2
Szablak, B.D.3
Mallows, C.L.4
Iannino, A.5
-
44
-
-
0027151027
-
Coverage measurement experience during function test
-
Baltimore, MD, May 1993. IEEE Computer Society Pass: Los Alamitos, CA
-
Piwowarski P, Ohba Mn Caruso J. Coverage measurement experience during function test. Proceedings of 15th International Conference on Software Engineering (ICSE'93), Baltimore, MD, May 1993. IEEE Computer Society Pass: Los Alamitos, CA, 1993; 287-301.
-
(1993)
Proceedings of 15th International Conference on Software Engineering (ICSE'93)
, pp. 287-301
-
-
Piwowarski, P.1
Ohba, M.N.2
Caruso, J.3
-
45
-
-
0032660359
-
Model-based testing in practice
-
Los Angeles, CA, 16-22 May 1999. ACM Press: New York
-
Dalal SR, Jain A, Karunanithi N, Leaton JM, Lott CM, Patton GC, Horowitz BM. Model-based testing in practice. Proceedings of 21st International Conference on Software Engineering (ICSE'99), Los Angeles, CA, 16-22 May 1999. ACM Press: New York, 1999; 285-294.
-
(1999)
Proceedings of 21st International Conference on Software Engineering (ICSE'99)
, pp. 285-294
-
-
Dalal, S.R.1
Jain, A.2
Karunanithi, N.3
Leaton, J.M.4
Lott, C.M.5
Patton, G.C.6
Horowitz, B.M.7
-
46
-
-
84928655921
-
Sys/3-a software development tool
-
Schwerin, Germany, 22-24 October 1990 (Lecture Notes in Computer Science). Springer: Berlin
-
Toczki J, Kocsis F, Gyimóthy T, Dányi G, Kókai G. Sys/3-a software development tool. Proceedings of the Third International Workshop on Compiler Compilers (CC'90), Schwerin, Germany, 22-24 October 1990 (Lecture Notes in Computer Science, vol. 477). Springer: Berlin, 1990; 193-207.
-
(1990)
Proceedings of the Third International Workshop on Compiler Compilers (CC'90)
, vol.477
, pp. 193-207
-
-
Toczki, J.1
Kocsis, F.2
Gyimóthy, T.3
Dányi, G.4
Kókai, G.5
-
48
-
-
84898533664
-
AETG web: A web based service for automatic efficient test generation from functional requirements
-
Boca Raton, FL, 21-23 October 1999. IEEE Computer Society Press: Los Alamitos, CA
-
Dalal SR, Jain A, Patton GC, Rathi M, Seymour P. AETG web: A web based service for automatic efficient test generation from functional requirements. Proceedings of 2nd IEEE Workshop on Industrial-Strength Formal Specification Techniques, Boca Raton, FL, 21-23 October 1999. IEEE Computer Society Press: Los Alamitos, CA, 1999; 84-85.
-
(1999)
Proceedings of 2nd IEEE Workshop on Industrial-Strength Formal Specification Techniques
, pp. 84-85
-
-
Dalal, S.R.1
Jain, A.2
Patton, G.C.3
Rathi, M.4
Seymour, P.5
-
50
-
-
0032294569
-
Model-based testing of a highly programmable system
-
Paderborn, Germany, 4-7 November 1998. IEEE Computer Society Press: Los Alamitos, CA
-
Dalal SR, Jain A, Karunanithi N, Leaton JM, Lott CM. Model-based testing of a highly programmable system. Proceedings of the 9th International Symposium in Software Reliability Engineering (ISSRE'98), Paderborn, Germany, 4-7 November 1998. IEEE Computer Society Press: Los Alamitos, CA, 1998; 174-178.
-
(1998)
Proceedings of the 9th International Symposium in Software Reliability Engineering (ISSRE'98)
, pp. 174-178
-
-
Dalal, S.R.1
Jain, A.2
Karunanithi, N.3
Leaton, J.M.4
Lott, C.M.5
-
51
-
-
22944485173
-
Covering arrays for efficient fault characterization in complex configuration spaces
-
Boston, MA. ACM Software Engineering Notes
-
Yilmaz C, Cohen MB, Porter A. Covering arrays for efficient fault characterization in complex configuration spaces. Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2004), Boston, MA. ACM Software Engineering Notes 2004; 29(4):45-54.
-
(2004)
Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2004)
, vol.29
, Issue.4
, pp. 45-54
-
-
Yilmaz, C.1
Cohen, M.B.2
Porter, A.3
-
52
-
-
84989314613
-
Automated robustness testing of off-the-shelf software components
-
Munich, Germany, 23-25 June 1998. IEEE Computer Society Press: Los Alamitos, CA
-
Kropp NP, Koopman PJ, Siewiorek DP. Automated robustness testing of off-the-shelf software components. Proceedings of FTCS'98: Fault Tolerant Computing Symposium, Munich, Germany, 23-25 June 1998. IEEE Computer Society Press: Los Alamitos, CA, 1998; 230-239.
-
(1998)
Proceedings of FTCS'98: Fault Tolerant Computing Symposium
, pp. 230-239
-
-
Kropp, N.P.1
Koopman, P.J.2
Siewiorek, D.P.3
-
53
-
-
0142134961
-
Efficient evaluation of multi-factor dependent system performance using fractional factorial design
-
Berling T, Runesson P. Efficient evaluation of multi-factor dependent system performance using fractional factorial design. IEEE Transactions on Software Engineering 2003; 29(9):769-781.
-
(2003)
IEEE Transactions on Software Engineering
, vol.29
, Issue.9
, pp. 769-781
-
-
Berling, T.1
Runesson, P.2
|