-
2
-
-
0036038253
-
Mining specifications
-
G. Ammons, R. Bodik, J.R. Larus, Mining specifications, in: Proceedings of ACM Principles of Programming Languages, 2002, pp. 4-16.
-
(2002)
Proceedings of ACM Principles of Programming Languages
, pp. 4-16
-
-
Ammons, G.1
Bodik, R.2
Larus, J.R.3
-
3
-
-
33947155743
-
Using mutation analysis for assessing and comparing testing coverage criteria
-
Andrews J.H., Briand L.C., Labiche Y., and Namin A.S. Using mutation analysis for assessing and comparing testing coverage criteria. IEEE Transactions on Software Engineering 32 8 (2006) 608-624
-
(2006)
IEEE Transactions on Software Engineering
, vol.32
, Issue.8
, pp. 608-624
-
-
Andrews, J.H.1
Briand, L.C.2
Labiche, Y.3
Namin, A.S.4
-
4
-
-
84880898457
-
A machine learning approach for statistical software testing
-
N. Baskiotis, M. Sebag, M.-C. Gaudel, S. Gouraud, A machine learning approach for statistical software testing, in: Proceedings of International Joint Conference on Artificial Intelligence, 2007, pp. 2274-2279.
-
(2007)
Proceedings of International Joint Conference on Artificial Intelligence
, pp. 2274-2279
-
-
Baskiotis, N.1
Sebag, M.2
Gaudel, M.-C.3
Gouraud, S.4
-
5
-
-
34247095930
-
Improving test suites for efficient fault localization
-
B. Baudry, F. Fleurey, Y. Le Traon, Improving test suites for efficient fault localization, in: Proc. International Conference on Software Engineering, 2006, pp. 82-91.
-
(2006)
Proc. International Conference on Software Engineering
, pp. 82-91
-
-
Baudry, B.1
Fleurey, F.2
Le Traon, Y.3
-
6
-
-
22944435659
-
Active learning for automatic classification of software behavior
-
J.F. Bowring, J.M. Rehg, M.J. Harrold, Active learning for automatic classification of software behavior, in: Proceedings of the ACM International Symposium on Software Testing and Analysis, 2004, pp. 195-205.
-
(2004)
Proceedings of the ACM International Symposium on Software Testing and Analysis
, pp. 195-205
-
-
Bowring, J.F.1
Rehg, J.M.2
Harrold, M.J.3
-
7
-
-
47949110908
-
Using Machine Learning to Refine Black-box Test Specifications and Test Suites, Carleton University
-
Technical Report SCE-07-05
-
L.C. Briand, Y. Labiche, Z. Bawar, Using Machine Learning to Refine Black-box Test Specifications and Test Suites, Carleton University, Technical Report SCE-07-05, 2007.
-
(2007)
-
-
Briand, L.C.1
Labiche, Y.2
Bawar, Z.3
-
9
-
-
47349093598
-
Using machine learning to support debugging with Tarantula
-
L.C. Briand, Y. Labiche, X. Liu, Using machine learning to support debugging with Tarantula, in: Proceedings of International Symposium on Software Reliability Engineering, 2007, pp. 137-146.
-
(2007)
Proceedings of International Symposium on Software Reliability Engineering
, pp. 137-146
-
-
Briand, L.C.1
Labiche, Y.2
Liu, X.3
-
10
-
-
3142715306
-
On the identification of categories and choices for specification-based test case generation
-
Chen T.Y., Poon P.-L., Tang S.-F., and Tse T.H. On the identification of categories and choices for specification-based test case generation. Information and Software Technology 46 13 (2004) 887-898
-
(2004)
Information and Software Technology
, vol.46
, Issue.13
, pp. 887-898
-
-
Chen, T.Y.1
Poon, P.-L.2
Tang, S.-F.3
Tse, T.H.4
-
11
-
-
0042850366
-
A choice relation framework for supporting category-partition test case generation
-
Chen T.Y., Poon P.-L., and Tse T.H. A choice relation framework for supporting category-partition test case generation. IEEE Transactions on Software Engineering 29 7 (2003) 577-593
-
(2003)
IEEE Transactions on Software Engineering
, vol.29
, Issue.7
, pp. 577-593
-
-
Chen, T.Y.1
Poon, P.-L.2
Tse, T.H.3
-
12
-
-
0032596610
-
Simple, fast, and effective rule learner
-
W.W. Cohen, Y. Singer, Simple, fast, and effective rule learner, in: Proceedings of AAAI/IAAI, 1999, pp. 335-342.
-
(1999)
Proceedings of AAAI/IAAI
, pp. 335-342
-
-
Cohen, W.W.1
Singer, Y.2
-
15
-
-
22944444504
-
Profiling deployed software assessing strategies and testing opportunities
-
Elbaum S., and Diep M. Profiling deployed software assessing strategies and testing opportunities. Transactions on Software Engineering 31 4 (2005) 312-327
-
(2005)
Transactions on Software Engineering
, vol.31
, Issue.4
, pp. 312-327
-
-
Elbaum, S.1
Diep, M.2
-
16
-
-
0035250541
-
Dynamically discovering likely program invariants to support program evolution
-
Ernst M.D., Cockrell J., Griswold W.G., and Notkin D. Dynamically discovering likely program invariants to support program evolution. IEEE Transaction on Software Engineering 27 2 (2001) 1-25
-
(2001)
IEEE Transaction on Software Engineering
, vol.27
, Issue.2
, pp. 1-25
-
-
Ernst, M.D.1
Cockrell, J.2
Griswold, W.G.3
Notkin, D.4
-
17
-
-
16244376195
-
Tree-based methods for classifying software failures
-
P. Francis, D. Leon, M. Minch, A. Podgurski, Tree-based methods for classifying software failures, in: Proceedings of International Symposium on Software Reliability Engineering, 2004, pp. 451-462.
-
(2004)
Proceedings of International Symposium on Software Reliability Engineering
, pp. 451-462
-
-
Francis, P.1
Leon, D.2
Minch, M.3
Podgurski, A.4
-
18
-
-
0027614942
-
Classification trees for partition testing, software testing
-
Grochtmann M., and Grimm K. Classification trees for partition testing, software testing. Verification and Reliability 3 2 (1993) 63-82
-
(1993)
Verification and Reliability
, vol.3
, Issue.2
, pp. 63-82
-
-
Grochtmann, M.1
Grimm, K.2
-
19
-
-
34247624499
-
Techniques for classifying executions of deployed software to support software engineering tasks
-
Haran M., Karr A., Last M., Orso A., Porter A., Sanil A., and Fouche S. Techniques for classifying executions of deployed software to support software engineering tasks. Transactions on Software Engineering 33 5 (2007) 1-18
-
(2007)
Transactions on Software Engineering
, vol.33
, Issue.5
, pp. 1-18
-
-
Haran, M.1
Karr, A.2
Last, M.3
Orso, A.4
Porter, A.5
Sanil, A.6
Fouche, S.7
-
20
-
-
0038262973
-
Improving test suites via operational abstraction
-
M. Harder, J. Mellen, M.D. Ernst, Improving test suites via operational abstraction, in: Proceedings of 25th International Conference on Software Engineering, 2003, pp. 60-71.
-
(2003)
Proceedings of 25th International Conference on Software Engineering
, pp. 60-71
-
-
Harder, M.1
Mellen, J.2
Ernst, M.D.3
-
21
-
-
28044448116
-
A UML-Based approach to system testing
-
Hartmann J., Vieira M., Foster H., and Ruder A. A UML-Based approach to system testing. Innovations in Systems and Software Engineering 1 1 (2005) 12-24
-
(2005)
Innovations in Systems and Software Engineering
, vol.1
, Issue.1
, pp. 12-24
-
-
Hartmann, J.1
Vieira, M.2
Foster, H.3
Ruder, A.4
-
22
-
-
52449091207
-
UML based test generation and execution
-
J. Hartmann, M. Vieira, A. Ruder, UML based test generation and execution, in: Proceedings of Workshop on Software Test, Analyses and Verification, 2004.
-
(2004)
Proceedings of Workshop on Software Test, Analyses and Verification
-
-
Hartmann, J.1
Vieira, M.2
Ruder, A.3
-
25
-
-
34247131359
-
MuJava: A mutation system for Java
-
Y.-S. Ma, A.J. Offutt, Y.-R. Kwon, MuJava: a mutation system for Java, in: Proceedings of International Conference on Software Engineering, 2006, pp. 827-830.
-
(2006)
Proceedings of International Conference on Software Engineering
, pp. 827-830
-
-
Ma, Y.-S.1
Offutt, A.J.2
Kwon, Y.-R.3
-
26
-
-
34247499952
-
-
P. Maki-Asiala, M. Matinlassi, Quality assurance of open source components: integrator point of view, in: Proceedings of Annual International Computer Software and Applications Conference, 2006, pp. 189-194
-
P. Maki-Asiala, M. Matinlassi, Quality assurance of open source components: integrator point of view, in: Proceedings of Annual International Computer Software and Applications Conference, 2006, pp. 189-194.
-
-
-
-
29
-
-
84872900030
-
Quality practices and problems in free software projects
-
M. Michlmayr, F. Hunt, D. Probert, Quality practices and problems in free software projects, in: Proceedings of First International Conference on Open Source Systems, 2005, pp. 24-28.
-
(2005)
Proceedings of First International Conference on Open Source Systems
, pp. 24-28
-
-
Michlmayr, M.1
Hunt, F.2
Probert, D.3
-
30
-
-
0024033855
-
The category-partition method for specifying and generating functional test
-
Ostrand T.J., and Balcer M.J. The category-partition method for specifying and generating functional test. Communications of the ACM 31 6 (1988) 676-686
-
(1988)
Communications of the ACM
, vol.31
, Issue.6
, pp. 676-686
-
-
Ostrand, T.J.1
Balcer, M.J.2
-
31
-
-
26444584996
-
Eclat: Automatic generation and classification of test inputs
-
Proceedings of European Conference on Object-Oriented Programming
-
C. Pacheco, M.D. Ernst, Eclat: automatic generation and classification of test inputs, in: Proceedings of European Conference on Object-Oriented Programming, LNCS, vol. 3586, 2005, pp. 504-527.
-
(2005)
LNCS
, vol.3586
, pp. 504-527
-
-
Pacheco, C.1
Ernst, M.D.2
-
32
-
-
0030417573
-
Sensitivity of reliability-growth models to operational profiles errors vs testing accuracy
-
Pasquini A., Crespo A., and Matrelle P. Sensitivity of reliability-growth models to operational profiles errors vs testing accuracy. IEEE Transactions on Reliability 45 4 (1996) 531-540
-
(1996)
IEEE Transactions on Reliability
, vol.45
, Issue.4
, pp. 531-540
-
-
Pasquini, A.1
Crespo, A.2
Matrelle, P.3
-
33
-
-
69549118967
-
-
J.R. Quinlan, C4.5: Programs for Machine Learning, Morgan Kaufmann, 1993.
-
J.R. Quinlan, C4.5: Programs for Machine Learning, Morgan Kaufmann, 1993.
-
-
-
-
34
-
-
0031380319
-
Test case design based on Z and the classification-tree method
-
H. Singh, M. Conrad, S. Sadeghipour, Test case design based on Z and the classification-tree method, in: Proceedings of International Conference on Formal Engineering Methods, 1997, pp. 81-90.
-
(1997)
Proceedings of International Conference on Formal Engineering Methods
, pp. 81-90
-
-
Singh, H.1
Conrad, M.2
Sadeghipour, S.3
-
35
-
-
33749603239
-
-
Wiley
-
C. Willcock, D. Deiß, S. Tobies, S. Keil, F. Engler, S. Schulz, An Introduction to TTCN-3, Wiley, 2005.
-
(2005)
An Introduction to TTCN-3
-
-
Willcock, C.1
Deiß, D.2
Tobies, S.3
Keil, S.4
Engler, F.5
Schulz, S.6
-
37
-
-
0038521604
-
Quality assurance under the open source development model
-
Zhao L., and Elbaum S. Quality assurance under the open source development model. Journal of Systems and Software 66 1 (2003) 65-75
-
(2003)
Journal of Systems and Software
, vol.66
, Issue.1
, pp. 65-75
-
-
Zhao, L.1
Elbaum, S.2
|