Anahita Sanadaji

According to our database, Anahita Sanadaji authored at least 1 paper in 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2016

Finding Model-Checkable Needles in Large Source Code Haystacks: Modular Bug-Finding via Static Analysis and Dynamic Invariant Discovery.

Mohammad Amin Alipour, Alex Groce, Chaoqiang Zhang, Anahita Sanadaji, Gokul Caushik

CoRR, 2016