The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase static analysis (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1976-1984 (16) 1985-1988 (17) 1989-1990 (19) 1991-1992 (70) 1993 (40) 1994 (25) 1995 (52) 1996 (66) 1997 (63) 1998 (54) 1999 (68) 2000 (71) 2001 (90) 2002 (116) 2003 (124) 2004 (157) 2005 (198) 2006 (197) 2007 (228) 2008 (243) 2009 (198) 2010 (131) 2011 (85) 2012 (97) 2013 (108) 2014 (87) 2015 (109) 2016 (121) 2017 (124) 2018 (108) 2019 (17)
Publication types (Num. hits)
article(472) book(4) incollection(4) inproceedings(2536) phdthesis(56) proceedings(27)
Venues (Conferences, Journals, ...)
SAS(645) WSA(61) CoRR(50) ICSE(41) ISSTA(41) PLDI(41) PASTE(33) ACM Trans. Program. Lang. Syst...(32) IEEE Trans. Software Eng.(32) POPL(29) ASE(28) OOPSLA(26) ESOP(24) ESEC/SIGSOFT FSE(23) VMCAI(23) SCAM(21) More (+10 of total 813)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2922 occurrences of 1217 keywords

Results
Found 3099 publication records. Showing 3099 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
46Jiang Zheng 0001, Laurie A. Williams, Nachiappan Nagappan, Will Snipes, John P. Hudepohl, Mladen A. Vouk On the Value of Static Analysis for Fault Detection in Software. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Code inspections, walkthroughs
45Mark Sherriff, Sarah Smith Heckman, J. Michael Lake, Laurie A. Williams Using groupings of static analysis alerts to identify files likely to contain field failures. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF field failures, static analysis, singular value decomposition
45Mark Sherriff, Sarah Smith Heckman, J. Michael Lake, Laurie A. Williams Using groupings of static analysis alerts to identify files likely to contain field failures. Search on Bibsonomy ESEC/SIGSOFT FSE (Companion) The full citation details ... 2007 DBLP  DOI  BibTeX  RDF field failures, static analysis, singular value decomposition
45Makoto Murata, Akihiko Tozawa, Michiharu Kudo, Satoshi Hada XML access control using static analysis. Search on Bibsonomy ACM Trans. Inf. Syst. Secur. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF value-based access control, view schema, XML, Access control, static analysis, query optimization, XPath, XQuery, schema, automaton
45Makoto Murata, Akihiko Tozawa, Michiharu Kudo, Satoshi Hada XML access control using static analysis. Search on Bibsonomy ACM Conference on Computer and Communications Security The full citation details ... 2003 DBLP  DOI  BibTeX  RDF XML, access control, static analysis, query optimization, XPath, XQuery, schema, automaton
41V. Vipindeep, Pankaj Jalote Efficient static analysis with path pruning using coverage data. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2005 DBLP  DOI  BibTeX  RDF testing, static analysis, program checking
40Jun Chen, Steve MacDonald Towards a better collaboration of static and dynamic analyses for testing concurrent programs. Search on Bibsonomy PADTAD The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
39Kevin Lano Specifying static analysis tools using formal methods. Search on Bibsonomy ICECCS The full citation details ... 1995 DBLP  DOI  BibTeX  RDF static analysis tool specification, analysis functionality, static analysis toolset, diagrammatic analysis techniques, diagrammatic design techniques, well-structured specifications, comprehensible specifications, object-oriented structure, imperative programming culture, database culture, formal specification, formal specification, formal methods, software tools, specification languages, object-oriented methods, COBOL, structured programming, system monitoring, systems software, Z specification language, transformation functionality, industrial environment
38Nachiappan Nagappan, Thomas Ball Static analysis tools as early indicators of pre-release defect density. Search on Bibsonomy ICSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF statistical methods, fault-proneness, defect density, static analysis tools
37Nathaniel Ayewah, William Pugh, J. David Morgenthaler, John Penix, YuQian Zhou Evaluating static analysis defect warnings on production software. Search on Bibsonomy PASTE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Java, static analysis, software quality, bugs, false positives, software defects, FindBugs, bug patterns
35Jason Sawin, Atanas Rountev Improving static resolution of dynamic class loading in Java using dynamically gathered environment information. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF String analysis, Dynamic class loading, Static analysis, Reflection
35David Hovemeyer, Jaime Spacco, William Pugh Evaluating and tuning a static analysis to find null pointer bugs. Search on Bibsonomy PASTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF testing, static analysis
34Denis Gopan, Thomas W. Reps Guided Static Analysis. Search on Bibsonomy SAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
34Manuvir Das Unleashing the Power of Static Analysis. Search on Bibsonomy SAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
34Panagiotis Manolios, Daron Vroon 0001 Integrating static analysis and general-purpose theorem proving for termination analysis. Search on Bibsonomy ICSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF static analysis, theorem proving, termination, liveness, ACL2
34Arnaud Venet Towards the Integration of Symbolic and Numerical Static Analysis. Search on Bibsonomy VSTTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Deguang Kong, Quan Zheng 0002, Chao Chen, Jianmei Shuai, Ming Zhu ISA: a source code static vulnerability detection system based on data fusion. Search on Bibsonomy Infoscale The full citation details ... 2007 DBLP  DOI  BibTeX  RDF static analysis, data fusion, vulnerability
33Chris Hankin, Hanne Riis Nielson, Jens Palsberg Position Statements on Strategic Directions for Research on Programming Languages. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
33Klaus Wolfmaier, Rudolf Ramler, Gábor Guta, Heinz Dobler Observable Runtime Behavior for Defects Indicated by Automated Static Analysis. Search on Bibsonomy EUROCAST The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Automated Static Analysis, Defect Classification
33Hyungwoo Kang Security Assessment Framework Using Static Analysis and Fault Injection. Search on Bibsonomy ICIC (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF RPC (Remote Procedure Call), Static analysis, Fault injection, Buffer overflow, Software security, Security assessment
33Ben Liblit Reflections on the Role of Static Analysis in Cooperative Bug Isolation. Search on Bibsonomy SAS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
31Isabelle Pollet, Baudouin Le Charlier, Agostino Cortesi Distinctness and Sharing Domains for Static Analysis of Java Programs. Search on Bibsonomy ECOOP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Static Analysis, Abstract Interpretation, Program Specialization, Type Analysis
30Lian Yu, Jun Zhou, Yue Yi, Ping Li, Qianxiang Wang Ontology Model-Based Static Analysis on Java Programs. Search on Bibsonomy COMPSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Program ontology model, bug detector, abstract syntax tree (AST), static analysis, reasoning
30Eric Goubault, Sylvie Putot, Philippe Baufreton, Jean Gassino Static Analysis of the Accuracy in Control Systems: Principles and Experiments. Search on Bibsonomy FMICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Static analysis, control systems, floating-point computations
30Steffen M. Hansen, Jakob Skriver, Hanne Riis Nielson Using static analysis to validate the SAML single sign-on protocol. Search on Bibsonomy WITS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF authentication, static analysis, process calculi, protocol validation
30Dominique Boucher, Marc Feeley Abstract Compilation: A New Implementation Paradigm for Static Analysis. Search on Bibsonomy CC The full citation details ... 1996 DBLP  DOI  BibTeX  RDF compilation, static analysis, Abstract interpretation, partial evaluation, control flow analysis
30Leo Yuhsiang Liu, R. K. Shyamasundar Static Analysis of Real-Time Distributed Systems. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF maximal parallelism model, parallel actions, temporal errors, CSP programs, software engineering, real-time systems, parallel programming, static analysis, distributed processing, programs, programming languages, reasoning, deadlocks, terminations, failures, livelocks, timing properties, real-time distributed systems, temporal behaviors
29Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter, Aarti Gupta Static Analysis in Disjunctive Numerical Domains. Search on Bibsonomy SAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Sarah Smith Heckman, Laurie Williams On establishing a benchmark for evaluating static analysis alert prioritization and classification techniques. Search on Bibsonomy ESEM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF alert classification, alert prioritization, automated static analysis, benchmark creation, false positive mitigation
29Joseph R. Ruthruff, John Penix, J. David Morgenthaler, Sebastian G. Elbaum, Gregg Rothermel Predicting accurate and actionable static analysis warnings: an experimental approach. Search on Bibsonomy ICSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF experimental program analysis, logistic regression analysis, software quality, screening, static analysis tools
29Vadim Okun, William F. Guthrie, Romain Gaucher, Paul E. Black Effect of static analysis tools on software security: preliminary investigation. Search on Bibsonomy QoP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF vulnerability, software security, static analysis tools
29Bassem Elkarablieh, Sarfraz Khurshid, Duy Vu, Kathryn S. McKinley Starc: static analysis for efficient repair of complex data. Search on Bibsonomy OOPSLA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF static analysis, symbolic execution, data structure repair
29Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu Using Static Analysis to Improve Automatic Test Generation. Search on Bibsonomy TACAS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF static analysis, bisimulation, conformance testing, slicing, asynchronous systems
29David W. Binkley, Mark Harman, Jens Krinke Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation. Search on Bibsonomy SCAM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
29Patricia M. Hill, Fausto Spoto Freeness Analysis Through Linear Refinement. Search on Bibsonomy SAS The full citation details ... 1999 DBLP  DOI  BibTeX  RDF linear refinement, freeness analysis, logic programming, static analysis, Abstract interpretation, abstract domain
29François Fages, Roberta Gori Analysis of Normal Logic Programs. Search on Bibsonomy SAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF logic programming, static analysis, interpretation, constructive negation
29Manuvir Das Static Analysis of Large Programs: Some Experiences (Abstract of Invited Talk). Search on Bibsonomy PEPM The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
29Suan Hsi Yong, Susan Horwitz Using Static Analysis to Reduce Dynamic Analysis Overhead. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2005 DBLP  DOI  BibTeX  RDF dynamic debugging, runtime types, static analysis
28Bruno Blanchet Escape analysis for JavaTM: Theory and practice. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF stack allocation, synchronization elimination, Java, optimization, static analysis
28Jay-Evan J. Tevis, John A. Hamilton Jr. Static analysis of anomalies and security vulnerabilities in executable files. Search on Bibsonomy ACM Southeast Regional Conference The full citation details ... 2006 DBLP  DOI  BibTeX  RDF PE format, executable file, software security vulnerabilities, static analysis
28Qichang Chen, Liqiang Wang, Zijiang Yang HEAT: An Integrated Static and Dynamic Approach for Thread Escape Analysis. Search on Bibsonomy COMPSAC (1) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
28Liqiang Wang, Scott D. Stoller Static analysis of atomicity for programs with non-blocking synchronization. Search on Bibsonomy PPOPP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF verification, synchronization, static analysis, atomicity, lock-free, linearizability, non-blocking
27Guillaume P. Brat, Willem Visser Combining Static Analysis and Model Checking for Software Analysis. Search on Bibsonomy ASE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
27Anders Møller, Mads Østerby Olesen, Michael I. Schwartzbach Static validation of XSL transformations. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF static analysis, XML Schema, XSLT, DTD
27Peter Bunus, Peter Fritzson A Debugging Scheme for Declarative Equation Based Modeling Languages. Search on Bibsonomy PADL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Declarative equation based language, graph decomposition techniques, static analysis, debugging, bipartite graphs, modeling languages, Modelica
27Michael Weber, Viren Shah, Chris Ren A Case Study in Detecting Software Security Vulnerabilities Using Constraint Optimization. Search on Bibsonomy SCAM The full citation details ... 2001 DBLP  DOI  BibTeX  RDF static analysis, buffer overflow, software security, software certification
27Nomair A. Naeem, Ondrej Lhoták Typestate-like analysis of multiple interacting objects. Search on Bibsonomy OOPSLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF tracematches, static analysis, typestate
27Xiaolan Zhang 0001, Larry Koved, Marco Pistoia, Sam Weber, Trent Jaeger, Guillaume Marceau, Liangzhao Zeng The case for analysis preserving language transformation. Search on Bibsonomy ISSTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF language transformation, security, Java, verification, static analysis, C, language translation
27Surajit Chaudhuri, Vivek R. Narasayya, Manoj Syamala Bridging the application and DBMS divide using static analysis and dynamic profiling. Search on Bibsonomy SIGMOD Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF static analysis, database application, dynamic profiling
27Brian Chess, Gary McGraw Static Analysis for Security. Search on Bibsonomy IEEE Security & Privacy The full citation details ... 2004 DBLP  DOI  BibTeX  RDF static analysis, source code, software development life cycle
27Peter G. Bishop, Robin E. Bloomfield, Tim Clement, Sofia Guerra, Claire Jones Integrity Static Analysis of COTS/SOUP. Search on Bibsonomy SAFECOMP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
26Dennis Brylow, Jens Palsberg Deadline Analysis of Interrupt-Driven Software. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF multiresolution static analysis, Real time, testing oracles
26Dennis Brylow, Jens Palsberg Deadline analysis of interrupt-driven software. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF multi-resolution static analysis, real time, testing oracles
26Niklas Pettersson Measuring precision for static and dynamic design pattern recognition as a function of coverage. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
26Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta Refining the control structure of loops using static analysis. Search on Bibsonomy EMSOFT The full citation details ... 2009 DBLP  DOI  BibTeX  RDF loop refinement, synchronous sytems, model checking, static analysis, abstract interpretation, program verification, program understanding, path-sensitive analysis
26Na Meng, Qianxiang Wang, Qian Wu, Hong Mei An Approach to Merge Results of Multiple Static Analysis Tools (Short Paper). Search on Bibsonomy QSIC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF general specification, prioritizing policyquality, quality, result merge, static analysis tool
26Robert B. K. Dewar The compiler as a static analysis tool. Search on Bibsonomy SIGAda The full citation details ... 2007 DBLP  DOI  BibTeX  RDF ada, compilers, C++, static analysis, C, safety, certification
26Brian Cole, Daniel Hakim, David Hovemeyer, Reuven Lazarus, William Pugh, Kristin Stephens Improving your software using static analysis to find bugs. Search on Bibsonomy OOPSLA Companion The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Java, static analysis, FindBugs
26Denis Caromel, Ludovic Henrio, Bernard P. Serpette Context Inference for Static Analysis of Java Card Object Sharing. Search on Bibsonomy E-smart The full citation details ... 2001 DBLP  DOI  BibTeX  RDF security, static analysis, objects, type inference, Java Card
26Hyun Seop Bae, Yong Rae Kwon, Hyeon Soo Kim An Efficient Debugging Method for Message-based Parallel Programs using Static Analysis Information. Search on Bibsonomy APSEC The full citation details ... 1995 DBLP  DOI  BibTeX  RDF language-based replay, MHB(Minimal Happened Before) model, Detect and Reproduce method, parallel program, static analysis, debugging, probe effects, nondeterminacy, event ordering
26Till Mossakowski, Bartek Klin Institution Independent Static Analysis for CASL. Search on Bibsonomy WADT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
25David A. Wagner 0001 Static Analysis and Software Assurance. Search on Bibsonomy SAS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
25Jörg Brauer, Bastian Schlich, Thomas Reinbacher, Stefan Kowalewski Stack bounds analysis for microcontroller assembly code. Search on Bibsonomy WESS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF model checking, verification, static analysis, embedded software, assembly code
25Pietro Ferrara, Francesco Logozzo, Manuel Fähndrich Safer unsafe code for .NET. Search on Bibsonomy OOPSLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF bounds checking, pointer indexing, static analysis, abstract interpretation, design by contract, NET, abstract domains
25Sharon Shoham, Eran Yahav, Stephen Fink, Marco Pistoia Static specification mining using automata-based abstractions. Search on Bibsonomy ISSTA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF static analysis, abstract interpretation, typestate, specification mining
25Hyungwoo Kang, Kibom Kim, Soon Jwa Hong, Dong Hoon Lee A Model for Security Vulnerability Pattern. Search on Bibsonomy ICCSA (3) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Abstract Syntax Tree (AST), Static analysis, Buffer overflow, Software security, Pushdown Automata (PDA)
25Sriram K. Rajamani Static and Dynamic Analysis: Better Together. Search on Bibsonomy APLAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
25Jean-Yves Marion, Romain Péchoux Sup-interpretations, a semantic method for static analysis of program resources. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF static analysis of first-order languages, Resources control
25Pascal Cuoq, Julien Signoles, Patrick Baudin, Richard Bonichon, Géraud Canet, Loïc Correnson, Benjamin Monate, Virgile Prevosto, Armand Puccetti Experience report: OCaml for an industrial-strength static analysis framework. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF software architecture, static analysis, plug-ins, OCaml
25Yungbum Jung, Hakjoo Oh, Kwangkeun Yi Identifying static analysis techniques for finding non-fix hunks in fix revisions. Search on Bibsonomy CIKM-DSMM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF static analysis, mining software repository
25Nathaniel Ayewah, William Pugh A report on a survey and study of static analysis users. Search on Bibsonomy DEFECTS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Java, static analysis, software quality, bugs, false positives, software defects, FindBugs, bug patterns
25Pietro Ferrara Static Analysis Via Abstract Interpretation of the Happens-Before Memory Model. Search on Bibsonomy TAP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Static Analysis, Abstract Interpretation, Memory Model, Multithreaded Programs
25Xinran Wang, Yoon-chan Jhi, Sencun Zhu, Peng Liu 0005 Protecting web services from remote exploit code: a static analysis approach. Search on Bibsonomy WWW The full citation details ... 2008 DBLP  DOI  BibTeX  RDF static analysis, http, code injection attack
25Eric Larson SUDS: an infrastructure for dynamic software bug detection using static analysis. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2006 DBLP  DOI  BibTeX  RDF software engineering, software testing, static analysis, instrumentation, software verification, testing tools
25Marc Aiguier, Karim Berkani, Pascale Le Gall Feature Specification and Static Analysis for Interaction Resolution. Search on Bibsonomy FM The full citation details ... 2006 DBLP  DOI  BibTeX  RDF pre-post formalism, specification consistency, feature interaction resolution, static analysis, feature integration
25Karen Yorav, Orna Grumberg Static Analysis for State-Space Reductions Preserving Temporal Logics. Search on Bibsonomy Formal Methods in System Design The full citation details ... 2004 DBLP  DOI  BibTeX  RDF path reduction, (partially) dead variable reduction, temporal logic preservation, static analysis
25Atanas Rountev, Scott Kagan, Michael Gibas Evaluating the imprecision of static analysis. Search on Bibsonomy PASTE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF analysis precision, static analysis, dynamic analysis
25Misha Zitser, Richard Lippmann, Tim Leek Testing static analysis tools using exploitable buffer overflows from open source code. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF test detection, security, evaluation, static analysis, source code, buffer overflow, exploit, false alarm
25Barbara Catania, Elisa Bertino Static Analysis of Logical Languages with Deferred Update Semantics. Search on Bibsonomy IEEE Trans. Knowl. Data Eng. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF static analysis, update, Database system, logical language
25Martin P. Robillard, Gail C. Murphy Static analysis to support the evolution of exception structure in object-oriented systems. Search on Bibsonomy ACM Trans. Softw. Eng. Methodol. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF exception flow, exception structure, static analysis, exception handling, Error handling, program evolution
25Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu Using static analysis to improve automatic test generation. Search on Bibsonomy STTT The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Static analysis, Bisimulation, Conformance testing, Slicing, Asynchronous systems
25Ahmed Bouajjani, Javier Esparza, Tayssir Touili A generic approach to the static analysis of concurrent programs with procedures. Search on Bibsonomy POPL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF concurrent programs with procedures, verification, static analysis, abstraction, kleene algebras, pushdown systems
25Sotiris Skevoulis, Xiaoping Jia Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs. Search on Bibsonomy TOOLS (37) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF generic invariant-based static analysis tool, runtime error detection, automatic bug detection, illegal dereference, array bounds, Java class, Java, object-oriented programming, object oriented language, program debugging, program diagnostics, Java programs
25Florent de Dinechin, Sophie Robert Hierarchical Static Analysis Of Structured Systems Of Affine Recurrence Equations. Search on Bibsonomy ASAP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF hierarchical static analysis, structured systems, ALPHA language, polyhedral domains, complex algorithms, parameterized structures, ALPHA programs, type-checking process, single assignment rule, programming environments, program verification, specification languages, Gaussian elimination, affine recurrence equations
25Sridhar Iyer, S. Ramesh 0001 Apportioning: A Technique for Efficient Reachability Analysis of Concurrent Object-Oriented Programs. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF object-oriented programming, static analysis, Concurrent programs, reachability analysis
25Qichang Chen, Liqiang Wang, Zijiang Yang, Scott D. Stoller HAVE: Detecting Atomicity Violations via Integrated Dynamic and Static Analysis. Search on Bibsonomy FASE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
25Andreas Moser, Christopher Kruegel, Engin Kirda Limits of Static Analysis for Malware Detection. Search on Bibsonomy ACSAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
24Matthieu Martel Static Analysis of the Numerical Stability of Loops. Search on Bibsonomy SAS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Relational Analysis, Semantics of Floating-point Numbers, Abstract Interpretation, Numerical Precision
24Mangala Gowri Nanda, Monika Gupta 0002, Saurabh Sinha, Satish Chandra 0001, David Schmidt, Pradeep Balachandran Making defect-finding tools work for you. Search on Bibsonomy ICSE (2) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF defect differencing, defect merging, defect prioritization, defect views, static analysis portal
24Ben Wiedermann, Ali Ibrahim, William R. Cook Interprocedural query extraction for transparent persistence. Search on Bibsonomy OOPSLA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF databases, static analysis, programming languages, attribute grammars, object-relational mapping
24David Hovemeyer, William Pugh Status report on JSR-305: annotations for software defect detection. Search on Bibsonomy OOPSLA Companion The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Java, specifications, static analysis, software quality, bugs
24Byeong-Mo Chang Static check analysis for Java stack inspection. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2006 DBLP  DOI  BibTeX  RDF security, Java, Java, static analysis, stack inspection
24Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino 0001 Abstract Matching for Software Model Checking. Search on Bibsonomy SPIN The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Static Analysis, State Explosion, Model Extraction
24Christoph Csallner, Yannis Smaragdakis DSD-Crasher: a hybrid analysis tool for bug finding. Search on Bibsonomy ISSTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF usability, static analysis, dynamic analysis, automatic testing, test case generation, false positives, bug finding, extended static checking, dynamic invariant detection
24Nahomi Kikuchi, Tohru Kikuno Improving the Testing Process by Program Static Analysis. Search on Bibsonomy APSEC The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
24Yungbum Jung, Jaehwang Kim, Jaeho Shin 0001, Kwangkeun Yi Taming False Alarms from a Domain-Unaware C Analyzer by a Bayesian Statistical Post Analysis. Search on Bibsonomy SAS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Xavier Allamigeon, Wenceslas Godard, Charles Hymans Static Analysis of String Manipulations in Critical Embedded C Programs. Search on Bibsonomy SAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Domagoj Babic, Alan J. Hu Calysto: scalable and precise extended static checking. Search on Bibsonomy ICSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF formal verification, static analysis, static checking
23Jean Souyris, David Delmas Experimental Assessment of Astrée on Safety-Critical Avionics Software. Search on Bibsonomy SAFECOMP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF avionics software, run-time errors, Astrée, verification, static analysis, Abstract Interpretation, safety
23Xinran Wang, Yoon-chan Jhi, Sencun Zhu, Peng Liu 0005 STILL: Exploit Code Detection via Static Taint and Initialization Analyses. Search on Bibsonomy ACSAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 3099 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license