-
1
-
-
85086528863
-
Automatic generation of test scripts from formal test specifications
-
ACM Press, New York
-
Balcer M, Hasling W, Ostrand T (1990) Automatic generation of test scripts from formal test specifications. In: Proceedings of ACM SIGSOFT'890-third symposium on software testing, verification, and analysis (TAVS-3). ACM Press, New York, pp 257-71
-
(1990)
Proceedings of ACM SIGSOFT'890-Third Symposium on Software Testing, Verification, and Analysis (TAVS-3)
, pp. 257-271
-
-
Balcer, M.1
Hasling, W.2
Ostrand, T.3
-
2
-
-
0024033855
-
The category-partition method for specifying and generating functional tests
-
Ostrand T, Balcer MJ (1988) The category-partition method for specifying and generating functional tests. CACM 31(6):676-686
-
(1988)
CACM
, vol.31
, Issue.6
, pp. 676-686
-
-
Ostrand, T.1
Balcer, M.J.2
-
5
-
-
84874617137
-
Using UML for automatic test generation
-
Cavarra A, Davies J, Jeron T, Mournier L, Hartman A, Olvovsky S (2002) Using UML for automatic test generation. In: Proceedings of ISSTA 2002
-
(2002)
Proceedings of ISSTA 2002
-
-
Cavarra, A.1
Davies, J.2
Jeron, T.3
Mournier, L.4
Hartman, A.5
Olvovsky, S.6
-
9
-
-
4344612500
-
A UML-based approach to system testing
-
Briand, L.C., Labiche, Y. (2002) A UML-based approach to system testing. Software Syst Model 1(1):10-42
-
(2002)
Software Syst. Model
, vol.1
, Issue.1
, pp. 10-42
-
-
Briand, L.C.1
Labiche, Y.2
-
10
-
-
84957802880
-
Automated test case generation from dynamic models
-
Bertino E. (ed)
-
Fröhlich P, Link J (2000) Automated test case generation from dynamic models. In: Bertino E (ed) Proceedings of the ECOOP 2000, pp 472-491
-
(2000)
Proceedings of the ECOOP 2000
, pp. 472-491
-
-
Fröhlich, P.1
Link, J.2
-
12
-
-
0142242029
-
A comprehensive framework for testing graphical user interfaces
-
PhD Dissertation, University of Pittsburgh, Pittsburgh
-
Menon A (2001) A comprehensive framework for testing graphical user interfaces. PhD Dissertation, University of Pittsburgh, Pittsburgh
-
(2001)
-
-
Menon, A.1
-
13
-
-
84969580558
-
A visual test development environment for GUI systems
-
Ostrand T, Anodide A, Foster H, Goradia T (1998) A visual test development environment for GUI systems. In: Proceedings of the ACM SIGSOFT international symposium on software testing and analysis (ISSTA-98), vol 23.2 of ACM Software Engineering Notes, pp 82-92
-
(1998)
Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA-98). Vol 23.2 of ACM Software Engineering Notes
, pp. 82-92
-
-
Ostrand, T.1
Anodide, A.2
Foster, H.3
Goradia, T.4
|