MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Static Analysis." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 7,256 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Evaluating the Imprecision of Static Analysis  
  • by Atanas Rountev Scott, Scott Kagan, Michael Gibas — 2004
  • …ABSTRACT Evaluating the Imprecision of Static Analysis Atanas Rountev Scott Kagan Michael Gibas…
  • Add To MetaCart
  • Evaluating Static Analysis Frameworks  
  • by Ciera Nicole Christopher — 2006
  • …Evaluating Static Analysis Frameworks Ciera Nicole Christopher Carnegie Mellon University Analysis…
  • Add To MetaCart
  • Guided static analysis  
  • by Denis Gopan, Thomas Reps — 2007 — In Static Analysis Symp
  • …Guided Static Analysis ⋆ Denis Gopan 1 and Thomas Reps 1,2 1 University of Wisconsin 2 Gramma…
  • Cited by 1 (1 self) – Add To MetaCart
  • Industrial Perspective on Static Analysis  
  • by Ba Wichmann, Aa. Canning, D. L. Clutterbuck, L A Winsborrow, N. J. Ward, D. W. R. Marsh — 1995 — Software Engineering Journal
  • …Industrial perspective on static analysis by BA Wichmann, AA. Canning, D.L. Clutterbuck, L A…
  • Cited by 1 (0 self) – Add To MetaCart
  • Static analysis for systems biology  
  • by Flemming Nielson, Flemming Nielson, Hanne Riis Nielson, Hanne Riis Nielson, Corrado Priami, Corrado Priami, Debora Schuch Da Rosa, Debora Schuch Da Rosa — 2004 — Proc. ACM Winter International Symposium on Information and Communication Technologies. Cancun
  • … (Italy), Via Sommarive 14 http://www.dit.unitn.it STATIC ANALYSIS FOR SYSTEMS BIOLOGY Flemming Nielson…
  • Cited by 4 (0 self) – Add To MetaCart
  • Static Analysis for JML's  
  • by Assignable Clauses Fausto, Fausto Spoto, Erik Poll — 2003 — In Proceedings, Foundations of Object-Oriented Languages (FOOL10
  • …Static Analysis for JML's assignable Clauses ? Fausto Spoto 1 and Erik Poll 2 1 Dipartimento…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB