CS 354 Bezier Curves
journal of object technology - context oriented programming
Ch21-Software Engineering 9
Ieee projects 2012 2013 - Software Engineering
Guernica y quest
Program Verification using Probabilistic Techniques Sumit Gulwani Microsoft Research Invited Talk: VSTTE Workshop August 2006 Joint work with George Necula.
Precise Interprocedural Analysis using Random Interpretation Sumit Gulwani George Necula UC-Berkeley.
Program Analysis using Random Interpretation Sumit Gulwani UC-Berkeley March 2005.
Spring aop concepts
Rejuvenate Pointcut: A Tool for Pointcut Expression Recovery in Evolving Aspect-Oriented Software
Introduktion till Aspekt-orienterad programmering (AOP) med AspectJ
Dependence flow graph for analysis