-
2
-
-
26444516479
-
-
(Lecture Notes in Computer Science, 3582). Springer: Berlin
-
Nachmanson L, Schulte W, Tillmann N, Campbell C, Grieskamp W, Veanes M,. Testing Concurrent Object-Oriented Systems with Spec Explorer (Lecture Notes in Computer Science, vol. 3582). Springer: Berlin, 2005; 542-547.
-
(2005)
Testing Concurrent Object-Oriented Systems with Spec Explorer
, pp. 542-547
-
-
Nachmanson, L.1
Schulte, W.2
Tillmann, N.3
Campbell, C.4
Grieskamp, W.5
Veanes, M.6
-
3
-
-
85052482839
-
Experiences from using model based testing in general and with Qtronic in particular
-
Linköping University, Sweden, February 2009. [April]
-
Fredriksson H,. Experiences from using model based testing in general and with Qtronic in particular. Third MODPROD Workshop on Model-Based Product Development. Linköping University, Sweden, February 2009. Available at: [April 2011 ].
-
(2011)
Third MODPROD Workshop on Model-Based Product Development
-
-
Fredriksson, H.1
-
4
-
-
23744446461
-
Obstacles and opportunities for model-based testing in an industrial software environment
-
Nuremberg, Germany, December
-
Robinson H,. Obstacles and opportunities for model-based testing in an industrial software environment. Proceedings of the First European Conference on Model-Driven Software Engineering, Nuremberg, Germany, December 2003; 118-127.
-
(2003)
Proceedings of the First European Conference on Model-Driven Software Engineering
, pp. 118-127
-
-
Robinson, H.1
-
6
-
-
44149126224
-
Improving evidence about software technologies: A look at model-based testing
-
DOI 10.1109/MS.2008.64
-
Dias Neto A, Subramanyan R, Vieira M, Travassos GH, Shull F,. Improving evidence about software technologies: A look at model-based testing. IEEE Software 2008; 25 (3): 10-13. (Pubitemid 351715607)
-
(2008)
IEEE Software
, vol.25
, Issue.3
, pp. 10-13
-
-
Neto, A.D.1
Subramanyan, R.2
Vieira, M.3
Travassos, G.H.4
Shull, F.5
-
8
-
-
69549130612
-
Model-based testing approaches selection for software projects
-
Dias-Neto AC, Travassos GH,. Model-based testing approaches selection for software projects. Information and Software Technology 2009; 51 (11): 1487-1504.
-
(2009)
Information and Software Technology
, vol.51
, Issue.11
, pp. 1487-1504
-
-
Dias-Neto, A.C.1
Travassos, G.H.2
-
9
-
-
84871225075
-
Model-based testing service on the web
-
(Lecture Notes in Computer Science, 5047). Springer: Berlin, June
-
Jääskeläinen A, Katara M, Kervinen A, Heiskanen H, Maunumaa M, Pääkkönen T,. Model-based testing service on the web. Proceedings of the 20th IFIP International Conference on Testing of Communicating Systems and the Eighth International Workshop on Formal Approaches to Testing of Software (TESTCOM/FATES'08) (Lecture Notes in Computer Science, vol. 5047). Springer: Berlin, June 2008; 38-53.
-
(2008)
Proceedings of the 20th IFIP International Conference on Testing of Communicating Systems and the Eighth International Workshop on Formal Approaches to Testing of Software (TESTCOM/FATES'08)
, pp. 38-53
-
-
Jääskeläinen, A.1
Katara, M.2
Kervinen, A.3
Heiskanen, H.4
Maunumaa, M.5
Pääkkönen, T.6
-
10
-
-
52449107265
-
Creating a test model library for GUI testing of smartphone applications
-
IEEE Computer Society: Silver Spring, MD, August
-
Jääskeläinen A, Kervinen A, Katara M,. Creating a test model library for GUI testing of smartphone applications. Proceedings of the Eighth International Conference on Quality Software (QSIQ'08) (short paper). IEEE Computer Society: Silver Spring, MD, August 2008; 276-282.
-
(2008)
Proceedings of the Eighth International Conference on Quality Software (QSIQ'08) (Short Paper)
, pp. 276-282
-
-
Jääskeläinen, A.1
Kervinen, A.2
Katara, M.3
-
12
-
-
70349669432
-
Automatic GUI test generation for smart phone applications An evaluation
-
IEEE Computer Society: Silver Spring, MD
-
Jääskeläinen A, Katara M, Kervinen A, Maunumaa M, Pääkkönen T, Takala T, Virtanen H,. Automatic GUI test generation for smart phone applications An evaluation. Proceedings of the Software Engineering in Practice Track of the 31st International Conference on Software Engineering (ICSE'09), Companion Volume. IEEE Computer Society: Silver Spring, MD, 2009; 112-122.
-
(2009)
Proceedings of the Software Engineering in Practice Track of the 31st International Conference on Software Engineering (ICSE'09), Companion Volume
, pp. 112-122
-
-
Jääskeläinen, A.1
Katara, M.2
Kervinen, A.3
Maunumaa, M.4
Pääkkönen, T.5
Takala, T.6
Virtanen, H.7
-
13
-
-
84863727411
-
-
[April]
-
S60HomePage. Available at: [April 2011 ].
-
(2011)
S60HomePage
-
-
-
14
-
-
79958737821
-
Model-based GUI testing of smartphone applications: Case S60 and Linux
-
Zander J. Schieferdecker I. Mosterman P.J. (eds). CRC Press: London, May
-
Jääskeläinen A, Takala T, Katara M,. Model-based GUI testing of smartphone applications: Case S60 and Linux. Model-Based Testing for Embedded Systems, Zander J, Schieferdecker I, Mosterman PJ, (eds). CRC Press: London, May 2011.
-
(2011)
Model-Based Testing for Embedded Systems
-
-
Jääskeläinen, A.1
Takala, T.2
Katara, M.3
-
15
-
-
84863726362
-
Model-based GUI testing of Android applications
-
Graham D. Fewster M. (eds), Addison-Wesley/Pearson Education, to appear
-
Jääskeläinen A, Takala T, Katara M,. Model-based GUI testing of Android applications. Experiences of Test Automation, Graham D, Fewster M, (eds), Addison-Wesley/Pearson Education, 2011; to appear.
-
(2011)
Experiences of Test Automation
-
-
Jääskeläinen, A.1
Takala, T.2
Katara, M.3
-
17
-
-
2942513724
-
Action figures
-
Buwalda H,. Action figures. STQE Magazine 2003; 42-47.
-
(2003)
STQE Magazine
, pp. 42-47
-
-
Buwalda, H.1
-
22
-
-
51849144393
-
-
[April]
-
Eclipse foundation. Available at: [April 2011 ].
-
(2011)
Eclipse Foundation
-
-
-
24
-
-
84863726360
-
-
Colorado State University Department of English, 2005.[April]
-
Barribeau P, Butler B, Corney J, Doney M, Gault J, Gordon J, Fetzer R, Klein A, Rogers CA, Stein IF, Steiner C, Urschel H, Waggoner T, Palmquist M,. 'Survey Research'. Writing@CSU. Colorado State University Department of English, 2005. Available at: [April 2011 ].
-
(2011)
Survey Research'. Writing@CSU
-
-
Barribeau, P.1
Butler, B.2
Corney, J.3
Doney, M.4
Gault, J.5
Gordon, J.6
Fetzer, R.7
Klein, A.8
Rogers, C.A.9
Stein, I.F.10
Steiner, C.11
Urschel, H.12
Waggoner, T.13
Palmquist, M.14
-
26
-
-
0001859044
-
A technique for the measurement of attitudes
-
Likert R,. A technique for the measurement of attitudes. Archives of Psychology 1932; 140: 1-55.
-
(1932)
Archives of Psychology
, vol.140
, pp. 1-55
-
-
Likert, R.1
-
27
-
-
84921734773
-
-
Neag School of Education University of Connecticut. Available at: [April]
-
Del Siegle,. 'Likert Scale'. Neag School of Education University of Connecticut. Available at: [April 2011 ].
-
(2011)
Likert Scale'
-
-
Siegle, D.1
-
28
-
-
84863720275
-
-
Department of Psychology, East Carolina University, 2005. Available at: [April]
-
Wuensch KL,. 'What is a Likert Scale?'. Department of Psychology, East Carolina University, 2005. Available at: [April 2011 ].
-
(2011)
What Is A Likert Scale?
-
-
Wuensch, K.L.1
-
29
-
-
0011344095
-
Principles of survey research: Part 1: Turning lemons into lemonade
-
Pfleeger SL, Kitchenham BA,. Principles of survey research: part 1: Turning lemons into lemonade. SIGSOFT Software Engineering Notes 2001; 26 (6): 16-18.
-
(2001)
SIGSOFT Software Engineering Notes
, vol.26
, Issue.6
, pp. 16-18
-
-
Pfleeger, S.L.1
Kitchenham, B.A.2
-
31
-
-
2942605099
-
Principles of survey research. Part 5: Populations and samples
-
Kitchenham B, Pfleeger SL,. Principles of survey research. Part 5: Populations and samples. SIGSOFT Software Engineering Notes 2002; 27 (5): 17-20.
-
(2002)
SIGSOFT Software Engineering Notes
, vol.27
, Issue.5
, pp. 17-20
-
-
Kitchenham, B.1
Pfleeger, S.L.2
-
32
-
-
18044379442
-
Principles of survey research. Part 4: Questionnaire evaluation
-
Kitchenham B, Pfleeger SL,. Principles of survey research. Part 4: Questionnaire evaluation. SIGSOFT Software Engineering Notes 2002; 27 (3): 20-23.
-
(2002)
SIGSOFT Software Engineering Notes
, vol.27
, Issue.3
, pp. 20-23
-
-
Kitchenham, B.1
Pfleeger, S.L.2
-
37
-
-
67650302048
-
Synthesizing test models from test cases
-
(Lecture Notes in Computer Science, 5394). Springer: Berlin, May
-
Jääskeläinen A, Kervinen A, Katara M, Valmari A, Virtanen H,. Synthesizing test models from test cases. Proceedings of the Fourth International Haifa Verification Conference on Hardware and Software: Verification and Testing (HVC'08) (Lecture Notes in Computer Science, vol. 5394). Springer: Berlin, May 2009; 179-193.
-
(2009)
Proceedings of the Fourth International Haifa Verification Conference on Hardware and Software: Verification and Testing (HVC'08)
, pp. 179-193
-
-
Jääskeläinen, A.1
Kervinen, A.2
Katara, M.3
Valmari, A.4
Virtanen, H.5
|