1. Managing traceability links with matraca;Angela Lozano,2016
2. Design and implementation of the logicblox system;Aref,2015
3. Tracking static analysis violations over time to capture developer characteristics;Avgustinov,2015
4. Strictly declarative specification of sophisticated points-to analyses;Bravenboer,2009
5. Enforcing structural regularities in software using IntensiVE;Brichau;Sci. Comput. Program.,2010