Plan Generation for GUI Testing

Proceedings of the 5th International Conference on Artificial Intelligence Planning Systems, AIPS 2000

Volumn , Issue , 2000, Pages 226-235

  Memon, Atif M ^a   Pollack, Martha E ^a   Soffa, Mary Lou ^a  

^a University of Pittsburgh   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TESTING; SOFTWARE TESTING;

AI PLANNING; GRAPHICAL USER INTERFACES TEST; INITIAL STATE; INTERFACE TESTINGS; NEW APPROACHES; PLAN GENERATION; PLANNING TECHNIQUES; SOFTWARE-SYSTEMS; TEST CASE GENERATION; TESTING SYSTEMS;

GRAPHICAL USER INTERFACES;

EID: 0345888879     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. Bernhard. P..I. 1994. A reduced test suite for protocol conformance testing. ACI Transactions on Software Engineering and Melhodolo.qy 3(3):21)1 220.
2. Chow,T. S. 1978. Testing software design modeled by finite-state machines. IEEElttns, oo .5’oflware Engim:ering SE-4, 3:178-187.
3. Clarke, J. M. 1998. Aut.omated test generation from a behavioral ntodel. In Proceedings of Pacific Northwest Softu:arc Quality Coufcecnce. [EEE Press.
4. Esmelioglu, S., arid Apfelbaum, L. 1997. Automated test. generation, execution, and reporting. In Proceedings of Pacific Northwesl Softwal, Quality Con-fcrcnce. IEEEPress.
5. H. C.ho: G.I). Hath[el; and F. Somenzi. 1993. Redundancy idenfificat.ion/removal and test generation for sequent.ial circuits,sing implicit state enumeration. il’EE Transactions on Computer-Aided Design of h#egratcd Cimuits and Syslvms 12(7):9’,]5-945.
6. llammontree, M. L.; llendrickson, J. J.: and llensley. B. W. 1992. Int.egrated data capture and analysis tools for research and test.ing an graphical user interfac(.s. In Bauersfeld, P.; 13ennet.l., J.: and Lynch, G., eds.. Pngceedings of thr (:onferencc on HumanFaclors in Computing .qystfms, .’131-432. NewYork, NV, USA: ACMPress.
7. tlowe, A.; yon Mayrhauser, A.; and Mraz, R. T. 1997. Test case generation as an A1 planning problem. Au-lomoted Software I’Mginccring 4:77 106.
8. Kasik, D. J., and George, H. G. 1996. Toward auto-matte generation of novice user test scripts. In Tauber, M. J.; BeUotti, V.: Jeffries, R.; Mackiulay, J. D.; and Nielsen, J., eds., Proceedings of Ihe Conference on Human Factors in Compuling Systems: Common Ground. 244-251. New York: ACMPress.
9. Kepp]e, L. R. 1994. Theblack art of G[!l testing. Dr. Dobb’sJourualof 5’oftu,are ToolsI,(!(2):4(I.
10. Kitajima, M., and Poison, P.G. 1992. A computatk)nal modelof skilled use. of a graphical user interface. lit Proceedings of ACMC:I11"92 Confercnee on Human l"aclors in ComputingSyst(,nts. Modeling the Expert User, 241-249.
11. Kita.jima, M., and Poison. P. G. 1995. A coml)rehcnsion-based model of correct performance and errors in skilled: display-based, hmnan-eon,puter interaction. IntErnational Journal of HumanComputerStudies 43(1):65- 99.
12. Koehler, J.; Nebel, B.; IIoffman, .I.; and l)imopovlos, V. 1997. Extending planning graphs to an AI)L subset. In Steel, S., and Alami, R., eds., Proceedingsof lhc .flh European (Confercnce on Planning (ECP-97): Recent Advances in AI Planning, voh,me 13,18 of LNAL273 285. Berlin: Springer.
13. Memon,A. M.; Pollack, M.; and Sofia, M. L. 1999a. (’.omparing causal-link and propositional planners:’lYadeofrs betweenplan length and domainsize. ’Ik,chnical Rel)ort 99-06. University o[" Pittsburgh. Pitt.s-burgh.
14. Memon, A. M.; Pollack, M. E.; and Sofia, M. L. 1999b. [)sing a goal-driven approach to generate test cases for Gl:ls. In Proceedings of the 21st International Confcr(nee on .qoftwarE Engineering, 257-966. ACM l) tess.
15. Myers. B.A. 1993. Whyare human-computer interfaces difficult to design and implement?Technical Report CS-93-183,C, arnegie Mellonl:niversity, School of ComputerScience.
16. Shehady, R. K., and Siewiorek, D. P. 1997. A,nethod to amomateuser interface testing using variable fi,rite slat(, machines. In Proceedings of Tb(Tu,enty-,5’
17. The, L. t992. Stress’rests For GI’I Programs. Dalomat|on 38(18):37.
18. White, l,. 1996. Regression testing of GI:I event interwentions. In Proceedings of the lnteruatioual Conference on b’oflwar(Mainlcnane,, 351) 358. Washingi.on: IEEE Computer Society Press.
19. Wittel, Jr., W.I., and Lewis, T. G. 1991. Integrating |.he MVCparadigm into an object-oriented framework to accelerate GIll application (hwelol)ment. Technical Heport 91-60-06, Department of C.omputer Science, Oregon State University. Fri, 15 Dec 1995 03:14:52 f;M’I".