Istqb
ICPC 2015 - MIP Introduction
Electrochemical method of analysis
Using model checking and execution generated tests to find bugs in real code Dawson Engler Cristian Cadar, Junfeng Yang, Ted Kremenek, Paul Twohey Stanford.
Anti Phishing & Spam -- by lynn. E-mail Spam Anti Spam and How White-lists Black-lists Heuristics –Bayes –Neural Networks Static technique –keyword checking.
SENG 550: Software Verification and Validation V&V Processes and Techniques Prof. Bojan Cukic Lane Department of Computer Science and Electrical Engineering.
Model-Based Clustering and Visualization of Navigation Patterns on a Web Site
Standards Status Report – Summer Meeting, 2008 S2ESC Management Board July 30, 2008 Updated July 29, 2008 Dave Schultz Jim Moore Malia Zaman.
Using model checking and execution generated tests to find bugs in real code
Testing Java web applications
Traffic-Aware Dynamic Firewall Policy Management: Techniques and Applications
HighwaySurveying-GPS-Chapter8