Sandro Badame

Publication Activity (10 Years)

Years Active: 2011-2012
Publications (10 Years): 0

Top Topics

Tree Decompositions

Predicate Calculus

Microsoft Excel

Top Venues

Publications

Sandro Badame, Danny Dig
Refactoring meets spreadsheet formulas. ICSM (2012)
Milos Gligoric, Sandro Badame, Ralph Johnson
SMutant: a tool for type-sensitive mutation testing in a dynamic language. SIGSOFT FSE (2011)