-
3
-
-
0030675015
-
Automatic generation of test vectors for SCR-style specifications
-
Gaithersburg, Maryland, June
-
M. R. Blackburn, R. D. Busser, and J. S. Fontaine, Automatic generation of test vectors for SCR-style specifications, in Proc. 12th Ann. Conf. on Computer Assurance (Gaithersburg, Maryland, June 1997).
-
(1997)
Proc. 12th Ann. Conf. on Computer Assurance
-
-
Blackburn, M.R.1
Busser, R.D.2
Fontaine, J.S.3
-
5
-
-
0022769976
-
Graph-based algorithms for Boolean function manipulation
-
R. E. Bryant, Graph-based algorithms for Boolean function manipulation, IEEE Trans. on Computers C-35-8 (1986) 677-691.
-
(1986)
IEEE Trans. on Computers
, vol.C-35-8
, pp. 677-691
-
-
Bryant, R.E.1
-
8
-
-
0037888603
-
-
Addison-Wesley
-
E. Dustin, J. Rashka, and J. Paul, Automated Software Testing: Introduction, Management, and Performance (Addison-Wesley, 1999).
-
(1999)
Automated Software Testing: Introduction, Management, and Performance
-
-
Dustin, E.1
Rashka, J.2
Paul, J.3
-
9
-
-
0034592889
-
Prioritizing test cases for regression testing
-
S. Elbaum, A. G. Malishevsky, and G. Rothermel, Prioritizing test cases for regression testing, in Proc. ISSTA '00, 2000, pp. 102-112.
-
Proc. ISSTA '00, 2000
, pp. 102-112
-
-
Elbaum, S.1
Malishevsky, A.G.2
Rothermel, G.3
-
10
-
-
0242456805
-
From run-time behavior to usage scenarios: An interaction-pattern mining approach
-
ACM Press
-
M. El-Ramly, E. Stroulia, and P. Sorenson, From run-time behavior to usage scenarios: An interaction-pattern mining approach, in Proc. KDD-2002, ACM Press, pp. 315-327.
-
Proc. KDD-2002
, pp. 315-327
-
-
El-Ramly, M.1
Stroulia, E.2
Sorenson, P.3
-
11
-
-
0002593344
-
Multi-interval discretization of continuous-valued attributes for classification learning
-
San Mateo, CA
-
U. Fayyad and K. Irani, Multi-interval discretization of continuous-valued attributes for classification learning, in Proc. Thirteenth Int'l Joint Conf. on Artificial Intelligence, San Mateo, CA, 1993, pp. 1022-1027.
-
(1993)
Proc. Thirteenth Int'l Joint Conf. on Artificial Intelligence
, pp. 1022-1027
-
-
Fayyad, U.1
Irani, K.2
-
12
-
-
49349123555
-
Finite element methods for solving the two-dimensional Schrödinger equation
-
M. Friedman, Y. Rosenfeld, A. Rabinovitch, and R. Thieberger, Finite element methods for solving the two-dimensional Schrödinger equation, J. Computational Physics 26(2) (1978).
-
(1978)
J. Computational Physics
, vol.26
, Issue.2
-
-
Friedman, M.1
Rosenfeld, Y.2
Rabinovitch, A.3
Thieberger, R.4
-
13
-
-
4644276696
-
Thomas-Fermi equation with non-spherical boundary conditions. Finite element methods for solving
-
M. Friedman, Y. Rosenfeld, A. Rabinovitch, and R. Thieberger, Thomas-Fermi equation with non-spherical boundary conditions. Finite element methods for solving, J. Computational Physics 70(2) (1987).
-
(1987)
J. Computational Physics
, vol.70
, Issue.2
-
-
Friedman, M.1
Rosenfeld, Y.2
Rabinovitch, A.3
Thieberger, R.4
-
15
-
-
0036573181
-
Two-dimensional Rayleigh model for bubble evolution in soft tissue
-
M. Friedman, M. Strauss, P. Amendt, R. A. London and M. E. Glinsky, Two-dimensional Rayleigh model for bubble evolution in soft tissue, Physics of Fluids 14(5) (2002).
-
(2002)
Physics of Fluids
, vol.14
, Issue.5
-
-
Friedman, M.1
Strauss, M.2
Amendt, P.3
London, R.A.4
Glinsky, M.E.5
-
16
-
-
4644341563
-
What can we learn by testing a program?
-
D. Hamlet, What Can We Learn by Testing a Program? in Proc. ISSTA 98 (1998) 50-52.
-
(1998)
Proc. ISSTA
, vol.98
, pp. 50-52
-
-
Hamlet, D.1
-
20
-
-
84991254436
-
Bottom-up induction of oblivious read-once decision graphs
-
Catania, Italy
-
R. Kohavi, Bottom-up induction of oblivious read-once decision graphs, in Proc. ECML-94, European Conference on Machine Learning, Catania, Italy, pp. 154-169.
-
Proc. ECML-94, European Conference on Machine Learning
, pp. 154-169
-
-
Kohavi, R.1
-
21
-
-
85168103975
-
Oblivious decision trees, graphs, and top-down pruning
-
R. Kohavi and C.-H. Li, Oblivious decision trees, graphs, and top-down pruning, in Proc. Int. Joint Conf. on Artificial Intelligence (IJCAI), 1995, pp. 1071-1077.
-
(1995)
Proc. Int. Joint Conf. on Artificial Intelligence (IJCAI)
, pp. 1071-1077
-
-
Kohavi, R.1
Li, C.-H.2
-
22
-
-
84876550761
-
Automated quality assurance of continuous data
-
eds. P. Melo-Pinto, H.-N. Teodorescu, and T. Fukuda IOS Press, NATO ASI Series
-
M. Last and A. Kandel, Automated quality assurance of continuous data, in Systematic Organization of Information in Fuzzy Systems, eds. P. Melo-Pinto, H.-N. Teodorescu, and T. Fukuda (IOS Press, NATO ASI Series, 2003), pp. 89-104.
-
(2003)
Systematic Organization of Information in Fuzzy Systems
, pp. 89-104
-
-
Last, M.1
Kandel, A.2
-
23
-
-
2942539105
-
Automated test reduction using an info-fuzzy network
-
ed. T. M. Khoshgoftaar Kluwer Academic Publishers
-
M. Last and A. Kandel, Automated test reduction using an info-fuzzy network, in Software Engineering with Computational Intelligence, ed. T. M. Khoshgoftaar (Kluwer Academic Publishers, 2003), pp. 235-258.
-
(2003)
Software Engineering with Computational Intelligence
, pp. 235-258
-
-
Last, M.1
Kandel, A.2
-
25
-
-
37449029679
-
Online classification of nonstationary data streams
-
M. Last, Online classification of nonstationary data streams, Intelligent Data Analysis 6(2) (2002) 129-147.
-
(2002)
Intelligent Data Analysis
, vol.6
, Issue.2
, pp. 129-147
-
-
Last, M.1
-
26
-
-
0035336996
-
Information-theoretic algorithm for feature selection
-
M. Last, A. Kandel, and O. Maimon, Information-theoretic algorithm for feature selection, Pattern Recognition Letters 22(6-7) (2001) 799-811.
-
(2001)
Pattern Recognition Letters
, vol.22
, Issue.6-7
, pp. 799-811
-
-
Last, M.1
Kandel, A.2
Maimon, O.3
-
27
-
-
0036505420
-
Improving stability of decision trees
-
M. Last, O. Maimon, and E. Minkov, Improving stability of decision trees, Int. J. Pattern Recognition and Artificial Intelligence 18(2) (2002) 145-159.
-
(2002)
Int. J. Pattern Recognition and Artificial Intelligence
, vol.18
, Issue.2
, pp. 145-159
-
-
Last, M.1
Maimon, O.2
Minkov, E.3
-
29
-
-
4644266959
-
On the promise of neural networks to support software testing
-
eds. W. Pedrycz and J. F. Peters World Scientific
-
A. von Mayrhauser, C. W. Anderson, T. Chen, R. Mraz, and C. A. Gideon, On the promise of neural networks to support software testing, in Computational Intelligence in Software Engineering, eds. W. Pedrycz and J. F. Peters (World Scientific, 1998), pp. 3-32.
-
(1998)
Computational Intelligence in Software Engineering
, pp. 3-32
-
-
Von Mayrhauser, A.1
Anderson, C.W.2
Chen, T.3
Mraz, R.4
Gideon, C.A.5
-
39
-
-
0034592704
-
Black-box test reduction using input-output analysis
-
P. J. Schroeder and B. Korel, Black-box test reduction using input-output analysis, in Proc. ISSTA '00, 2000, pp. 173-177.
-
Proc. ISSTA '00, 2000
, pp. 173-177
-
-
Schroeder, P.J.1
Korel, B.2
-
40
-
-
0036157249
-
Using a neural network in the software testing process
-
M. Vanmali, M. Last, and A. Kandel, Using a neural network in the software testing process, Int. J. Intelligent Systems 17(1) (2002) 45-62.
-
(2002)
Int. J. Intelligent Systems
, vol.17
, Issue.1
, pp. 45-62
-
-
Vanmali, M.1
Last, M.2
Kandel, A.3
-
42
-
-
0028437965
-
Automatically generating test data from a boolean specification
-
E. Weyuker, T. Goradia, and A. Singh, Automatically generating test data from a Boolean specification, IEEE Transactions on Software Engineering 20(5) (1994) 353-363.
-
(1994)
IEEE Transactions on Software Engineering
, vol.20
, Issue.5
, pp. 353-363
-
-
Weyuker, E.1
Goradia, T.2
Singh, A.3
|