Search Results - Marat Akhin

  • Showing 1 - 3 results of 3
Refine Results
  1. 1
    Tree Slicing in Clone Detection: Syntactic Analysis Made (Semi)-Semantic

    Tree Slicing in Clone Detection: Syntactic Analysis Made (Semi)-Semantic by Marat Akhin, Vladimir Itsykson

    Published 2015-03-01
    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Defect Detection: Combining Bounded Model Checking and Code Contracts

    Defect Detection: Combining Bounded Model Checking and Code Contracts by Marat Akhin, Mikhail Belyaev, Vladimir Itsykson

    Published 2013-12-01
    Get full text
    Article

    Save to List
    Saved in:
  3. 3
    Random Model Sampling: Making Craig Interpolation Work When It Should Not

    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

    Save to List
    Saved in:

Search Tools: