Akhin Marat Khalimovich

Publications in Math-Net.Ru

1. Random model sampling: making Craig interpolation work when it should not
   
   Model. Anal. Inform. Sist., 21:6 (2014),  7–17
2. Defect Detection: Combining Bounded Model Checking and Code Contracts
   
   Model. Anal. Inform. Sist., 20:6 (2013),  22–35
3. Tree Slicing in Clone Detection: Syntactic Analysis Made (Semi)-Semantic
   
   Model. Anal. Inform. Sist., 19:6 (2012),  69–78