-
1
-
-
77953971788
-
-
Agitar Software, Inc.
-
Agitar Software, Inc. Agitator. http://www.agitar.com, 2006.
-
(2006)
-
-
-
3
-
-
77953988761
-
-
CodePro March
-
Instantiations, Inc. CodePro. http://www.instantiations.com, March 2007.
-
(2007)
-
-
-
4
-
-
0030234676
-
Automatic structural testing using genetic algorithms
-
B. F. Jones, H. Sthamer, and D. E. Eyres. Automatic test data generation using genetic algorithms. Software Engineering Journal, 11(5):299-306, September 1996. (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
-
7
-
-
33646091521
-
Evolutionary testing using an extended chaining approach
-
P. McMinn and M. Holcombe. Evolutionary testing using an extended chaining approach. Evolutionary Computation, 14(1):41-64, 2006. (Pubitemid 43955272)
-
(2006)
Evolutionary Computation
, vol.14
, Issue.1
, pp. 41-64
-
-
McMinn, P.1
Holcombe, M.2
-
8
-
-
77953966654
-
-
Jtest
-
Parasoft, Inc. Jtest. http://www.parasoft.com.
-
-
-
-
9
-
-
0033343346
-
Test-data generation using genetic algorithms
-
R. P. Pargas, M. J. Harrold, and R. R. Peck. Test-data generation using genetic algorithms. Journal of Software Testing, Verification and Reliability, 9(4):263-282, 1999.
-
(1999)
Journal of Software Testing, Verification and Reliability
, vol.9
, Issue.4
, pp. 263-282
-
-
Pargas, R.P.1
Harrold, M.J.2
Peck, R.R.3
-
10
-
-
33749857160
-
Cute and jcute: Concolic unit testing and explicit path model-checking tools
-
18th International Conference on Computer Aided Verification (CAV'06), Springer, To Appear. Tool Paper
-
K. Sen and G. Agha. Cute and jcute : Concolic unit testing and explicit path model-checking tools. In 18th International Conference on Computer Aided Verification (CAV'06), Lecture Notes in Computer Science. Springer, 2006. (To Appear. Tool Paper).
-
(2006)
Lecture Notes in Computer Science
-
-
Sen, K.1
Agha, G.2
-
11
-
-
23744485743
-
Evolutionary testing of classes
-
New York, NY, USA, ACM Press
-
P. Tonella. Evolutionary testing of classes. In ISSTA '04: Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, pages 119-128, New York, NY, USA, 2004. ACM Press.
-
(2004)
ISSTA '04: Proceedings of the 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis
, pp. 119-128
-
-
Tonella, P.1
-
12
-
-
23744462328
-
Test input generation with Java PathFinder
-
New York, NY, USA, ACM Press
-
W. Visser, C. S. Pǎsǎreanu, and S. Khurshid. Test input generation with Java PathFinder. In ISSTA '04: Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis, pages 97-107, New York, NY, USA, 2004. ACM Press.
-
(2004)
ISSTA '04: Proceedings of the 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis
, pp. 97-107
-
-
Visser, W.1
Pǎsǎreanu, C.S.2
Khurshid, S.3
-
13
-
-
32444441483
-
Using evolutionary algorithms for the unit testing of object-oriented software
-
New York, NY, USA, ACM Press
-
S. Wappler and F. Lammermann. Using evolutionary algorithms for the unit testing of object-oriented software. In GECCO '05: Proceedings of the 2005 conference on Genetic and evolutionary computation, pages 1053-1060, New York, NY, USA, 2005. ACM Press.
-
(2005)
GECCO '05: Proceedings of the 2005 Conference on Genetic and Evolutionary Computation
, pp. 1053-1060
-
-
Wappler, S.1
Lammermann, F.2
-
14
-
-
48049098905
-
Evolutionary unit testing of object-oriented software using a hybrid evolutionary algorithm
-
Vancouver, Canada, July IEEE Press
-
S. Wappler and J. Wegener. Evolutionary unit testing of object-oriented software using a hybrid evolutionary algorithm. In Proceedings of the IEEE World Congress on Computational Intelligence (WCCI-2006), pages 3193-3200, Vancouver, Canada, July 2006. IEEE Press.
-
(2006)
Proceedings of the IEEE World Congress on Computational Intelligence (WCCI-2006)
, pp. 3193-3200
-
-
Wappler, S.1
Wegener, J.2
-
15
-
-
33750264127
-
Evolutionary unit testing of object-oriented software using strongly-typed genetic programming
-
New York, NY, USA, ACM Press
-
S. Wappler and J. Wegener. Evolutionary unit testing of object-oriented software using strongly-typed genetic programming. In GECCO '06: Proceedings of the 2006 conference on Genetic and evolutionary computation, pages 1925-1932, New York, NY, USA, 2006. ACM Press.
-
(2006)
GECCO '06: Proceedings of the 2006 Conference on Genetic and Evolutionary Computation
, pp. 1925-1932
-
-
Wappler, S.1
Wegener, J.2
-
16
-
-
0035892582
-
Evolutionary test environment for automatic structural testing
-
J. Wegener, A. Baresel, and H. Sthamer. Evolutionary test environment for automatic structural testing. Information and Software Technology, 43(1):841-854, 2001.
-
(2001)
Information and Software Technology
, vol.43
, Issue.1
, pp. 841-854
-
-
Wegener, J.1
Baresel, A.2
Sthamer, H.3
-
17
-
-
3543140555
-
Resource review: Three open source systems for evolving programs: Lilgp, ecj and grammatical evolution
-
G. C. Wilson, A. McIntyre, and M. I. Heywood. Resource review: Three open source systems for evolving programs: Lilgp, ecj and grammatical evolution. Genetic Programming and Evolvable Machines, 5(1):103-105, 2004.
-
(2004)
Genetic Programming and Evolvable Machines
, vol.5
, Issue.1
, pp. 103-105
-
-
Wilson, G.C.1
McIntyre, A.2
Heywood, M.I.3
-
18
-
-
24644482816
-
Symstra: A framework for generating object-oriented unit tests using symbolic execution
-
April
-
T. Xie, D. Marinov, W. Schulte, and D. Notkin. Symstra: A framework for generating object-oriented unit tests using symbolic execution. In Proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 05), pages 365-381, April 2005.
-
(2005)
Proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 05)
, pp. 365-381
-
-
Xie, T.1
Marinov, D.2
Schulte, W.3
Notkin, D.4
|