74 search results - page 1 / 15 » Using Rewrite Strategies for Testing BUpL Agents |
LOPSTR
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. In this paper we focus on the problem of testing agent programs written in BUpL, an executable, high-level modelling agent language. Our approach consists of two main ste...
PADL
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
VLDB
2004
ACM
13 years 10 months ago
2004
ACM
Relational OLAP tools and other database applications generate sequences of SQL statements that are sent to the database server as result of a single information request issued by...
EGOV
2008
Springer
13 years 6 months ago
2008
Springer
In this paper we present a framework for identifying the test focus and test objectives based on the assumption that automatic information processing based on encoded meaning is th...
ICSE
2008
IEEE-ACM
14 years 5 months ago
2008
IEEE-ACM
WS-BPEL applications are a kind of service-oriented application. They use XPath extensively to integrate loosely-coupled workflow steps. However, XPath may extract wrong data from...