SCOPUS 정보 검색 플랫폼

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2000, Pages 30-39

Automated test oracles for GUIs

(3) Memon, A M a Pollack, M E a Soffa, M L a

a University of Pittsburgh (United States)

Author keywords

Automated oracles; GUI test oracles; GUI testing

Indexed keywords

ALGORITHMS; C (PROGRAMMING LANGUAGE); COMPUTER HARDWARE DESCRIPTION LANGUAGES; COMPUTER SELECTION AND EVALUATION; COMPUTER SIMULATION; JAVA PROGRAMMING LANGUAGE; SOFTWARE ENGINEERING; SYSTEMS ANALYSIS;

AUTOMATED ORACLES; GRAPHICAL USER INTERFACES TEST ORACLES; GRAPHICAL USER INTERFACES TESTING;

GRAPHICAL USER INTERFACES;

EID: 0034448398 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1145/355045.355050 Document Type: Conference Paper

Times cited : (125)

References (24)

1
- 0030416233
- Generating oracles from your favorite temporal logic specifications
- New York, Oct. 16-18; ACM Press
- (1996) Proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering, Volume 21 of ACM Software Engineering Notes , pp. 106-117
- Dillon, L.K.¹ Ramakrishna, Y.S.²

2
- 77954006620
- Oracles for checking temporal properties of concurrent systems
- Dec.
- (1994) Proceedings of the ACM SIGSOFT '94 Symposium on the Foundations of Software Engineering , pp. 140-153
- Dillon, L.K.¹ Yu, Q.²

3
- 0032658035
- Lutess: A specification-driven testing environment for synchronous software
- ACM Press, May
- (1999) Proceedings of the 21st International Conference on Software Engineering , pp. 267-276
- Du Bousquet, L.¹ Ouabdesselam, F.² Richier, J.-L.³ Zuanon, N.⁴

4
- 85088548534
- Building user interfaces interactively using pre- and postconditions
- (1992) Proceedings of CHI '92
- Frank, M.¹ De, J.J.G.² Gieskens, D.³ Foley, J.D.⁴

5
- 0005030480
- Ph.d. thesis, Department of Computer Science, University of Toronto
- (1985) The Design of Graphical User Interfaces
- Green, M.¹

6
- 0030615529
- Specification-based testing of reactive software: Tools and experiments
- Berlin - Heidelberg - New York, May; Springer
- (1997) Proceedings of the 19th International Conference on Software Engineering (ICSE '97) , pp. 525-537
- Jagadeesan, L.J.¹ Porter, A.² Puchol, C.³ Ramming, J.C.⁴ Votta, L.G.⁵

7
- 0003387081
- On the semantics of STRIPS
- In M. P. Georgeff and A. L. Lansky, editors; Timberline, Oregon, June-July 1986. Morgan Kaufmann
- Reasoning About Actions and Plans: Proceedings of the 1986 Workshop , pp. 1-9
- Lifschitz, V.¹

8
- 0004030536
- Situations, actions, and causal laws
- Memo 2, Stanford University Artificial Intelligence Project, Stanford, California
- (1963)
- McCarthy, J.¹

9
- 0032643001
- Using a goal-driven approach to generate test cases for GUIs
- ACM Press, May
- (1999) Proceedings of the 21st International Conference on Software Engineering , pp. 257-266
- Memon, A.M.¹ Pollack, M.E.² Soffa, M.L.³

10
- 0003852894
- Why are human-computer interfaces difficult to design and implement
- Technical Report CS-93-183, Carnegie Mellon University, School of Computer Science, July 1993
- Myers, B.A.¹

11
- 0000624751
- Strategic directions in human-computer interaction
- Dec.
- (1996) ACM Computing Surveys , vol.28 , Issue.4 , pp. 794-809
- Myers, B.A.¹ Hollan, J.D.² Cruz, I.F.³

12
- 0005014167
- User interface tools
- Tutorials
- (1993) Proceedings of ACM INTERCHI'93 Conference on Human Factors in Computing Systems - Adjunct Proceedings , pp. 239
- Myers, B.A.¹ Olsen D.R., Jr.² Bonar, J.G.³

13
- 84969580558
- A visual test development environment for GUI systems
- Volume 23,2 of ACM Software Engineering Notes,; New York, Mar.2-5 1998. ACM Press
- (1998) Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA-98) , pp. 82-92
- Ostrand, T.¹ Anodide, A.² Foster, H.³ Goradia, T.⁴

14
- 0000532979
- ADL: Exploring the middle ground between STRIPS and the situation calculus
- Toronto, Canada; May
- (1989) Proceedings of KR'89 , pp. 324-331
- Pednault, E.P.D.¹

15
- 84989202112
- Generating a test oracle from program documentation
- In T. Ostrand, editor
- (1994) Proceedings of the 1994 International Symposium on Software Testing and Analysis (ISSTA) , pp. 58-65
- Peters, D.¹ Parnas, D.L.²

16
- 84989175085
- TAOS: Testing with analysis and oracle support
- In T. Ostrand, editor; New York, NY 10036, USA; ACM Press
- (1994) Proceedings of the 1994 International Symposium on Software Testing and Analysis (ISSTA): August 17-19, 1994, Seattle, Washington, USA , pp. 138-153
- Richardson, D.J.¹

17
- 0026867276
- Specification-based test oracles for reactive systems
- May
- (1992) Proceedings of the 14th International Conference on Software Engineering , pp. 105-118
- Richardson, D.J.¹ Leif-Aha, S.² OMalley, T.O.³

18
- 84957710750
- A method to automate user interface testing using variable finite state machines
- Washington - Brussels - Tokyo, June 1997. IEEE Press
- Proceedings of the Twenty-Seventh Annual International Symposium on Fault-Tolerant Computing (FTCS'97) , pp. 80-88
- Shehady, R.K.¹ Siewiorek, D.P.²

19
- 0001576052
- TOBAC: Test case browser for object-oriented software
- New York, Aug.; ACM Press
- (1994) Proc. International Symposium on Software Testing and Analysis , pp. 154-168
- Siepman, E.¹ Newton, A.R.²

20
- 0026116563
- Experience in testing the Motif interface
- Mar.
- (1991) IEEE Software , vol.8 , Issue.2 , pp. 26-33
- Su, J.¹ Ritter, P.R.²

21
- 0027800324
- An integrated general purpose automated test environment
- In T. Ostrand and E. Weyuker, editors; New York, NY, USA, June; ACM Press
- (1993) Proceedings of the International Symposium on Software Testing and Analysis , pp. 61-69
- Vogel, P.¹

22
- 0028750404
- An introduction to least commitment planning
- (1994) AI Magazine , vol.15 , Issue.4 , pp. 27-61
- Weld, D.S.¹

23
- 0032633177
- Recent advances in AI planning
- Spring
- (1999) AI Magazine , vol.20 , Issue.1 , pp. 55-64
- Weld, D.S.¹

24
- 0005089046
- Integrating the MVC paradigm into an object-oriented framework to accelerate GUI application development
- Technical Report 91-60-06, Department of Computer Science, Oregon State University
- (1991)
- Wittel W.I., Jr.¹ Lewis, T.G.²

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.