14 citations · 31 across the 6 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2019★ 14 cited
Time-aware Test Case Execution Scheduling for Cyber-Physical Systems
Morten Mossige, Arnaud Gotlieb, Helge Spieker +2
Testing cyber-physical systems involves the execution of test cases on target-machines equipped with the latest release of a software control system. When testing industrial robots…
cs.SE2002★ 2 cited
Tracing and Explaining Execution of CLP(FD) Programs
Magnus Agren, Tamas Szeredi, Nicolas Beldiceanu +1
Previous work in the area of tracing CLP(FD) programs mainly focuses on providing information about control of execution and domain modification. In this paper, we present a trace…