Recommendations
Generating finite state machines from abstract state machines
ISSTA '02: Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysisWe give an algorithm that derives a finite state machine (FSM) from a given abstract state machine (ASM) specification. This allows us to integrate ASM specs with the existing tools for test case generation from FSMs. ASM specs are executable but have ...
State of the Art in Telepresence (Part 1)
SIGGRAPH '23: ACM SIGGRAPH 2023 Coursesthe use of virtual reality technology, especially for remote control of machinery or for apparent participation in distant events
Comments