User interface design in the trenches: some tips on shooting from the hip
CHI '91 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Conditional nonlinear planning
Proceedings of the first international conference on Artificial intelligence planning systems
Integrated data capture and analysis tools for research and testing on graphical user interfaces
CHI '92 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
A reduced test suite for protocol conformance testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
HTN planning: complexity and expressivity
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
ACM Transactions on Computer-Human Interaction (TOCHI)
Toward automatic generation of novice user test scripts
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Fast planning through planning graph analysis
Artificial Intelligence
Using a goal-driven approach to generate test cases for GUIs
Proceedings of the 21st international conference on Software engineering
Test Case Generation as an AI Planning Problem
Automated Software Engineering
Iterative User-Interface Design
Computer
Regression Testing of GUI Event Interactions
ICSM '96 Proceedings of the 1996 International Conference on Software Maintenance
Extending Planning Graphs to an ADL Subset
ECP '97 Proceedings of the 4th European Conference on Planning: Recent Advances in AI Planning
A Method to Automate User Interface Testing Using Variable Finite State Machines
FTCS '97 Proceedings of the 27th International Symposium on Fault-Tolerant Computing (FTCS '97)
Why are Human-Computer interfaces Difficult to Design and Implement?
Why are Human-Computer interfaces Difficult to Design and Implement?
Integrating the MVC Paradigm into an Object-Oriented Framework to Accelerate GUI Application Development
Coverage criteria for GUI testing
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
AI Planner Assisted Test Generation
Software Quality Control
Specification-based Testing for Gui-based Applications
Software Quality Control
Expressing Graphical User's Input for Test Specifications
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
Extended Model-Based Testing toward High Code Coverage Rate
ECSQ '02 Proceedings of the 7th International Conference on Software Quality
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Specification-driven automated testing of GUI-based Java programs
ACM-SE 42 Proceedings of the 42nd annual Southeast regional conference
JCrasher: an automatic robustness tester for Java
Software—Practice & Experience
Automating regression testing for evolving GUI software: Research Articles
Journal of Software Maintenance and Evolution: Research and Practice - 2003 International Conference on Software Maintenance: The Architectural Evolution of Systems
Studying the Fault-Detection Effectiveness of GUI Test Cases for Rapidly Evolving Software
IEEE Transactions on Software Engineering
On the Test Case Definition for GUI Testing
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Empirical Software Engineering
HOTTest: A model-based test design technique for enhanced testing of domain-specific applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Designing and comparing automated test oracles for GUI-based software applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
Test minimization for human-computer interaction
Applied Intelligence
System Test Planning of Software: An Optimization Approach
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Rapid goal-oriented automated software testing using MEA-graph planning
Software Quality Control
Generating Java unit tests with AI planning
Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies: held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007
A rigorous approach towards test case generation
Information Sciences: an International Journal
Automatically repairing event sequence-based GUI test suites for regression testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Using a pilot study to derive a GUI model for automated testing
ACM Transactions on Software Engineering and Methodology (TOSEM)
GUI path oriented test generation algorithms
IASTED-HCI '07 Proceedings of the Second IASTED International Conference on Human Computer Interaction
Design and analysis of GUI test-case prioritization using weight-based methods
Journal of Systems and Software
Iterative execution-feedback model-directed GUI testing
Information and Software Technology
Protocol-Based Testing of Firewalls
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
Model-based test prioritizing: a comparative soft-computing approach and case studies
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
AutoBlackTest: a tool for automatic black-box testing
Proceedings of the 33rd International Conference on Software Engineering
Automated GUI performance testing
Software Quality Control
A model-to-implementation mapping tool for automated model-based GUI testing
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
User behavior augmented software testing for user-centered GUI
Proceedings of the 2011 ACM Symposium on Research in Applied Computation
Using ontology to generate test cases for GUI testing
International Journal of Computer Applications in Technology
Easing the generation of predictive human performance models from legacy systems
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Search-based system testing: high coverage, no false alarms
Proceedings of the 2012 International Symposium on Software Testing and Analysis
Generating diverse plans to handle unknown and partially known user preferences
Artificial Intelligence
AppsPlayground: automatic security analysis of smartphone applications
Proceedings of the third ACM conference on Data and application security and privacy
Human performance regression testing
Proceedings of the 2013 International Conference on Software Engineering
Graphical user interface (GUI) testing: Systematic mapping and repository
Information and Software Technology
GUI testing assisted by human knowledge: Random vs. functional
Journal of Systems and Software
GUITAR: an innovative tool for automated testing of GUI-driven software
Automated Software Engineering
Hi-index | 0.00 |
The widespread use of GUIs for interacting with software is leading to the construction of more and more complex GUIs. With the growing complexity come challenges in testing the correctness of a GUI and its underlying software. We present a new technique to automatically generate test cases for GUIs that exploits planning, a well-developed and used technique in artificial intelligence. Given a set of operators, an initial state, and a goal state, a planner produces a sequence of the operators that will transform the initial state to the goal state. Our test case generation technique enables efficient application of planning by first creating a hierarchical model of a GUI based on its structure. The GUI model consists of hierarchical planning operators representing the possible events in the GUI. The test designer defines the preconditions and effects of the hierarchical operators, which are input into a plan-generation system. The test designer also creates scenarios that represent typical initial and goal states for a GUI user. The planner then generates plans representing sequences of GUI interactions that a user might employ to reach the goal state from the initial state. We implemented our test case generation system, called Planning Assisted Tester for grapHical user interface Systems (PATHS) and experimentally evaluated its practicality and effectiveness. We describe a prototype implementation of PATHS and report on the results of controlled experiments to generate test cases for Microsoft's WordPad.