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

Yuqi Chen, Christopher M. Poskitt, Jun Sun

Browse the full FM paper archive.