66 citations · 157 across the 16 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
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…
cs.SE2016★ 1 cited
Towards Concolic Testing for Hybrid Systems
Pingfan Kong, Yi Li, Xiaohong Chen +3
Hybrid systems exhibit both continuous and discrete behavior. Analyzing hybrid systems is known to be hard. Inspired by the idea of concolic testing (of programs), we investigate w…