Showing 1 - 5 results of 5 for search 'Marat Akhin', query time: 0.08s Refine Results
  1. 1
    Tree Slicing in Clone Detection: Syntactic Analysis Made (Semi)-Semantic
    by Marat Akhin, Vladimir Itsykson
    Published 2015-03-01
    Get full text
    Article
  2. 2
    Tree Slicing in Clone Detection: Syntactic Analysis Made (Semi)-Semantic
    by Marat Akhin, Vladimir Itsykson
    Published 2012-01-01
    Get full text
    Article
  3. 3
    Defect Detection: Combining Bounded Model Checking and Code Contracts
    by Marat Akhin, Mikhail Belyaev, Vladimir Itsykson
    Published 2013-12-01
    Get full text
    Article
  4. 4
    Random Model Sampling: Making Craig Interpolation Work When It Should Not
    by Marat Akhin, Sam Kolton, Vladimir Itsykson
    Published 2014-12-01
    Get full text
    Article
  5. 5
    Defect Detection: Combining Bounded Model Checking and Code Contracts
    by Marat Akhin, Mikhail Belyaev, Vladimir Itsykson
    Published 2013-01-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search