On the public citation graph

Specification and testing of autonomous agents in e-commerce systems

https://doi.org/10.1002/stvr.323
0 signed · 44 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1007/3-540-36135-9_1openalex-snapshot
Encoding PAMR into (Timed) EFSMs
inferredcites →https://doi.org/10.1007/3-540-48080-3_19openalex-snapshot
A Formal Framework for E-Barter Based on Microeconomic Theory and Process Algebras
inferredcites →https://doi.org/10.1007/978-3-540-30233-9_24openalex-snapshot
Testing of Autonomous Agents Described as Utility State Machines
inferredcites →https://doi.org/10.1007/978-3-540-30233-9_3openalex-snapshot
Specification of Autonomous Agents in E-commerce Systems
inferredcites →https://doi.org/10.1007/bfb0026761openalex-snapshot
Formal semantics for an abstract agent programming language
inferredcites →https://doi.org/10.1007/bfb0031845openalex-snapshot
AgentSpeak(L): BDI agents speak out in a logical computable language
inferredcites →https://doi.org/10.1016/0304-3975(94)90010-8openalex-snapshot
A theory of timed automata
inferredcites →https://doi.org/10.1016/s0304-3975(02)00364-xopenalex-snapshot
A new logic for electronic commerce protocols
inferredcites →https://doi.org/10.1016/s0950-5849(03)00071-5openalex-snapshot
Formal verification and validation for e-commerce: theory and best practices
inferredcites →https://doi.org/10.1017/s0269888998002082openalex-snapshot
Agent-mediated electronic commerce: a survey
inferredcites →https://doi.org/10.1023/a:1010038012192openalex-snapshot
Agents in Electronic Commerce: Component Technologies for Automated Negotiation and Coalition Formation
inferredcites →https://doi.org/10.1109/5.533956openalex-snapshot
Principles and methods of testing finite state machines-a survey
inferredcites →https://doi.org/10.1109/tkde.2003.1209014openalex-snapshot
On agent-mediated electronic commerce
inferredcites →https://doi.org/10.1145/291469.291474openalex-snapshot
How the Internet helps build collaborative multimedia applications
inferredcites →https://doi.org/10.1145/295685.295708openalex-snapshot
Agents in E-commerce
inferredcites →https://doi.org/10.1145/952532.952650openalex-snapshot
A multi-agent system for e-barter including transaction and shipping costs
inferredcites →https://doi.org/10.1145/967900.968060openalex-snapshot
Formal specification of autonomous commerce agents
inferredcites →https://doi.org/10.1145/967900.968064openalex-snapshot
Automated test scenarios generation for an e-barter system

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-031-44146-2_23openalex-snapshot
A State-of-the-Art Review of the Mutation Analysis Technique for Testing Multi-agent Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-75211-0_6openalex-snapshot
SPAMR: Extending PAMR with Stochastic Time
inferred← citeshttps://doi.org/10.1007/978-3-540-75596-8_28openalex-snapshot
A Formal Methodology to Test Complex Heterogeneous Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-75698-9_21openalex-snapshot
Formal Specification of Multi-agent Systems by Using EUSMs
inferred← citeshttps://doi.org/10.1007/978-3-642-01970-8_34openalex-snapshot
A Hierarchical Methodology to Specify and Simulate Complex Computational Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-03958-4_17openalex-snapshot
A Novel Formalism to Represent Collective Intelligence in Multi-agent Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-13464-7_7openalex-snapshot
Specification and Testing of E-Commerce Agents Described by Using UIOLTSs
inferred← citeshttps://doi.org/10.1007/978-3-642-19208-1_13openalex-snapshot
Testing in Multi-Agent Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-39742-4_19openalex-snapshot
Preference-Based Many-Objective Evolutionary Testing Generates Harder Test Cases for Autonomous Agents
inferred← citeshttps://doi.org/10.1007/s10458-011-9175-4openalex-snapshot
Evolutionary testing of autonomous software agents
inferred← citeshttps://doi.org/10.1007/s10489-017-1112-zopenalex-snapshot
Agent systems verification : systematic literature review and mapping
inferred← citeshttps://doi.org/10.1016/j.engappai.2015.09.013openalex-snapshot
Testing HMAS-based applications: An ASPECS-based approach
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.09.034openalex-snapshot
From Theoretical e-barter Models to an Implementation Based on Web Services
inferred← citeshttps://doi.org/10.1016/j.neucom.2014.04.060openalex-snapshot
AgentTest: A specification language for agent-based system testing
inferred← citeshttps://doi.org/10.1109/icnas.2019.8807874openalex-snapshot
A Novel Test Case Generation Approach based on AUML sequence diagram
inferred← citeshttps://doi.org/10.1109/ictai.2013.43openalex-snapshot
On the Influence of the Number of Objectives in Evolutionary Autonomous Software Agent Testing
inferred← citeshttps://doi.org/10.1109/siecpc.2013.6550990openalex-snapshot
Testing of autonomous agents: A critical analysis
inferred← citeshttps://doi.org/10.1109/sitis.2008.70openalex-snapshot
A Formal Methodology to Specify Hierarchical Agent-Based Systems
inferred← citeshttps://doi.org/10.1145/2601248.2613079openalex-snapshot
Towards a novel testing approach for holonic agents
inferred← citeshttps://doi.org/10.14569/ijacsa.2011.020620openalex-snapshot
Multi-Agent System Testing: A Survey
inferred← citeshttps://doi.org/10.17577/ijertv6is040224openalex-snapshot
Review Paper on Multi-Agent Based Software Testing
inferred← citeshttps://doi.org/10.17771/pucrio.acad.56448openalex-snapshot
JAT4BDI: UMA NOVA ABORDAGEM PARA TESTES DE AGENTES DELIBERATIVOS
inferred← citeshttps://doi.org/10.18280/ijsse.140411openalex-snapshot
Testing Inclusive, Exclusive, and Parallel Interactions in Multi-Agents System: A New Model-Based Approach
inferred← citeshttps://doi.org/10.2991/978-94-91216-32-9_5openalex-snapshot
A Formal Methodology to Specify Hierarchical Agent-Based Systems
inferred← citeshttps://doi.org/10.3390/electronics11223642openalex-snapshot
A Novel Mutation Analysis-Based Approach for Testing Parallel Behavioural Scenarios in Multi-Agent Systems
inferred← citeshttps://doi.org/10.3844/ajassp.2012.1876.1883openalex-snapshot
A PETRI NET BASED AGENT BEHAVIORAL TESTING
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.