1. Find Out What Eden Lasater, a Quality Assurance Engineer, for Bellevue College, Does


    from Maureen Majury Added 120 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
    • Program Inconsistency Detection using Weakest Preconditions


      from Galois Video Added 429 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

      What are Tags?


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