Sciweavers

4719 search results - page 112 / 944
» Newtonian program analysis
Sort
View
121
Voted
ICFEM
2010
Springer
15 years 4 months ago
Software Metrics in Static Program Analysis
Andreas Vogelsang, Ansgar Fehnker, Ralf Huuck, Wol...
140
Voted
IWPC
2010
IEEE
15 years 4 months ago
Utilizing Web Search Engines for Program Analysis
Daniel Ratiu, Lars Heinemann
131
Voted
SAS
2010
Springer
148views Formal Methods» more  SAS 2010»
15 years 4 months ago
Small Formulas for Large Programs: On-Line Constraint Simplification in Scalable Static Analysis
Isil Dillig, Thomas Dillig, Alex Aiken