Search Results - "Theory of computation Semantics and reasoning Program reasoning Program analysis"

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Cover Image

    SemFix: program repair via semantic analysis by Nguyen, Hoang Duong Thien, Qi, Dawei, Roychoudhury, Abhik, Chandra, Satish

    ISBN: 1467330760, 9781467330763
    Published: Piscataway, NJ, USA IEEE Press 18.05.2013
    “…Debugging consumes significant time and effort in any major software development project. Moreover, even after the root cause of a bug is identified, fixing…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:
  2. 2
    Cover Image

    Intrusion detection using signatures extracted from execution profiles by El-Ghali, M., Masri, W.

    ISBN: 9781424437252, 1424437253
    Published: Washington, DC, USA IEEE Computer Society 19.05.2009
    “…An application based intrusion detection system is a security mechanism designed to detect malicious behavior that could compromise the security of a software…”
    Get full text
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: