1 paper
Ezio Bartocci, Jyotirmoy Deshmukh, Cristinel Mateis +3
We present ShapeIt, a tool for mining specifications of cyber-physical systems (CPS) from their real-valued behaviors. The learned specifications are in the form of linear shape ex…