Patent ID: 7747985

Claim:
A method comprising: during conformance testing: executing an implementation of a multi-threaded and/or distributed software system under test, the software system comprising a plurality of agents; modeling system behavior during execution of the implementation of the software system as partially ordered events by, during execution, recording a plurality of agent runs for agents in the implementation of the software system under test, wherein each agent run of the plurality of agent runs logs: (a) a plurality of events executed by the respective agent of the agent run in the order executed by the respective agent, and (b) one or more accesses to a shared resource, each of the one or more accesses to the shared resource having an order value that indicates an order of access to the shared resource by any of the plurality of agents; and generating one or more fully serialized orderings of events based at least in part on the partially ordered events by multiplexing the logged events in the plurality of agent runs according to constraints indicated by the logged accesses to the shared resource into the one or more fully serialized orderings of events.