-
2
-
-
0030234676
-
Automatic structural testing using genetic algorithms
-
Jones B, Sthamer HH, Eyres D,. Automatic structural testing using genetic algorithms. The Software Engineering Journal 1996; 11: 299-306. (Pubitemid 126804768)
-
(1996)
Software Engineering Journal
, vol.11
, Issue.5
, pp. 299-306
-
-
Jones, B.F.1
Sthamer, H.-H.2
Eyres, D.E.3
-
3
-
-
34247384010
-
The species per path approach to search-based test data generation
-
ACM: New York, NY, U.S.A.
-
McMinn P, Harman M, Binkley D, Tonella P,. The species per path approach to search-based test data generation. Proceedings of International Symposium on Software Testing and Analysis (ISSTA 06). ACM: New York, NY, U.S.A., 2006; 13-24.
-
(2006)
Proceedings of International Symposium on Software Testing and Analysis (ISSTA 06)
, pp. 13-24
-
-
McMinn, P.1
Harman, M.2
Binkley, D.3
Tonella, P.4
-
4
-
-
0010731513
-
A search-based automated test-data generation framework for safety-critical systems
-
Springer: New York, NY, U.S.A.
-
Tracey N, Clark J, McDermid J, Mander K,. A search-based automated test-data generation framework for safety-critical systems. Systems Engineering for Business Process Change: New Directions. Springer: New York, NY, U.S.A., 2002; 174-213.
-
(2002)
Systems Engineering for Business Process Change: New Directions
, pp. 174-213
-
-
Tracey, N.1
Clark, J.2
McDermid, J.3
Mander, K.4
-
5
-
-
0002326743
-
The automatic generation of software test data sets using adaptive search techniques
-
Seville, Spain
-
Jones B, Sthamer H, Yang X, Eyres D,. The automatic generation of software test data sets using adaptive search techniques. Proceedings of the Third International Conference on Software Quality Management. Seville, Spain, 1995; 435-444.
-
(1995)
Proceedings of the Third International Conference on Software Quality Management
, pp. 435-444
-
-
Jones, B.1
Sthamer, H.2
Yang, X.3
Eyres, D.4
-
6
-
-
84969570914
-
Automated program flaw finding using simulated annealing
-
ACM: New York, NY, U.S.A.
-
Tracey N, Clark J, Mander K,. Automated program flaw finding using simulated annealing. Proceedings of International Symposium on Software Testing and Analysis (ISSIA 1998). ACM: New York, NY, U.S.A., 1998; 73-81.
-
(1998)
Proceedings of International Symposium on Software Testing and Analysis (ISSIA 1998)
, pp. 73-81
-
-
Tracey, N.1
Clark, J.2
Mander, K.3
-
8
-
-
0032204373
-
Verifying Timing Constraints of Real-Time Systems by Means of Evolutionary Testing
-
Wegener J, Grochtmann M,. Verifying timing constraints of real-time systems by means of evolutionary testing. Real-Time Systems 1998; 15 (3): 275-298. (Pubitemid 128512931)
-
(1998)
Real-Time Systems
, vol.15
, Issue.3
, pp. 275-298
-
-
Wegener, J.1
Grochtmann, M.2
-
9
-
-
0000380234
-
Testing real-time systems using genetic algorithms
-
Wegener J, Sthamer H, Jones BF, Eyres DE,. Testing real-time systems using genetic algorithms. Software Quality 1997; 6: 127-135. (Pubitemid 127479282)
-
(1997)
Software Quality Journal
, vol.6
, Issue.2
, pp. 127-135
-
-
Wegener, J.1
Sthamer, H.2
Jones, B.F.3
Eyres, D.E.4
-
10
-
-
0035551930
-
Regression test selection for Java software
-
Harrold MJ, Jones JA, Li T, Liang D, Orso A, Pennings M, Sinha S, Spoon S,. Regression test selection for java software. ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2001). ACM: New York, NY, U.S.A., 2001; 312-326. (Pubitemid 35009075)
-
(2001)
Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA
, vol.36
, pp. 312-326
-
-
Harrold, M.J.1
Jones, J.A.2
Li, T.3
Liang, D.4
Orso, A.5
Pennings, M.6
Sinha, S.7
Spoon, S.A.8
Gujarathi, A.9
-
11
-
-
0036957531
-
Empirical studies of test suite reduction
-
Rothermel G, Harrold M, Ronne J, Hong C,. Empirical studies of test suite reduction. Software Testing, Verification and Reliability 2002; 4 (2): 219-249.
-
(2002)
Software Testing, Verification and Reliability
, vol.4
, Issue.2
, pp. 219-249
-
-
Rothermel, G.1
Harrold, M.2
Ronne, J.3
Hong, C.4
-
12
-
-
4243804308
-
Experiments to assess the cost benefits of test-suite reduction
-
September
-
Rothermel G, Harrold M, von Ronne J, Hong C, Ostrin J,. Experiments to assess the cost benefits of test-suite reduction. Technical Report 99-60-09, Oregon State University, September 1999.
-
(1999)
Technical Report 99-60-09, Oregon State University
-
-
Rothermel, G.1
Harrold, M.2
Von Ronne, J.3
Hong, C.4
Ostrin, J.5
-
13
-
-
0032305987
-
An empirical study of the effects of minimization on the fault detection capabilities of test suites
-
IEEE Computer Society Press: Bethesda, MD, U.S.A.
-
Rothermel G, Harrold MJ, Ostrin J, Hong C,. An empirical study of the effects of minimization on the fault detection capabilities of test suites. Proceedings of International Conference on Software Maintenance (ICSM 1998). IEEE Computer Society Press: Bethesda, MD, U.S.A., 1998; 34-43.
-
(1998)
Proceedings of International Conference on Software Maintenance (ICSM 1998)
, pp. 34-43
-
-
Rothermel, G.1
Harrold, M.J.2
Ostrin, J.3
Hong, C.4
-
14
-
-
3142725712
-
Search-based software test data generation: A survey
-
McMinn P,. Search-based software test data generation: A survey. Software Testing, Verification and Reliability 2004; 14 (2): 105-156.
-
(2004)
Software Testing, Verification and Reliability
, vol.14
, Issue.2
, pp. 105-156
-
-
McMinn, P.1
-
16
-
-
0025472647
-
Automated software test data generation
-
DOI 10.1109/32.57624
-
Korel B,. Automated software test data generation. IEEE Transactions on Software Engineering 1990; 16 (8): 870-879. (Pubitemid 20738724)
-
(1990)
IEEE Transactions on Software Engineering
, vol.16
, Issue.8
, pp. 870-879
-
-
Korel Bogdan1
-
17
-
-
85032873485
-
An automated framework for structural test-data generation
-
IEEE Computer Society Press: Honolulu, HI, U.S.A.
-
Tracey N, Clark J, Mander K, McDermid J,. An automated framework for structural test-data generation. Proceedings of the 13th IEEE International Conference on Automated Software Engineering (ASE 1998). IEEE Computer Society Press: Honolulu, HI, U.S.A., 1998; 285-288.
-
(1998)
Proceedings of the 13th IEEE International Conference on Automated Software Engineering (ASE 1998)
, pp. 285-288
-
-
Tracey, N.1
Clark, J.2
Mander, K.3
McDermid, J.4
-
19
-
-
23744445816
-
Evolutionary testing in the presence of loop-assigned flags: A testability transformation approach
-
ISSTA 2004 - Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis
-
Baresel A, Binkley DW, Harman M, Korel B,. Evolutionary testing in the presence of loop-assigned flags: A testability transformation approach. Proceedings of the International Symposium on Software Testing and Analysis (ISSTA 2004), 2004; 108-118. (Pubitemid 41121382)
-
(2004)
ISSTA 2004 - Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis
, pp. 108-118
-
-
Baresel, A.1
Harman, M.2
Binkley, D.3
Korel, B.4
-
20
-
-
3142697923
-
Instrumenting programs with flag variables for test data search by genetic algorithms
-
Morgan Kaufmann Publishers.
-
Bottaci L,. Instrumenting programs with flag variables for test data search by genetic algorithms. Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2002). Morgan Kaufmann Publishers, 2002; 1337-1342.
-
(2002)
Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 2002)
, pp. 1337-1342
-
-
Bottaci, L.1
-
22
-
-
0033343346
-
Test-data generation using genetic algorithms
-
DOI 10.1002/(SICI)1099-1689(199912)9:4<263::AID-STVR190>3.0.CO;2-Y
-
Pargas RP, Harrold MJ, Peck RR,. Test-data generation using genetic algorithms. Software Testing, Verification and Reliability 1999; 9 (4): 263-282. (Pubitemid 30546633)
-
(1999)
Software Testing Verification and Reliability
, vol.9
, Issue.4
, pp. 263-282
-
-
Pargas, R.P.1
Harrold, M.J.2
Peck, R.R.3
-
23
-
-
0035892582
-
Evolutionary test environment for automatic structural testing
-
DOI 10.1016/S0950-5849(01)00190-2, PII S0950584901001902
-
Wegener J, Baresel A, Sthamer H,. Evolutionary test environment for automatic structural testing. Information and Software Technology 2001; 43 (14): 841-854. (Pubitemid 33050964)
-
(2001)
Information and Software Technology
, vol.43
, Issue.14
, pp. 841-854
-
-
Wegener, J.1
Baresel, A.2
Sthamer, H.3
-
24
-
-
25444492071
-
Scatter Search in software testing, comparison and collaboration with Estimation of Distribution Algorithms
-
DOI 10.1016/j.ejor.2004.08.006, PII S0377221704005454, Feature Cluster on Scatter Search Methods for Optimization
-
Sagarna R, Lozano JA,. Scatter search in software testing, comparison and collaboration with estimation of distribution algorithms. European Journal of Operational Research 2006; 169 (2): 392-412. (Pubitemid 41375698)
-
(2006)
European Journal of Operational Research
, vol.169
, Issue.2
, pp. 392-412
-
-
Sagarna, R.1
Lozano, J.A.2
-
26
-
-
34548073627
-
A multi-objective approach to search-based test data generation
-
DOI 10.1145/1276958.1277175, Proceedings of GECCO 2007: Genetic and Evolutionary Computation Conference
-
Lakhotia K, Harman M, McMinn P,. A multi-objective approach to search-based test data generation. Proceedings of the Ninth Annual Conference on Genetic and Evolutionary Computation (GECCO 2007). ACM: New York, NY, U.S.A., 2007; 1098-1105. (Pubitemid 47291668)
-
(2007)
Proceedings of GECCO 2007: Genetic and Evolutionary Computation Conference
, pp. 1098-1105
-
-
Harman, M.1
Lakhotia, K.2
McMinn, P.3
-
27
-
-
0033077271
-
The dynamic domain reduction approach to test data generation
-
Offutt AJ, Jin Z, Pan J,. The dynamic domain reduction approach to test data generation. Software Practice and Experience 1999; 29 (2): 167-193.
-
(1999)
Software Practice and Experience
, vol.29
, Issue.2
, pp. 167-193
-
-
Offutt, A.J.1
Jin, Z.2
Pan, J.3
-
28
-
-
37849020003
-
The impact of input domain reduction on search-based test data generation
-
ACM: New York, NY, U.S.A.
-
Harman M, Hassoun Y, Lakhotia K, McMinn P, Wegener J,. The impact of input domain reduction on search-based test data generation. Proceedings of the Sixth Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on The Foundations of Software Engineering (ESEC-FSE 2007). ACM: New York, NY, U.S.A., 2007; 155-164.
-
(2007)
Proceedings of the Sixth Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC-FSE 2007)
, pp. 155-164
-
-
Harman, M.1
Hassoun, Y.2
Lakhotia, K.3
McMinn, P.4
Wegener, J.5
-
29
-
-
25844493570
-
Branch-coverage testability transformation for unstructured programs
-
DOI 10.1093/comjnl/bxh093
-
Hierons R, Harman M, Fox C,. Branch-coverage testability transformation for unstructured programs. The Computer Journal 2005; 48 (4): 421-436. (Pubitemid 41386599)
-
(2005)
Computer Journal
, vol.48
, Issue.4
, pp. 421-436
-
-
Hierons, R.M.1
Harman, M.2
Fox, C.J.3
-
30
-
-
33750938483
-
Data dependence based testability transformation in automated test generation
-
DOI 10.1109/ISSRE.2005.16, 1544739, Proceedings - 16th IEEE International Symposium on Software Reliability Engineering, ISSRE 2005
-
Korel B, Harman M, Chung S, Apirukvorapinit P, Gupta R,. Data dependence based testability transformation in automated test generation. Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 05). IEEE Computer Society Press, 2005; 245-254. (Pubitemid 44733907)
-
(2005)
Proceedings - International Symposium on Software Reliability Engineering, ISSRE
, vol.2005
, pp. 245-254
-
-
Korel, B.1
Harman, M.2
Chung, S.3
Apirukvorapinit, P.4
Gupta, R.5
Zhang, Q.6
-
31
-
-
20844454696
-
From genetic to bacteriological algorithms for mutation-based testing
-
DOI 10.1002/stvr.313
-
Baudry B, Fleurey F, Jézéquel JM, Traon YL,. From genetic to bacteriological algorithms for mutation-based testing. Software Testing, Verification and Reliability 2005; 15 (2): 73-96. (Pubitemid 40858059)
-
(2005)
Software Testing Verification and Reliability
, vol.15
, Issue.2
, pp. 73-96
-
-
Baudry, B.1
Fleurey, F.2
Jezequel, J.-M.3
Traon, Y.L.4
-
32
-
-
17644404742
-
Automatic test case optimization: A bacteriologic algorithm
-
DOI 10.1109/MS.2005.30
-
Baudry B, Fleurey F, Jézéquel JM, Traon YL,. Automatic test case optimization: A bacteriologic algorithm. IEEE Software 2005; 22 (2): 76-82. (Pubitemid 40556024)
-
(2005)
IEEE Software
, vol.22
, Issue.2
, pp. 76-82
-
-
Baudry, B.1
Fleurey, F.2
Jezequel, J.-M.3
Le Traon, Y.4
-
33
-
-
34247095930
-
Improving test suites for efficient fault localization
-
Proceeding of the 28th International Conference on Software Engineering 2006, ICSE '06
-
Baudry B, Fleurey F, Traon YL,. Improving test suites for efficient fault localization. Proceedings of the 28th International Conference on Software Engineering (ICSE 2006). ACM: New York, NY, U.S.A., 2006; 82-91. (Pubitemid 46600905)
-
(2006)
Proceedings - International Conference on Software Engineering
, vol.2006
, pp. 82-91
-
-
Baudry, B.1
Fleurey, F.2
Le Traon, Y.3
-
34
-
-
33750247819
-
Improving evolutionary real-time testing
-
GECCO 2006 - Genetic and Evolutionary Computation Conference
-
Tlili M, Wappler S, Sthamer H,. Improving evolutionary real-time testing. Proceedings of the Eighth Annual Conference on Genetic and Evolutionary Computation (GECCO 2006). ACM: New York, NY, U.S.A., 2006; 1917-1924. (Pubitemid 44611575)
-
(2006)
GECCO 2006 - Genetic and Evolutionary Computation Conference
, vol.2
, pp. 1917-1924
-
-
Tlili, M.1
Wappler, S.2
Sthamer, H.3
Wegener, J.4
-
35
-
-
34548082648
-
IGUANA: Input generation using automated novel algorithms. A plug and play research tool
-
University of Sheffield
-
McMinn P,. IGUANA: Input generation using automated novel algorithms. A plug and play research tool. Technical Report CS-07-14, Department of Computer Science, University of Sheffield, 2007.
-
(2007)
Technical Report CS-07-14, Department of Computer Science
-
-
McMinn, P.1
-
37
-
-
47349111813
-
Combinatorial interaction regression testing: A study of test case generation and prioritization
-
IEEE Computer Society Press: Paris, France.
-
Qu X, Cohen M, Woolf K,. Combinatorial interaction regression testing: A study of test case generation and prioritization. Proceedings of IEEE International Conference on Software Maintenance (ICSM 2007). IEEE Computer Society Press: Paris, France, 2007; 255-264.
-
(2007)
Proceedings of IEEE International Conference on Software Maintenance (ICSM 2007)
, pp. 255-264
-
-
Qu, X.1
Cohen, M.2
Woolf, K.3
-
39
-
-
0004661054
-
-
PhD Thesis, Yale University, New Haven, CT, U.S.A
-
Budd TA,. Mutation analysis of program test data. PhD Thesis, Yale University, New Haven, CT, U.S.A., 1980.
-
(1980)
Mutation Analysis of Program Test Data
-
-
Budd, T.A.1
-
40
-
-
0031235549
-
All-uses vs mutation testing: An experimental comparison of effectiveness
-
PII S0164121296001549
-
Frankl PG, Weiss SN, Hu C,. All-uses vs mutation testing: An experimental comparison of effectiveness. Journal of Systems Software 1997; 38: 235-253. (Pubitemid 127384432)
-
(1997)
Journal of Systems and Software
, vol.38
, Issue.3
, pp. 235-253
-
-
Frankl, P.G.1
Weiss, S.N.2
Hu, C.3
-
41
-
-
0030085274
-
An experimental evaluation of data flow and mutation testing
-
Offutt AJ, Pan J, Tewary K, Zhang T,. An experimental evaluation of data flow and mutation testing. Software Practice and Experience 1996; 26 (2): 165-176. (Pubitemid 126594500)
-
(1996)
Software - Practice and Experience
, vol.26
, Issue.2
, pp. 165-176
-
-
Jefferson Offutt, A.1
Pan, J.2
Tewary, K.3
Zhang, T.4
-
42
-
-
20844460416
-
MuJava: An automated class mutation system
-
DOI 10.1002/stvr.308
-
Ma YS, Offutt J, Kwon YR,. Mujava: An automated class mutation system: Research articles. Software Testing, Verification and Reliability 2005; 15 (2): 97-133. DOI:. (Pubitemid 40858060)
-
(2005)
Software Testing Verification and Reliability
, vol.15
, Issue.2
, pp. 97-133
-
-
Ma, Y.-S.1
Offutt, J.2
Kwon, Y.R.3
-
43
-
-
52249109609
-
Searching for cognitively diverse tests: Towards universal test diversity metrics
-
IEEE Computer Society Press: Lillehammer, Norway.
-
Feldt R, Torkar R, Gorschek T, Afzal W,. Searching for cognitively diverse tests: Towards universal test diversity metrics. Proceedings of the First Workshop on Search-Based Software Testing (SBST 2008). IEEE Computer Society Press: Lillehammer, Norway, 2008; 178-186.
-
(2008)
Proceedings of the First Workshop on Search-Based Software Testing (SBST 2008)
, pp. 178-186
-
-
Feldt, R.1
Torkar, R.2
Gorschek, T.3
Afzal, W.4
-
44
-
-
0001116877
-
Binary codes capable of correcting deletions, insertions and reversals
-
Levenshtein VI,. Binary codes capable of correcting deletions, insertions and reversals. Soviet Physics Doklady 1966; 10: 707-710.
-
(1966)
Soviet Physics Doklady
, vol.10
, pp. 707-710
-
-
Levenshtein, V.I.1
-
45
-
-
34548204807
-
A theoretical & empirical znalysis of evolutionary testing and hill climbing for structural test data generation
-
DOI 10.1145/1273463.1273475, Proceedings of the 2007 ACM International Symposium on Software Testing and Analysis, ISSTA'07
-
Harman M, McMinn P,. A theoretical and empirical analysis of evolutionary testing and hill climbing for structural test data generation. Proceedings of the International Symposium on Software Testing and Analysis (ISSIA 2007). ACM: New York, NY, U.S.A., 2007; 73-83. (Pubitemid 47317581)
-
(2007)
2007 ACM International Symposium on Software Testing and Analysis, ISSTA'07
, pp. 73-83
-
-
Harman, M.1
McMinn, P.2
-
46
-
-
33750208158
-
On the use of mutation faults in empirical assessments of test case prioritization techniques
-
DOI 10.1109/TSE.2006.92
-
Do H, Rothermel G,. On the use of mutation faults in empirical assessments of test case prioritization techniques. IEEE Transactions on Software Engineering 2006; 32 (9): 733-752. (Pubitemid 44604891)
-
(2006)
IEEE Transactions on Software Engineering
, vol.32
, Issue.9
, pp. 733-752
-
-
Do, H.1
Rothermel, G.2
|