5 research outputs found

    Enhancing State Space Reduction Methods for Model Checking

    Get PDF
    Ph.DDOCTOR OF PHILOSOPH

    Graph-based detection of library API imitations

    No full text
    10.1109/ICSM.2011.6080785IEEE International Conference on Software Maintenance, ICSM183-19
    corecore