74 search results - page 1 / 15 » Using Rewrite Strategies for Testing BUpL Agents |
95
Voted
LOPSTR
2009
Springer
15 years 4 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
15 years 2 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
15 years 3 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...
85
Voted
EGOV
2008
Springer
14 years 12 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...
94
Voted
ICSE
2008
IEEE-ACM
15 years 11 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...