Sciweavers

7766 search results - page 197 / 1554
» Testing Nondeterminate Systems
Sort
View
FUIN
2007
130views more  FUIN 2007»
13 years 9 months ago
A Logic-Based Approach to Finding Explanations for Discrepancies in Optimistic Plan Execution
Abstract. Consider an agent executing a plan with nondeterministic actions, in a dynamic environment, which might fail. Suppose that she is given a description of this action domai...
Thomas Eiter, Esra Erdem, Wolfgang Faber, Já...
SAS
2012
Springer
208views Formal Methods» more  SAS 2012»
12 years 2 days ago
Finding Non-terminating Executions in Distributed Asynchronous Programs
Programming distributed and reactive asynchronous systems is complex due to the lack of synchronization between concurrently executing tasks, and arbitrary delay of message-based c...
Michael Emmi, Akash Lal
ICSE
2008
IEEE-ACM
14 years 9 months ago
Cooperative work in software testing
Substantial effort in the development of any large system is invested in testing. Studies of testing tend to be either technical or concerned with the cognitive ability of testers...
David Martin, John Rooksby, Mark Rouncefield, Ian ...
KBSE
2008
IEEE
14 years 4 months ago
An Automated Test Code Generation Method for Web Applications using Activity Oriented Approach
—Automated tests are important for Web applications as they grow more complex day by day. Web application testing frameworks have emerged to help satisfy this need. However, used...
David A. Turner, Moonju Park, Jaehwan Kim, Jinseok...
ITC
2003
IEEE
97views Hardware» more  ITC 2003»
14 years 3 months ago
A Generic Test Path and DUT Model for DataCom ATE
– It is well known that the output signals measured by an automatic test equipment (ATE) system are not only due to the device-under-test (DUT), but also due to the test path. Fo...
Jie Sun, Mike Li