Showing 151 - 160 results of 242 for search '"Verification."', query time: 0.02s Refine Results
  1. 151

    Explaining abstract counterexamples. by Chaki, Sagar

    Article

    Explaining abstract counterexamples.
  2. 152

    Correlation exploitation in error ranking. by Kremenek, Ted

    Article

    Correlation exploitation in error ranking.
  3. 153

    Using an SQL coverage measurement for testing database applications. by Suárez-Cabal, María José

    Article

    Using an SQL coverage measurement for testing database applications.
  4. 154

    Deadlock detection in distribution object systems. by Kaveh, Nima

    Article

    Deadlock detection in distribution object systems.
  5. 155

    Increasing client-side confidence in remote component implementations. by Jagannathan, Ramesh

    Article

    Increasing client-side confidence in remote component implementations.
  6. 156

    A micromodularity mechanism. by Jackson, Daniel

    Article

    A micromodularity mechanism.
  7. 157

    Detecting implied scenarios in message sequence chart specifications. by Uchitel, Sebastian

    Article

    Detecting implied scenarios in message sequence chart specifications.
  8. 158

    Interface automata. by De Alfaro, Luca

    Article

    Interface automata.
  9. 159

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

    Article

    Using symbolic execution for verifying safety-critical systems.
  10. 160

    Modular verification of collaboration-based software designs. by Fisler, Kathi

    Article

    Modular verification of collaboration-based software designs.

Search Tools: