Search Results - "Program verification."

Refine Results
  1. 21

    PSE explaining program failures via postmortem static analysis. by Manevich, Roman

    Article


    Cover Image
  2. 22

    Model-based testing for applications derived from software product lines. by Olimpiew, Erika Mir

    Article


    Cover Image
  3. 23

    Verifying aspect advice modularly. by Krishnamurthi, Shriram

    Article


    Cover Image
  4. 24

    Compliance deconstructed. by Cannon, J.C

    Article


    Cover Image
  5. 25

    A component-based specification approach for embedded systems using FDTs. by Guerrouat, Abdelaziz

    Article


    Cover Image
  6. 26

    Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs. by Liang, Donglin

    Article


    Cover Image
  7. 27

    Correlation exploitation in error ranking. by Kremenek, Ted

    Article


    Cover Image
  8. 28

    Static control-flow analysis for reverse engineering of UML sequence diagrams. by Rountev, Atanas

    Article


    Cover Image
  9. 29

    Using symbolic execution for verifying safety-critical systems. by Coen-Porisini, Alberto

    Article


    Cover Image
  10. 30

    Focusing software education on engineering. by Knight, John C.

    Article


    Cover Image

Search Tools: