Agents are starting to run real business processes. flowproof tests them like anything else: record one real run, then replay it on every commit with zero LLM calls, asserting which tools were called, with which arguments, in which order, and which were not.
SAP test automation for Robot Framework across three channels (SAP GUI desktop, Fiori/SAPUI5 web, OData and RFC API): one test can act on screen and check the result through the API. Self-healing locators. Apache 2.0.
