most citedTowards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation

26 citations · 26 across the 1 of their papers we have counts for

collaborators

1 paper

cs.SE2016★ 26 cited

Towards Learning and Verifying Invariants of Cyber-Physical Systems by Code Mutation

Yuqi Chen, Christopher M. Poskitt, Jun Sun

Cyber-physical systems (CPS), which integrate algorithmic control with physical processes, often consist of physically distributed components communicating over a network. A malfun…