1. Program Inconsistency Detection using Weakest Preconditions

    01:09:21

    from Galois Video Added 422 2 0

    abstract: Many tools exist to automate the search for defects in software source code. However, many of these tools have not been widely applied, partly because they tend to work least well in the…

    + More details
    • Find Out What Eden Lasater, a Quality Assurance Engineer, for Bellevue College, Does

      02:53

      from Maureen Majury Added 117 1 0

      Find out what Eden Lasater, a Quality Assurance Engineer for Bellevue College, does in her job. Eden discusses why a geology major decided to move to a computer science major, her educational experience…

      + More details

      What are Tags?

      Tags

      Tags are keywords that describe videos. For example, a video of your Hawaiian vacation might be tagged with "Hawaii," "beach," "surfing," and "sunburn."