Advances in GUI Testing

Advances in Computers

Volumn 58, Issue C, 2003, Pages 149-201

  Memon, Atif M ^a  

^a UNIVERSITY OF MARYLAND   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 34548405121     PISSN: 00652458     EISSN: None     Source Type: Book Series    
DOI: 10.1016/S0065-2458(03)58004-4     Document Type: Review

References (59)

1. Adrion W.R., Branstad M.A., and Cherniavsky J.C. Validation, verification, and testing of computer software. ACM Computing Surveys (CSUR) 14 2 (1982) 159-192
2. Bernhard P.J. A reduced test suite for protocol conformance testing. ACM Transactions on Software Engineering and Methodology 3 3 (1994) 201-220
3. Chays D., Dan S., Frankl P.G., Vokolos F.I., and Weyuker E.J. A framework for testing database applications. Proceedings of the 2000 International Symposium on Software Testing and Analysis (ISSTA) (2000) 147-157
4. Chow T.S. Testing software design modeled by finite-state machines. IEEE Trans. on Software Engineering SE-4 3 (1978) 178-187
5. Clarke J.M. Automated test generation from a behavioral model. Proceedings of Pacific Northwest Software Quality Conference (1998), IEEE Press, New York
6. Cohen D.M., Dalal S.R., Kajla A., and Patton G.C. The automatic efficient test generator (AETG) system. Proceedings of the 5th International Symposium on Software Reliability Engineering (1994), IEEE Computer Society Press 303-309
7. Corry M.D., and Frick T.W. User-centered design and usability testing of a Web site: An illustrative case study. Educational Technology Research and Development 45 4 (1997) 65-75
8. Dillon L.K., and Ramakrishna Y.S. Generating oracles from your favorite temporal logic specifications. Proceedings of the 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering. ACM Software Engineering Notes 21 (1996), ACM Press, New York 106-117
9. Dwyer M.B., Carr V., and Hines L. Model checking graphical user interfaces using abstractions. In: Jazayeri M., and Schauer H. (Eds). ESEC/FSE'97. Lecture Notes in Computer Science 1301 (1997), Springer/ACM Press 244-261
10. Esmelioglu S., and Apfelbaum L. Automated test generation, execution, and reporting. Proceedings of Pacific Northwest Software Quality Conference (1997), IEEE Press
11. Fikes R., and Nilsson N. strips: A new approach to the application of theorem proving to problem solving. Artificial Intelligence 2 (1971) 189-208
12. Grady H.M. Web site design: A case study in usability testing using paper prototypes. Approaches to Prototyping, IEEE IPCC 2000/ACM 18th International Conference on Systems Documentation (2000) 39-46
13. Cho H., Hachtel G.D., and Somenzi F. Redundancy identification/removal and test generation for sequential circuits using implicit state enumeration. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 12 7 (1993) 935-945
14. Hammontree M.L., Hendrickson J.J., and Hensley B.W. Integrated data capture and analysis tools for research and testing an graphical user interfaces. Proceedings of the Conference on Human Factors in Computing Systems, New York, NY (1992) 431-432
15. Harrold M.J., and Soffa M.L. Interprocedual data flow testing. Proceedings of the ACM SIGSOFT'89 3rd Symposium on Testing, Analysis, and Verification (TAV3) (1989) 158-167
16. Hong J.I., and Landay J.A. WebQuilt: a framework for capturing and visualizing the web experience. Proceedings of the 10th International World Wide Web Conference on World Wide Web (2001) 712-724
17. Ivory M.Y., and Hearst M.A. The state of the art in automating usability evaluation of user interfaces. ACM Computing Surveys (CSUR) 33 4 (2001) 470-516
18. Jónsson A.K., and Ginsberg M.L. Procedural reasoning in constraint satisfaction. In: Aiello L.C., Doyle J., and Shapiro S. (Eds). Proceedings of the 5th International Conference on Principles of Knowledge Representation and Reasoning (1996), Morgan Kaufmann, San Francisco 160-173
19. Kaasgaard K., Myhlendorph T., Snitker T., and Sorensen H.-E. Remote usability testing of a web site information architecture: 'testing for a dollar a day'. Remote Interaction and Evaluation Proceedings of IFIP INTERACT'99: Human-Computer Interaction (1999) 443-450
20. Kasik D.J., and George H.G. Toward automatic generation of novice user test scripts. Proceedings of the Conference on Human Factors in Computing Systems: Common Ground (1996), ACM Press, New York 244-251
21. Kirda E. Web engineering device independent web services. Proceedings of the 23rd International Conference on Software Engineering, Doctoral Symposium, Toronto, Canada (2001)
22. Kotelly C.B. World wide web as usability tester, collector, recruiter. Proceedings of ACM CHI 97 Conference on Human Factors in Computing Systems, Short Talks: Usability 2 (1997) 285-286
23. Levi M.D., and Conrad F.G. Usability testing of World Wide Web sites: A CHI 97 workshop. ACM SIGCHI Bulletin 29 4 (1997) 40-43
24. Lifschitz V. On the semantics of STRIPS. In: Georgeff M.P., and Lansky A.L. (Eds). Reasoning about Actions and Plans: Proceedings of the 1986 Workshop, Timberline, Oregon (1986), Morgan Kaufmann 1-9
25. Mahajan R., Shneiderman B., Visual and textual consistency checking tools for graphical user interfaces, Technical Report CS-TR-3639, University of Maryland, College Park, May 1996
26. Marold K.A., Larsen G., Shaw K., and Robertus P. Usability testing for a computer skills WBT (web based training) program. In: Prasad J. (Ed). Proceedings of the 1999 ACM SIGCPR Conference (SIGCPR-99) (1999), ACM Press, New York 304
27. Memon A.M., Pollack M., Soffa M.L., Comparing causal-link and propositional planners: Tradeoffs between plan length and domain size, Technical Report 99-06, University of Pittsburgh, Pittsburgh, 1999
28. Memon A.M., Pollack M.E., and Soffa M.L. Automated test oracles for GUIs. Proceedings of the ACM SIGSOFT 8th International Symposium on the Foundations of Software Engineering (FSE-8), New York (2000) 30-39
29. Memon A.M., Pollack M.E., and Soffa M.L. Hierarchical GUI test case generation using automated planning. IEEE Transactions on Software Engineering 27 2 (2001) 144-155
30. Memon A.M., Soffa M.L., and Pollack M.E. Coverage criteria for GUI testing. Proceedings of the 8th European Software Engineering Conference (ESEC) and 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE-9) (2001) 256-267
31. Myers B.A. State of the Art in User Interface Software Tools 4 (1993), Ablex Publishing pp. 110-150
32. Myers B.A., Why are human-computer interfaces difficult to design and implement?, Technical Report CS-93-183, Carnegie Mellon University, School of Computer Science, July 1993
33. Myers B.A. User interface software tools. ACM Transactions on Computer-Human Interaction 2 1 (1995) 64-103
34. Myers B.A., Hollan J.D., and Cruz I.F. Strategic directions in human-computer interaction. ACM Computing Surveys 28 4 (1996) 794-809
35. Myers B.A., and Olsen Jr. D.R. User interface tools. Proceedings of ACM CHI'94 Conference on Human Factors in Computing Systems, Tutorials 2 (1994) 421-422
36. Myers B.A., Olsen Jr. D.R., and Bonar J.G. User interface tools. Proceedings of ACM INTERCHI'93, Conference on Human Factors in Computing Systems-Adjunct Proceedings, Tutorials (1993) 239
37. Osterweil L., Clarke L.A. Directions for U.S. research and development efforts on software testing and analysis, Technical Report UM-CS-1990-073, University of Massachusetts, Amherst, Computer Science, March 1990
38. Pednault E.P.D., Toward a mathematical theory of plan synthesis, PhD thesis, Dept. of Electrical Engineering, Stanford University, Stanford, CA, December 1986
39. Pednault E.P.D. ADL: Exploring the middle ground between STRIPS and the situation calculus. Proceedings of KR'89, Toronto, Canada (1989) 324-331
40. Penberthy J.S., and Weld D.S. UCPOP: A sound, complete, partial order planner for ADL. In: Nebel B., Rich C., and Swartout W. (Eds). Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning, Cambridge, MA (1992), Morgan Kaufmann 103-114
41. Pollack M.E., Joslin D., and Paolucci M. Flaw selection strategies for partial-order planning. Journal of Artificial Intelligence Research 6 6 (1997) 223-262
42. Richardson D.J. TAOS: Testing with analysis and oracle support. In: Ostrand T. (Ed). Proceedings of the 1994 International Symposium on Software Testing and Analysis (ISSTA): August 17-19, 1994, Seattle, Washington (1994), ACM SIGSOFT, ACM Press, New York 138-153
43. Rosenblum D.S., and Weyuker E.J. Using coverage information to predict the cost-effectiveness of regression testing strategies. IEEE Transactions on Software Engineering 23 3 (1997) 146-156
44. Rothermel G., and Harrold M.J. Empirical studies of a safe regression test selection technique. IEEE Transactions on Software Engineering 24 6 (1998) 401-419
45. Rothermel G., Harrold M.J., Ostrin J., and Hong C. An empirical study of the effects of minimization on the fault detection capabilities of test suites. Proceedings International Conference on Software Maintenance (1998) 34-43
46. Shehady R.K., and Siewiorek D.P. A method to automate user interface testing using variable finite state machines. Proceedings of the 27th Annual International Symposium on Fault-Tolerant Computing (FTCS'97), Washington-Brussels-Tokyo (1997), IEEE Press 80-88
47. Spool J.M., Scanlon T., Snyder C., and Schroeder W. Measuring website usability. Proceedings of ACM CHI 98 Conference on Human Factors in Computing Systems (Summary) 2 (1998), Special Interest Groups (SIGs) 390
48. Szczur M. Usability testing-on a budget: A NASA usability test case study. Behaviour and Information Technology 13 1,2 (1994) 106-118
49. Taylor R.N., Levine D.L., and Kelly C.D. Structural testing of concurrent programs. IEEE Transactions on Software Engineering 18 3 (1992) 206-215
50. The L. Stress tests for GUI programs. Datamation 38 18 (1992) 37
51. Veloso M., and Stone P. FLECS: Planning with a flexible commitment strategy. Journal of Artificial Intelligence Research 3 (1995) 25-52
52. Weld D.S. An introduction to least commitment planning. AI Magazine 15 4 (1994) 27-61
53. Weld D.S. Recent advances in AI planning. AI Magazine 20 1 (1999) 55-64
54. White L. Regression testing of GUI event interactions. Proceedings of the International Conference on Software Maintenance, Washington (1996) 350-358
55. White L., and Almezen H. Generating test cases for GUI responsibilities using complete interaction sequences. Proceedings of the International Symposium on Software Reliability Engineering (2000) 110-121
56. Wick D.T., Shehad N.M., and Hajare A.R. Testing the human computer interface for the telerobotic assembly of the space station. Proceedings of the 5th International Conference on Human-Computer Interaction, Special Applications 1 (1993) 213-218
57. Wong A.Y.K., Donkers A.M., Dillon R.F., and Tombaugh J.W. Usability testing: Is the whole test greater than the sum of its parts?. Proceedings of ACM CHI'92 Conference on Human Factors in Computing Systems-Posters and Short Talks, Posters: Helping Users, Programmers, and Designers (1992) 38
58. Yang C.-S., Souter A., and Pollock L. All-du-path coverage for parallel programs. Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA-98), New York. ACM Software Engineering Notes 23 2 (1998) 153-162
59. Zhu H., Hall P., and May J. Software unit test coverage and adequacy. ACM Computing Surveys 29 4 (1997) 366-427