-
5
-
-
0004116989
-
-
chapter 23.3. Prentice-Hall of India Private Limited, September
-
T. Cormen, C. Leiserson, and R. Rivest. Introduction to Algorithms, chapter 23.3, pages 477-485. Prentice-Hall of India Private Limited, September 2001.
-
(2001)
Introduction to Algorithms
, pp. 477-485
-
-
Cormen, T.1
Leiserson, C.2
Rivest, R.3
-
6
-
-
84949429551
-
Model checking graphical user interfaces using abstractions
-
M. Jazayeri and H. Schauer, editors. Springer / ACM Press
-
M. B. Dwyer, V. Can, and L. Hines. Model checking graphical user interfaces using abstractions. In M. Jazayeri and H. Schauer, editors, ESEC/FSE '97, volume 1301 of Lecture Notes in Computer Science, pages 244-261. Springer / ACM Press, 1997.
-
(1997)
ESEC/FSE '97, Volume 1301 of Lecture Notes in Computer Science
, vol.1301
, pp. 244-261
-
-
Dwyer, M.B.1
Can, V.2
Hines, L.3
-
7
-
-
0346519773
-
A proposed perspective shift: Viewing specification design as a planning problem
-
D. Partridge, editor. Ablex, Norwood, NJ
-
S. Fickas and J. S. Anderson. A proposed perspective shift: viewing specification design as a planning problem. In D. Partridge, editor, Artificial Intelligence & Software Engineering, pages 535-550. Ablex, Norwood, NJ, 1991.
-
(1991)
Artificial Intelligence & Software Engineering
, pp. 535-550
-
-
Fickas, S.1
Anderson, J.S.2
-
9
-
-
33947396068
-
Testing GUI applications
-
Nov
-
P. Gerrard. Testing GUI applications. In EuroSTAR, Nov 1997.
-
(1997)
EuroSTAR
-
-
Gerrard, P.1
-
11
-
-
0031672505
-
Automated support for modeling oo software
-
Jan Feb
-
K. Koskimies, T. Mnnist, T. Syst, and J. Tuomi. Automated support for modeling oo software. In IEEE Software, pages 87-94, Jan Feb 1998.
-
(1998)
IEEE Software
, pp. 87-94
-
-
Koskimies, K.1
Mnnist, T.2
Syst, T.3
Tuomi, J.4
-
13
-
-
85008013263
-
GUI testing: Pitfalls and process
-
Aug.
-
A. M. Memon. GUI testing: Pitfalls and process. IEEE Computer, 35(8):90-91, Aug. 2002.
-
(2002)
IEEE Computer
, vol.35
, Issue.8
, pp. 90-91
-
-
Memon, A.M.1
-
14
-
-
34548405121
-
Advances in GUI testing
-
ed. by Marvin V. Zelkowitz. Academic Press
-
A. M. Memon. Advances in GUI testing. In Advances in Computers, ed. by Marvin V. Zelkowitz, volume 57. Academic Press, 2003.
-
(2003)
Advances in Computers
, vol.57
-
-
Memon, A.M.1
-
17
-
-
0034448398
-
Automated test oracles for GUIs
-
NY, Nov. 8-10
-
A. M. Memon, M. E. Pollack, and M. L. Soffa. Automated test oracles for GUIs. In Proceedings of the ACM SIGSOFT 8th International Symposium on the Foundations of Software Engineering (FSE-8), pages 30-39, NY, Nov. 8-10 2000.
-
(2000)
Proceedings of the ACM SIGSOFT 8th International Symposium on the Foundations of Software Engineering (FSE-8)
, pp. 30-39
-
-
Memon, A.M.1
Pollack, M.E.2
Soffa, M.L.3
-
20
-
-
0035249240
-
Hierarchical GUI test case generation using automated planning
-
Feb.
-
A. M. Memon, M. E. Pollack, and M. L. Sofia. Hierarchical GUI test case generation using automated planning. IEEE Transactions on Software Engineering, 27(2): 144-155, Feb. 2001.
-
(2001)
IEEE Transactions on Software Engineering
, vol.27
, Issue.2
, pp. 144-155
-
-
Memon, A.M.1
Pollack, M.E.2
Sofia, M.L.3
-
22
-
-
0030420176
-
Rule-based detection for reverse engineering user interfaces
-
Monterey, CA, 8-10 Nov. IEEE
-
M. M. Moore. Rule-based detection for reverse engineering user interfaces. In Proceedings of the Third Working Conference on Reverse Engineering, pages 42-8, Monterey, CA, 8-10 Nov. 1996. IEEE.
-
(1996)
Proceedings of the Third Working Conference on Reverse Engineering
, pp. 42-48
-
-
Moore, M.M.1
-
23
-
-
0013042042
-
Automating Specification-Based Software Testing
-
Los Alamitos, 1 edition
-
R. M. Poston. Automating Specification-Based Software Testing. IEEE Computer Society, Los Alamitos, 1 edition, 1996.
-
(1996)
IEEE Computer Society
-
-
Poston, R.M.1
-
25
-
-
0346519774
-
Generating test cases from an oo model with an ai planning system
-
March
-
M. Scheetz, A. V. Mayrhauser, R. France, E. Dahlman, and A. E. Howe. Generating test cases from an oo model with an ai planning system. In Proceedings in the Twenty-Third Annual International Computer Software and Applications Conference, March 2000.
-
(2000)
Proceedings in the Twenty-third Annual International Computer Software and Applications Conference
-
-
Scheetz, M.1
Mayrhauser, A.V.2
France, R.3
Dahlman, E.4
Howe, A.E.5
-
26
-
-
0347780163
-
Dynamic reverse engineering of Java software
-
University of Tampere, Finland, Box 607, 33101 Tampere, Finland
-
T. Systa. Dynamic reverse engineering of Java software. Technical report, University of Tampere, Finland, Box 607, 33101 Tampere, Finland, 2001. http://www.fzi.de/Ecoop99-WS-Reengineering/papers/tarjan/ecoop.html.
-
(2001)
Technical Report
-
-
Systa, T.1
|