-
3
-
-
34548434817
-
The density algorithm for pairwise interaction testing
-
doi:10.1002/stvr.365
-
Bryce, R., & Colbourn, C. J. (2007). The Density Algorithm for Pairwise Interaction Testing. Journal of Software Testing. Verification and Reliability, 17(3), 159-182. doi:10.1002/stvr.365
-
(2007)
Journal of Software Testing. Verification and Reliability
, vol.17
, Issue.3
, pp. 159-182
-
-
Bryce, R.1
Colbourn, C.J.2
-
4
-
-
69249171417
-
A densitybased greedy algorithm for higher strength covering arrays
-
doi:10.1002/stvr.393
-
Bryce, R., & Colbourn, C. J. (2009). A DensityBased Greedy Algorithm for Higher Strength Covering Arrays. Journal of Software Testing, Verification, and Reliability, 19(1), 37-53. doi:10.1002/stvr.393
-
(2009)
Journal of Software Testing, Verification, and Reliability
, vol.19
, Issue.1
, pp. 37-53
-
-
Bryce, R.1
Colbourn, C.J.2
-
5
-
-
0345421745
-
Combinatorial test techniques: Table-based automation, test generation, and code coverage
-
Burr, K., & Young, W. (1998). Combinatorial test techniques: Table-based automation, test generation, and code coverage. International Conference on Software Testing Analysis and Review (pp. 503-513).
-
(1998)
International Conference on Software Testing Analysis and Review
, pp. 503-513
-
-
Burr, K.1
Young, W.2
-
6
-
-
26144438975
-
-
[United States Patent, Number 5, 542, 043]
-
Cohen, D.M., Dalal, S. R., Fredman, M. L., & Patton, G. C. (1996). Method and system for automatically generating efficient test cases for systems having interacting elements [United States Patent, Number 5, 542, 043].
-
(1996)
Method and System for Automatically Generating Efficient Test Cases for Systems Having Interacting Elements
-
-
Cohen, D.M.1
Dalal, S.R.2
Fredman, M.L.3
Patton, G.C.4
-
7
-
-
0000673732
-
The aetg system: An approach to testing based on combinatorial design
-
doi:10.1109/32.605761
-
Cohen, D. M., Dalal, S. R., Fredman, M. L., & Patton, G. C. (1997). The AETG system: an approach to testing based on combinatorial design. IEEE Transactions on Software Engineering, 23(7), 437-444. doi:10.1109/32.605761
-
(1997)
IEEE Transactions on Software Engineering
, vol.23
, Issue.7
, pp. 437-444
-
-
Cohen, D.M.1
Dalal, S.R.2
Fredman, M.L.3
Patton, G.C.4
-
8
-
-
0030242266
-
The combinatorial design approach to automatic test generation
-
doi:10.1109/52.536462
-
Cohen, D. M., Dalal, S. R., Parelius, J., & Patton, G. C. (1996). The combinatorial design approach to automatic test generation. IEEE Software, 13(5), 83-88. doi:10.1109/52.536462
-
(1996)
IEEE Software
, vol.13
, Issue.5
, pp. 83-88
-
-
Cohen, D.M.1
Dalal, S.R.2
Parelius, J.3
Patton, G.C.4
-
9
-
-
0037587652
-
Constructing test suites for interaction testing
-
Cohen, M. B., Colbourn, C. J., Gibbons, P. B., & Mugridge, W. B. (2003). Constructing test suites for interaction testing. International Conference on Software Engineering (pp. 38-48).
-
(2003)
International Conference on Software Engineering
, pp. 38-48
-
-
Cohen, M.B.1
Colbourn, C.J.2
Gibbons, P.B.3
Mugridge, W.B.4
-
10
-
-
41549154144
-
Constructing strength 3 covering arrays with augmented annealing
-
doi:10.1016/j.disc.2006.06.036
-
Cohen, M. B., Colbourn, C. J., & Ling, A. C. H. (2008). Constructing Strength 3 Covering Arrays with Augmented Annealing. Discrete Mathematics, 308, 2709-2722. doi:10.1016/j.disc.2006.06.036
-
(2008)
Discrete Mathematics
, vol.308
, pp. 2709-2722
-
-
Cohen, M.B.1
Colbourn, C.J.2
Ling, A.C.H.3
-
11
-
-
33748433846
-
Le Matematiche (Catania)
-
Colbourn, C. J. (2004). Combinatorial aspects of covering arrays. Le Matematiche (Catania), 58, 121-167.
-
(2004)
, vol.58
, pp. 121-167
-
-
Colbourn, C.J.1
-
12
-
-
0032660359
-
Model-based testing in practice
-
Dalal, S. R., Jain, A., Karunanithi, N., Leaton, J. M., Lott, C. M., Patton, G. C., & Horowitz, B. M. (1999). Model-Based Testing in Practice. International Conference on Software Engineering (pp. 285-294).
-
(1999)
International Conference on Software Engineering
, pp. 285-294
-
-
Dalal, S.R.1
Jain, A.2
Karunanithi, N.3
Leaton, J.M.4
Lott, C.M.5
Patton, G.C.6
Horowitz, B.M.7
-
13
-
-
15844380622
-
A case study in jml-based software validation
-
du Bousquet, L., Ledru, Y., Maury, O., Oriat, C., & Lanet, J.-L. (2004). A case study in JML-based software validation. IEEE International Conference on Automated Software Engineering (pp. 294-297).
-
(2004)
IEEE International Conference on Automated Software Engineering
, pp. 294-297
-
-
du Bousquet, L.1
Ledru, Y.2
Maury, O.3
Oriat, C.4
Lanet, J.-L.5
-
14
-
-
0030615507
-
Applying design of experiments to software testing
-
Dunietz, S. Ehrlich, W. K. Szablak, B. D. Mallows, C. L. & Iannino, A. (1997). Applying design of experiments to software testing. International. Conference on Software Engineering (pp. 205-215).
-
(1997)
International. Conference on Software Engineering
, pp. 205-215
-
-
Dunietz, S.E.1
Szablak, W.K.2
Mallows, B.D.C.L.3
Iannino, A.4
-
16
-
-
77349123273
-
-
Retrieved on August 30, 2008, from
-
Hartman, A., Klinger, T., & Raskin, L. (2008). IBM Intelligent Test Case Handler. Retrieved on August 30, 2008, from http://www.alphaworks.ibm.com/tech/whitch
-
(2008)
IBM Intelligent Test Case Handler
-
-
Hartman, A.1
Klinger, T.2
Raskin, L.3
-
17
-
-
2942689600
-
Problems and algorithms for covering arrays
-
doi:10.1016/j.disc.2003.11.029
-
Hartman, A., & Raskin, L. (2004). Problems and algorithms for covering arrays. Discrete Mathematics, 284, 149-156. doi:10.1016/j.disc.2003.11.029
-
(2004)
Discrete Mathematics
, vol.284
, pp. 149-156
-
-
Hartman, A.1
Raskin, L.2
-
18
-
-
84962711462
-
An investigation of the applicability of design of experiments to software testing
-
Kuhn, D. R., & Reilly, M. (2002). An investigation of the applicability of design of experiments to software testing. NASA Goddard/IEEE Software Engineering Workshop (pp. 91-95).
-
(2002)
NASA Goddard/IEEE Software Engineering Workshop
, pp. 91-95
-
-
Kuhn, D.R.1
Reilly, M.2
-
19
-
-
3042622265
-
Software fault interactions and implications for software testing
-
doi:10.1109/TSE.2004.24
-
Kuhn, D. R., Wallace, D., & Gallo, A. (2004). Software Fault Interactions and Implications for Software Testing. IEEE Transactions on Software Engineering, 30(6), 418-421. doi:10.1109/TSE.2004.24
-
(2004)
IEEE Transactions on Software Engineering
, vol.30
, Issue.6
, pp. 418-421
-
-
Kuhn, D.R.1
Wallace, D.2
Gallo, A.3
-
20
-
-
0000913573
-
Jml: A notation for detailed design
-
In H. Kilov, B. Rumpe, & I. Simmonds, (Ed.)
-
Leavens, G. T., Baker, A. L., & Ruby, C. (1999). JML: A notation for detailed design. In H. Kilov, B. Rumpe, & I. Simmonds, (Ed.) Behavioral Specifications of Businesses and Systems.
-
(1999)
Behavioral Specifications of Businesses and Systems
-
-
Leavens, G.T.1
Baker, A.L.2
Ruby, C.3
-
21
-
-
46949085238
-
IPOG/IPOD: Efficient test generation for multi-way combinatorial testing
-
doi:10.1002/stvr.381
-
Lei, Y. Kacker, R. Kuhn, D. R., Okun, V., & Lawrence J. (2008). IPOG/IPOD: Efficient Test Generation for Multi-Way Combinatorial Testing. Journal of Software Testing, Verification, and Reliability, 18(3), 125-148. doi:10.1002/stvr.381
-
(2008)
Journal of Software Testing, Verification, and Reliability
, vol.18
, Issue.3
, pp. 125-148
-
-
Lei, Y.K.1
Kuhn, R.D.R.2
Okun, V.3
Lawrence, J.4
-
24
-
-
0036160958
-
A test generation strategy for pairwise testing
-
doi:10.1109/32.979992
-
Tai, K. C., & Lei, Y. (2002). A test generation strategy for pairwise testing. IEEE Transactions on Software Engineering, 28(1), 109-111. doi:10.1109/32.979992
-
(2002)
IEEE Transactions on Software Engineering
, vol.28
, Issue.1
, pp. 109-111
-
-
Tai, K.C.1
Lei, Y.2
-
25
-
-
0034431994
-
Automating test case generation for the new generation mission software system
-
Tung, Y. W., & Aldiwan, W. S. (2000). Automating test case generation for the new generation mission software system. IEEE Aerospace Conference (pp. 431-437).
-
(2000)
IEEE Aerospace Conference
, pp. 431-437
-
-
Tung, Y.W.1
Aldiwan, W.S.2
-
26
-
-
72549093937
-
Failure modes in medical device software: An analysis of 15 years of recall data
-
doi:10.1142/S021853930100058X
-
Wallace, D. R., & Kuhn, D. R. (2001). Failure Modes in Medical Device Software: an Analysis of 15 Years of Recall Data. International Journal of Reliability Quality and Safety Engineering, 8(4). doi:10.1142/S021853930100058X
-
(2001)
International Journal of Reliability Quality and Safety Engineering
, vol.8
, Issue.4
-
-
Wallace, D.R.1
Kuhn, D.R.2
-
28
-
-
32044447689
-
Covering arrays for efficient fault characterization in complex configuration spaces
-
doi:10.1109/TSE.2006.8
-
Yilmaz, C., Cohen, M. B., & Porter, A. (2006). Covering arrays for efficient fault characterization in complex configuration spaces. IEEE Transactions on Software Engineering, 32(1), 20-34. doi:10.1109/TSE.2006.8
-
(2006)
IEEE Transactions on Software Engineering
, vol.32
, Issue.1
, pp. 20-34
-
-
Yilmaz, C.1
Cohen, M.B.2
Porter, A.3
|