Showing 1 - 6 results of 6 for search 'Near, Joseph P.', query time: 0.02s Refine Results
  1. 1
    An imperative extension to alloy and a compiler for its execution

    An imperative extension to alloy and a compiler for its execution by Near, Joseph P. (Joseph Paul)

    Published 2010
    Get full text
    Thesis
  2. 2
    Symbolic Execution for (Almost) Free: Hijacking an Existing Implementation to Perform Symbolic Execution

    Symbolic Execution for (Almost) Free: Hijacking an Existing Implementation to Perform Symbolic Execution by Near, Joseph P., Jackson, Daniel

    Published 2014
    Get full text
  3. 3
    Finding security bugs in web applications using domain-specific static analysis

    Finding security bugs in web applications using domain-specific static analysis by Near, Joseph P. (Joseph Paul)

    Published 2015
    Get full text
    Thesis
  4. 4
    Alloy*: a general-purpose higher-order relational constraint solver

    Alloy*: a general-purpose higher-order relational constraint solver by Milicevic, Aleksandar, Near, Joseph P, Kang, Eunsuk, Jackson, Daniel

    Published 2021
    Get full text
    Article
  5. 5
    AvatarSAT: An Auto-tuning Boolean SAT Solver

    AvatarSAT: An Auto-tuning Boolean SAT Solver by Ganesh, Vijay, Singh, Rishabh, Near, Joseph P., Rinard, Martin

    Published 2009
    Get full text
  6. 6
    Alloy*: A Higher-Order Relational Constraint Solver

    Alloy*: A Higher-Order Relational Constraint Solver by Milicevic, Aleksandar, Near, Joseph P., Kang, Eunsuk, Jackson, Daniel

    Published 2014
    Get full text

Search Tools: