Specification and testing of autonomous agents in e-commerce systems: Research Articles
Software Testing, Verification & Reliability
Formal specification of multi-agent e-barter systems
Science of Computer Programming
Model based testing with labelled transition systems
Formal methods and testing
Hi-index | 0.00 |
In this paper we expand our work in our specification formalism UIOLTSs. We present three implementation relations and provide alternative characterizations of these relations in terms of the tests that the implementation under test successfully passes. In addition, we present the main ideas to obtain an algorithm to derive complete test suites from specifications.