-
2
-
-
77953733302
-
On the many ways software engineering can benefit from knowledge engineering
-
Italy
-
th SEKE, Italy, 2002, pp. 3-6.
-
(2002)
th SEKE
, pp. 3-6
-
-
Briand, L.C.1
-
3
-
-
0028498264
-
Achieving software quality with testing coverage measures
-
HORGAN, J.-LONDON, S.-LYU, M.: Achieving Software Quality with Testing Coverage Measures. IEEE Computer, Vol.27, 1994, No.9, pp. 60-69.
-
(1994)
IEEE Computer
, vol.27
, Issue.9
, pp. 60-69
-
-
Horgan, J.1
London, S.2
Lyu, M.3
-
5
-
-
3142725712
-
Search-based software test data generation: A survey
-
MCMINN, P.: Search-Based Software Test Data Generation: A Survey. Software Testing, Verification and Reliability, Vol.14, 2004, No.2, pp. 105-156.
-
(2004)
Software Testing, Verification and Reliability
, vol.14
, Issue.2
, pp. 105-156
-
-
Mcminn, P.1
-
6
-
-
35248831654
-
The state problem for evolutionary testing
-
Springer Verlag, LNCS
-
MCMINN, P.-HOLCOMBE, M.: The State Problem for Evolutionary Testing. Proc. GECCO 2003, Springer Verlag, 2003, LNCS, Vol.2724, pp. 2488-2500.
-
(2003)
Proc. GECCO 2003
, vol.2724
, pp. 2488-2500
-
-
Mcminn, P.1
Holcombe, M.2
-
7
-
-
17644404742
-
Automatic test case optimization: A bacteriologic algorithm
-
BAURDY, B.-FLEUREY, F.-MARC, J.-LE TRAON, Y.: Automatic Test Case Optimization: A Bacteriologic Algorithm. IEEE Software, 2005, pp. 76-81.
-
(2005)
IEEE Software
, pp. 76-81
-
-
Baurdy, B.1
Fleurey, F.2
Marc, J.3
Le Traon, Y.4
-
8
-
-
77951892707
-
Test data generation using genetic algorithm
-
Verification And Reliability
-
PARGAS, R. P.-HARROLD, M. J.-PERK, R. R.: Test Data Generation Using Genetic Algorithm. Journal of Software Testing, Verification And Reliability, 1999, pp. 1-19.
-
(1999)
Journal of Software Testing
, pp. 1-19
-
-
Pargas, R.P.1
Harrold, M.J.2
Perk, R.R.3
-
12
-
-
84877046159
-
-
www.jester.com.
-
-
-
-
13
-
-
84877047815
-
-
www.mujava.com.
-
-
-
-
14
-
-
0742301773
-
A hybrid genetic algorithm - a new approach to solve traveling salesman problem
-
JAYALAKSHMI, G. A.-SATHIAMOORTHY, S.-RAJARAM, R.: A Hybrid Genetic Algorithm - A New Approach to Solve Traveling Salesman Problem. International Journal of Computational Engineering Science, Vol.2, 2001, No.2, pp. 339-355.
-
(2001)
International Journal of Computational Engineering Science
, vol.2
, Issue.2
, pp. 339-355
-
-
Jayalakshmi, G.A.1
Sathiamoorthy, S.2
Rajaram, R.3
-
17
-
-
40849088337
-
A hybrid optimization technique coupling an evolutionary and a local search algorithm
-
DOI 10.1016/j.cam.2006.03.048, PII S0377042706007552
-
KELNER, V.-CAPITANESCU, F.-LEONARD, O.-WEHENKEL, L.: A Hybrid Optimization Technique coupling Evolutionary and Local Search Algorithms. Journal of Computational and Applied Mathematics, Vol.215, 2008, No.2, pp. 448-456. (Pubitemid 351400871)
-
(2008)
Journal of Computational and Applied Mathematics
, vol.215
, Issue.2
, pp. 448-456
-
-
Kelner, V.1
Capitanescu, F.2
Leonard, O.3
Wehenkel, L.4
-
18
-
-
27344452492
-
A tutorial on competent memetic algorithms: Model, taxonomy and design issues
-
KRASNOGOR, N.-SMITH, J.: A Tutorial on Competent Memetic Algorithms: Model, Taxonomy and Design Issues. IEEE Transactions on Evolutionary Computation, Vol. A, No. B, CCC200D, 2005.
-
(2005)
IEEE Transactions on Evolutionary Computation
, vol.A
, Issue.B
-
-
Krasnogor, N.1
Smith, J.2
-
19
-
-
33646152366
-
An experimental mutation system for java
-
OFFUTT, J.-MA, Y.-S.-KWON, Y. R.: An Experimental Mutation System for Java. ACM SIGSOFT Software Engineering Notes, Vol.29, 2004, No.5, pp. 1-4.
-
(2004)
ACM SIGSOFT Software Engineering Notes
, vol.29
, Issue.5
, pp. 1-4
-
-
Offutt, J.1
Ma, Y.-S.2
Kwon, Y.R.3
-
21
-
-
33745552861
-
Effective black-box testing with genetic algorithms
-
LAST, M.-EYAL, S.-KANDEL, A.: Effective Black-Box Testing with Genetic Algorithms. Book on Hardware and Software, Verification and Testing, Lecture Notes in Computer Science, 2006, pp. 134-148.
-
(2006)
Book on Hardware and Software, Verification and Testing, Lecture Notes in Computer Science
, pp. 134-148
-
-
Last, M.1
Eyal, S.2
Kandel, A.3
-
24
-
-
0031354777
-
Software unit test coverage and adequacy
-
ZHU, H.-HALL, P.-MAY, J.: Software Unit Test Coverage and Adequacy. ACM Computing Ssurveys, Vol.29, 1997, pp. 366-427.
-
(1997)
ACM Computing Ssurveys
, vol.29
, pp. 366-427
-
-
Zhu, H.1
Hall, P.2
May, J.3
-
25
-
-
0034497830
-
Using genetic algorithms for test case generation in path testing
-
LIN, J. C.-YEH, P. L.: Using Genetic Algorithms for Test Case Generation in Path Testing. Proceedings of ATS 2000, pp. 241-246.
-
(2000)
Proceedings of ATS
, pp. 241-246
-
-
Lin, J.C.1
Yeh, P.L.2
-
26
-
-
35248829324
-
Software testing by statistical methods - preliminary success estimates for approaches based on binomial models
-
Technical Report, National Institute of Standards and Technology, Information Technology Laboratory
-
BANKS, D.-DASHIELL, W. et al.: Software Testing by Statistical Methods - Preliminary Success Estimates for Approaches based on Binomial Models, Coverage Designs, Mutation Testing, and Usage Models. Technical Report, National Institute of Standards and Technology, Information Technology Laboratory, 1998.
-
(1998)
Coverage Designs, Mutation Testing, and Usage Models
-
-
Banks, D.1
Dashiell, W.2
-
28
-
-
40249118430
-
A tabu search algorithm for structural software testing
-
DOI 10.1016/j.cor.2007.01.009, PII S0305054807000214
-
DAZ, E.-TUYA, J.-BLANCO, R.: A Tabu Search Algorithm for Structural Software Testing. Computers and Operations Research, Vol.35, 2008, No.10, pp. 3052-3072. (Pubitemid 351335136)
-
(2008)
Computers and Operations Research
, vol.35
, Issue.10
, pp. 3052-3072
-
-
Diaz, E.1
Tuya, J.2
Blanco, R.3
Javier Dolado, J.4
-
29
-
-
17644404742
-
An original approach for automatic test cases optimization: A bacteriologic algorithm
-
BAUDRY, B.-FLEUREY, F.-LE TRAON, Y.-JÉZÉQUEL, J.M.: An Original Approach for Automatic Test Cases Optimization: A Bacteriologic Algorithm. IEEE Software, Vol.22, 2005, No.2, pp. 76-82.
-
(2005)
IEEE Software
, vol.22
, Issue.2
, pp. 76-82
-
-
Baudry, B.1
Fleurey, F.2
Le Traon, Y.3
Jézéquel, J.M.4
-
31
-
-
15844378362
-
Improving generation of object-oriented test suites by avoiding redundant tests
-
University of Washington, Department of Computer Science and Engineering, Seattle, WA, January
-
XIE, T.-MARINOV, D.-NOTKIN, D.: Improving Generation of Object-Oriented Test Suites by Avoiding Redundant Tests. Technical Report UW-CSE-04-01-05, University of Washington, Department of Computer Science and Engineering, Seattle, WA, January 2004.
-
(2004)
Technical Report UW-CSE-04-01-05
-
-
Xie, T.1
Marinov, D.2
Notkin, D.3
-
33
-
-
20844454696
-
From genetic to bacteriological algorithms for mutation-based testing
-
BAUDRY, B.-FLEUREY, F.-LETRAON, Y.-JÉZÉQUEL, J. M.:. From Genetic to Bacteriological Algorithms for Mutation-Based Testing. Software Testing Verification and Reliability, Vol.15, 2005, No.2, pp. 73-96.
-
(2005)
Software Testing Verification and Reliability
, vol.15
, Issue.2
, pp. 73-96
-
-
Baudry, B.1
Fleurey, F.2
Letraon, Y.3
Jézéquel, J.M.4
-
34
-
-
34247384010
-
-
ISSTA
-
MCMINN, P.-HARMAN, M.-BINKLEY, D.-TONELLA, P.: The Species Per Path Approach to Search Based Test Data Generation. ISSTA 2006, pp. 13-24.
-
(2006)
The Species per Path Approach to Search Based Test Data Generation.
, pp. 13-24
-
-
Mcminn, P.1
Harman, M.2
Binkley, D.3
Tonella, P.4
-
35
-
-
4344568509
-
TestEra: Specification-based testing of java programs using SAT
-
JASE
-
KHURSHID, S.-MARINOV, D.: TestEra: Specification-Based Testing of Java Programs Using SAT. Automated Software Engineering Journal (JASE 2004), Vol.11, No.4, pp. 403-434.
-
(2004)
Automated Software Engineering Journal
, vol.11
, Issue.4
, pp. 403-434
-
-
Khurshid, S.1
Marinov, D.2
-
37
-
-
0035678269
-
Generating software test data by evolution
-
DOI 10.1109/32.988709
-
MICHAEL, C. C.-MCGRAW, G.-SCHATZ, M.: Generating Software Test Data by Evolution. IEEE Transactions on Software Engineering, Vol.27, 2001, No.12, pp. 1085-1110. (Pubitemid 34035564)
-
(2001)
IEEE Transactions on Software Engineering
, vol.27
, Issue.12
, pp. 1085-1110
-
-
Michael, C.C.1
McGraw, G.2
Schatz, M.A.3
-
38
-
-
67650373823
-
On the use of intelligent agents to guide test sequence selection and optimization
-
JEYA MALA, D.-MOHAN, V.: On the Use of Intelligent Agents to Guide Test Sequence Selection and Optimization. International Journal of Computational Intelligence and Applications, Vol.8, 2009, No.2, pp. 155-179.
-
(2009)
International Journal of Computational Intelligence and Applications
, vol.8
, Issue.2
, pp. 155-179
-
-
Jeya Mala, D.1
Mohan, V.2
|