55 search results - page 1 / 11 » Architecture-based testing using goals and plans |
ISSTA
2006
ACM
14 years 4 months ago
2006
ACM
This paper presents a specification-based testing approach that compares software specifications defined at different f abstraction, e.g. architecture and implementation, agai...
ICSE
1999
IEEE-ACM
14 years 3 months ago
1999
IEEE-ACM
The widespread use of GUIs for interacting with software is leading to the construction of more and more complex GUIs. With the growing complexity comes challenges in testing the ...
ENTCS
2007
13 years 10 months ago
2007
We address the problem of verifying planning domains as used in model-based planning, for example in space missions. We propose a methodology for testing flight rules of planning...
ICRA
2010
IEEE
13 years 9 months ago
2010
IEEE
Abstract— We present a novel combination of motion planning techniques to compute motion plans for robotic arms. We compute plans that move the arm as close as possible to the go...
AIPS
2000
14 years 6 days ago
2000
Graphical user interfaces (GUIs) have become nearly ubiquitous as a means of interacting with software systems. GUIs are typically highly complex pieces of software, and testing t...