„static program analysis“

Suchergebnisse

1.000+ Treffer

• A longitudinal study of static analysis warning evolution and the effects of PMD on software quality in Apache open source projects
  Trautsch, Alexander ; Herbold, Steffen ; Grabowski, Jens
• What really changes when developers intend to improve their source code: a commit-level study of static metric value and static analysis warning changes
  Trautsch, Alexander ; Erbel, Johannes ; Herbold, Steffen ; Grabowski, Jens
• Combining static worst-case timing analysis and program proof
  Chapman, Roderick ; Burns, Alan ; Wellings, Andy
• Software metrics in static program analysis
  Vogelsang, Andreas ; Fehnker, Ansgar ; Huuck, Ralf ; Reif, Wolfgang ; Dong, Jin Song ; Zhu, Huibiao 2010 Universität Augsburg
• Combining Static and Dynamic Program Analysis Techniques for Checking Relational Properties
  Herda, Mihai ; Beckert, B. 2020 KIT-Bibliothek
• Reverse Engineering of Complex Legacy Telecommunication Systems
  Marburger, André 2005 Shaker
• A framework for machine learning based mapping of concurrent applications to parallel architectures
  Tetzlaff, Dirk ; Glesner, Sabine ; Marwedel, Peter ; Knoop, Jens 2014 Technische Universität Berlin
• Static termination analysis for prolog using term rewriting and SAT solving
  Schneider-Kamp, Peter 2008 RWTH, Fachgruppe Informatik
• Types with Potential: Polynomial Resource Bounds via Automatic Amortized Analysis
  Hoffmann, Jan 2012 epubli GmbH
• Static analysis of x86 executables – = Statische Analyse von Programmen in x86-Maschinensprache
  Kinder, Johannes
• Securing the System: Formal Methods for Error-Free Software
  Naviya 2024 tredition
• Static code analysis in multi-threaded environments
  Ehrhardt, Christian
• On the correlation between architectural smells and static analysis warnings
  Esposito, Matteo ; Robredo, Mikel ; Arcelli Fontana, Francesca ; Lenarduzzi, Valentina
• Foreword to the special issue on the 2017 Static Analysis Symposium
  Ranzato, Francesco
• Tools and Algorithms for the Construction and Analysis of Systems – 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
  Ábrahám, Erika ; Havelund, Klaus 2014 Springer Berlin Heidelberg
• Fundamental Approaches to Software Engineering – 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
  Gnesi, Stefania ; Rensink, Arend 2014 Springer Berlin Heidelberg
• Verification, Model Checking, and Abstract Interpretation – 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings
  D'Souza, Deepak ; Lal, Akash ; Larsen, Kim Gulstrand 2014 Springer Berlin Heidelberg
• Generative and Transformational Techniques in Software Engineering IV – International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers
  Lämmel, Ralf ; Saraiva, João ; Visser, Joost 2013 Springer Berlin Heidelberg
• Computer Aided Verification – 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
  Madhusudan, Parthasarathy ; Seshia, Sanjit A. 2012 Springer Berlin Heidelberg
• Formal Verification of Object-Oriented Software – International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers
  Beckert, Bernhard ; Marché, Claude 2011 Springer Berlin Heidelberg