-
2
-
-
33847680195
-
Designing and comparing automated test oracles for GUI-based software applications
-
Xie, Q., and Memon, A.M.: 'Designing and comparing automated test oracles for GUI-based software applications', ACM Transactions on Software Engineering and Methodology, 2007, 16, (1), pp. 4
-
(2007)
ACM Transactions on Software Engineering and Methodology
, vol.16
, Issue.1
, pp. 4
-
-
Xie, Q.1
Memon, A.M.2
-
3
-
-
84989202112
-
Generating a test oracle from program documentation
-
Editor (Ed.)^(Eds.) (ACM, 1994, edn.)
-
Peters, D., and Parnas, D.L.: 'Generating a test oracle from program documentation', in Editor (Ed.)^(Eds.): 'Book Generating a test oracle from program documentation' (ACM, 1994, edn.), pp. 58
-
Book Generating a Test Oracle from Program Documentation
, pp. 58
-
-
Peters, D.1
Parnas, D.L.2
-
4
-
-
0032658035
-
Lutess: A specification-driven testing environment for synchronous software
-
Los Angeles, California, United States
-
Bousquet, L.d., Ouabdesselam, F., Richier, J.L., and Zuanon, N.: 'Lutess: a specification-driven testing environment for synchronous software'. Proc. Proceedings of the 21st international conference on Software engineering, Los Angeles, California, United States 1999 pp. Pages
-
(1999)
Proc. Proceedings of the 21st International Conference on Software Engineering
-
-
Bousquet, L.D.1
Ouabdesselam, F.2
Richier, J.L.3
Zuanon, N.4
-
5
-
-
0030416233
-
Generating oracles from your favorite temporal logic specifications
-
Notes
-
Dillon, L.K., and Ramakrishna, Y.S.: 'Generating oracles from your favorite temporal logic specifications', SIGSOFT Softw. Eng. Notes, 1996, 21, (6), pp. 106-117
-
(1996)
SIGSOFT Softw. Eng.
, vol.21
, Issue.6
, pp. 106-117
-
-
Dillon, L.K.1
Ramakrishna, Y.S.2
-
6
-
-
0026867276
-
Specification-based test oracles for reactive systems
-
Editor (Ed.)^(Eds.) edn
-
Richardson, D.J., Aha, S.L., and O'Malley, T.O.: 'Specification-based Test Oracles For Reactive Systems', in Editor (Ed.)^(Eds.): 'Book Specification-based Test Oracles For Reactive Systems' (1992, edn.), pp. 105-118
-
(1992)
Book Specification-based Test Oracles For Reactive Systems
, pp. 105-118
-
-
Richardson, D.J.1
Aha, S.L.2
O'Malley, T.O.3
-
8
-
-
0024177241
-
Towards testing with respect to formal specification
-
Editor (Ed.)^(Eds.) IEEE, 290 edn
-
Hall, P.A.V: 'Towards testing with respect to formal specification', in Editor (Ed.)^(Eds.): 'Book Towards testing with respect to formal specification' (IEEE, 1988, 290 edn.), pp. 159-163
-
(1988)
Book Towards Testing with Respect to Formal Specification
, pp. 159-163
-
-
Hall, P.A.V.1
-
9
-
-
0025889635
-
Relationship between specifications and testing
-
Hall, P.A.V: 'Relationship between specifications and testing', Information and Software Technology, 1991, 33, (1), pp. 47-52
-
(1991)
Information and Software Technology
, vol.33
, Issue.1
, pp. 47-52
-
-
Hall, P.A.V.1
-
10
-
-
0030285205
-
A framework for specification-based testing
-
Stocks, P., and Carrington, D.: 'A framework for specification-based testing', IEEE Transactions on Software Engineering, 1996, 22, (11), pp. 777-793
-
(1996)
IEEE Transactions on Software Engineering
, vol.22
, Issue.11
, pp. 777-793
-
-
Stocks, P.1
Carrington, D.2
-
11
-
-
0035841501
-
Software testing using model programs
-
Manolache, L.I., and Kourie, D.G.: 'Software testing using model programs', Software - Practice and Experience, 2001, 31, (13), pp. 1211-1236
-
(2001)
Software - Practice and Experience
, vol.31
, Issue.13
, pp. 1211-1236
-
-
Manolache, L.I.1
Kourie, D.G.2
-
12
-
-
0036437990
-
Testing web applications
-
Editor (Ed.)^(Eds.) edn.
-
Di Lucca, G.A., Fasolino, A.R., Faralli, F., and De Carlini, U.A.D.C.U.: 'Testing Web applications', in Editor (Ed.)^(Eds.): 'Book Testing Web applications' (2002, edn.), pp. 310-319
-
(2002)
Book Testing Web Applications
, pp. 310-319
-
-
Di Lucca, G.A.1
Fasolino, A.R.2
Faralli, F.3
De Carlini, U.A.D.C.U.4
-
13
-
-
22944461684
-
Black-Box testing with info-fuzzy networks
-
Last, M., Kandel, A., and Bunke, H. (Eds.) World Scientific
-
Last, M., and Freidman, M.: 'Black-Box Testing with Info-Fuzzy Networks', in Last, M., Kandel, A., and Bunke, H. (Eds.): 'Artificial Intelligence Methods in Software Testing' (World Scientific, 2004), pp. 21-50
-
(2004)
Artificial Intelligence Methods in Software Testing
, pp. 21-50
-
-
Last, M.1
Freidman, M.2
-
14
-
-
4644343548
-
Using data mining for automated software testing
-
Last, M., Friendman, M., and Kandel, A.: 'Using data mining for automated software testing', International Journal of Software Engineering and Knowledge Engineering, 2004, 14, (4), pp. 369-393
-
(2004)
International Journal of Software Engineering and Knowledge Engineering
, vol.14
, Issue.4
, pp. 369-393
-
-
Last, M.1
Friendman, M.2
Kandel, A.3
-
15
-
-
0034448398
-
Automated test oracles for GUIs
-
Notes
-
Memon, A.M., Pollack, M.E., and Soffa, M.L.: 'Automated test oracles for GUIs', SIGSOFT Softw. Eng. Notes, 2000, 25, (6), pp. 30-39
-
(2000)
SIGSOFT Softw. Eng.
, vol.25
, Issue.6
, pp. 30-39
-
-
Memon, A.M.1
Pollack, M.E.2
Soffa, M.L.3
-
16
-
-
0036157249
-
Using a neural network in the software testing process
-
Vanmali, M., Last, M., and Kandel, A.: 'Using a neural network in the software testing process', International Journal of Intelligent Systems, 2002, 17, (1), pp. 45-62
-
(2002)
International Journal of Intelligent Systems
, vol.17
, Issue.1
, pp. 45-62
-
-
Vanmali, M.1
Last, M.2
Kandel, A.3
-
17
-
-
33746671076
-
A neural net based approach to test oracle
-
Aggarwal, K.K., Singh, Y., Kaur, A., and Sangwan, O.P.: 'A Neural Net based Approach To Test Oracle', ACM Software Engineering Notes, 2004
-
(2004)
ACM Software Engineering Notes
-
-
Aggarwal, K.K.1
Singh, Y.2
Kaur, A.3
Sangwan, O.P.4
-
18
-
-
33750708220
-
Neural networks based automated test oracle for software testing
-
Editor (Ed.)^(Eds.) Springer Verlag, Heidelberg, D-69121, Germany, edn.
-
Mao, Y., Boqin, F., Li, Z., and Yao, L.: 'Neural networks based automated test oracle for software testing', in Editor (Ed.)^(Eds.): 'Book Neural networks based automated test oracle for software testing' (Springer Verlag, Heidelberg, D-69121, Germany, 2006, edn.), pp. 498-507
-
(2006)
Book Neural Networks Based Automated Test Oracle for Software Testing
, pp. 498-507
-
-
Mao, Y.1
Boqin, F.2
Li, Z.3
Yao, L.4
-
19
-
-
34248191966
-
Oracle model based on RBF neural networks for automated software testing
-
Lu, Y., and Ye, M.: 'Oracle model based on RBF neural networks for automated software testing', Information Technology Journal, 2007, 6, (3), pp. 469-474 (Pubitemid 46707259)
-
(2007)
Information Technology Journal
, vol.6
, Issue.3
, pp. 469-474
-
-
Lu, Y.1
Ye, M.2
-
20
-
-
22744438177
-
Planning efficient software tests
-
1997, October
-
Phadke, M.S.: 'Planning Efficient Software Tests', CrossTalk, 1997, Vol. 10 No.10, (October 1997), pp. 11-15
-
(1997)
CrossTalk
, vol.10
, Issue.10
, pp. 11-15
-
-
Phadke, M.S.1
-
21
-
-
0032294569
-
Modelbased testing of a highly programmable system
-
Editor (Ed.)^(Eds.) IEEE, edn.
-
Dalal, S.R.J, A. Karunanithi, N. Leaton, J.M. Lott, C.M. : 'Modelbased testing of a highly programmable system', in Editor (Ed.)^(Eds.): 'Book Model-based testing of a highly programmable system' (IEEE, 1998, edn.), pp. 174-178
-
(1998)
Book Model-based Testing of a Highly Programmable System
, pp. 174-178
-
-
Dalal, S.R.J.1
Karunanithi, A.2
Leaton, N.3
Lott, J.M.C.M.4
-
23
-
-
34250749549
-
Maintaining the quality of black-box testing
-
2001, May
-
Korel, B., and Schroeder, P.J.: 'Maintaining the Quality of Black-Box Testing', The Journal of Defense Software Engineering, 2001, Vol. 14 No. 5, (May 2001), pp. 24-28
-
(2001)
The Journal of Defense Software Engineering
, vol.14
, Issue.5
, pp. 24-28
-
-
Korel, B.1
Schroeder, P.J.2
-
24
-
-
0034592704
-
Black-box test reduction using inputoutput analysis
-
Notes
-
Schroeder, P.J., and Korel, B.: 'Black-box test reduction using inputoutput analysis', SIGSOFT Softw. Eng. Notes, 2000, 25, (5), pp. 173-177
-
(2000)
SIGSOFT Softw. Eng.
, vol.25
, Issue.5
, pp. 173-177
-
-
Schroeder, P.J.1
Korel, B.2
-
25
-
-
0034592704
-
Black-box test reduction using inputoutput analysis
-
Notes
-
Patrick, J.S., and Bogdan, K.: 'Black-box test reduction using inputoutput analysis', SIGSOFT Softw. Eng. Notes, 2000, 25, (5), pp. 173-177
-
(2000)
SIGSOFT Softw. Eng.
, vol.25
, Issue.5
, pp. 173-177
-
-
Patrick, J.S.1
Bogdan, K.2
-
26
-
-
84982938752
-
Generating expected results for automated black-box testing
-
Editor (Ed.)^(Eds.) edn.
-
Schroeder, P.J., Faherty, P., and Korel, B.: 'Generating expected results for automated black-box testing', in Editor (Ed.)^(Eds.): 'Book Generating expected results for automated black-box testing' (2002, edn.), pp. 139-148
-
(2002)
Book Generating Expected Results for Automated Black-box Testing
, pp. 139-148
-
-
Schroeder, P.J.1
Faherty, P.2
Korel, B.3
-
27
-
-
79551639417
-
Artificial neural network for automatic test oracles generation
-
022008
-
Hu, J., Yi, W., Nian-Wei, C., Zhi-Jian, G., and Shuo, W.: 'Artificial Neural Network for Automatic Test Oracles Generation'. Proc. Proceedings of the 2008 International Conference on Computer Science and Software Engineering - Volume 022008
-
Proc. Proceedings of the 2008 International Conference on Computer Science and Software Engineering
-
-
Hu, J.1
Yi, W.2
Nian-Wei, C.3
Zhi-Jian, G.4
Shuo, W.5
|