Testing with Node.js
The SLAM Project: Debugging System Software via Static Analysis Thomas Ball Sriram K. Rajamani Microsoft Research
Statically Validating Must Summaries for Incremental Compositional Dynamic Test Generation Patrice Godefroid Shuvendu K. Lahiri Cindy Rubio-González International.
Analysis of Software Artifacts - Spring 2006 1 Survey of Race Condition Analysis Techniques Team Extremely Awesome Nels Beckman Project Presentation 17-654:
Automated Instrumentation and Monitoring System (AIMS)
Elicitation and Utilization of Application-level Utility Functions Paul de Grandis and Giuseppe Valetto Drexel University - Dept. of Computer Science.
London Connected Systems User Group – Feb 15 2011
Stqa Practical
Waits Events and the Geeks who love them Kyle Hailey .
Compiling for VLIWs and ILP
