BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
dynamic analysis
Google dynamic analysis

Tag #dynamic analysis

85 papers:

PLDIPLDI-2019-LeZN #invariant #logic #named #using
SLING: using dynamic analysis to infer program invariants in separation logic (TCL, GZ, TN), pp. 788–801.
ICPCICPC-2018-ShatnawiSSASS #api #component #identification #object-oriented
Identifying software components from object-oriented APIs based on dynamic analysis (AS, HS, MAS, ZA, HAS, AS), pp. 189–199.
PPDPPPDP-2018-SulzmannS #message passing #source code
Two-Phase Dynamic Analysis of Message-Passing Go Programs Based on Vector Clocks (MS, KS), p. 13.
ASPLOSASPLOS-2018-DevecseryCFN #hybrid #static analysis
Optimistic Hybrid Analysis: Accelerating Dynamic Analysis through Predicated Static Analysis (DD, PMC, JF, SN), pp. 348–362.
CCCC-2018-SunBHB #performance
Efficient dynamic analysis for Node.js (HS, DB, CH, WB), pp. 196–206.
ICSMEICSME-2017-CaiR17b #android
Artifacts for Dynamic Analysis of Android Apps (HC, BGR), p. 659.
PEPMPEPM-2017-HengleinR #parsing expression grammar #using
PEG parsing in less space using progressive tabling and dynamic analysis (FH, UTR), pp. 35–46.
ICSE-2017-PadhyeS #detection #named #traversal
Travioli: a dynamic analysis for detecting data-structure traversals (RP, KS), pp. 473–483.
GPCEGPCE-2017-RosaRB #virtual machine
Accurate reification of complete supertype information for dynamic analysis on the JVM (AR, ER, WB), pp. 104–116.
SCAMSCAM-2016-HollandSAK #algorithm #complexity #detection #tool support
Statically-Informed Dynamic Analysis Tools to Detect Algorithmic Complexity Vulnerabilities (BH, GRS, PA, SK), pp. 79–84.
ASEASE-2016-AlshanqitiHK #contract #reverse engineering #using #visual notation
Visual contract extractor: a tool for reverse engineering visual contracts using dynamic analysis (AMA, RH, TK), pp. 816–821.
ICSE-2016-LiuCB #detection #fault #named #performance #precise
DoubleTake: fast and precise error detection via evidence-based dynamic analysis (TL, CC, EDB), pp. 911–922.
ICPCICPC-2015-LafetaMR #framework #using
Framework instantiation using cookbooks constructed with static and dynamic analysis (RFL, MdAM, DR), pp. 125–128.
ICPCICPC-2015-Zeller
Test complement exclusion: guarantees from dynamic analysis (AZ), pp. 1–2.
ICSMEICSME-2015-LuciaDGR #automation #behaviour #design pattern #detection #towards
Towards automating dynamic analysis for behavioral design pattern detection (ADL, VD, CG, MR), pp. 161–170.
ICSMEICSME-2015-ValeM #architecture #mining #named #using
Keecle: Mining key architecturally relevant classes using dynamic analysis (LdNV, MdAM), pp. 566–570.
OOPSLAOOPSLA-2015-ToffolaPG #performance #problem
Performance problems you can fix: a dynamic analysis of memoization opportunities (LDT, MP, TRG), pp. 607–622.
ASPLOSASPLOS-2015-SenguptaBZBK #bound #hybrid
Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability (AS, SB, MZ, MDB, MK), pp. 561–575.
AMTAMT-2014-GogollaHH #modelling #ocl #on the #uml
On Static and Dynamic Analysis of UML and OCL Transformation Models (MG, LH, FH), pp. 24–33.
OOPSLAOOPSLA-2014-GligoricSPVNL #automation #migration #refactoring #search-based #using
Automated migration of build scripts using dynamic analysis and search-based refactoring (MG, WS, CP, DvV, IN, BL), pp. 599–616.
OOPSLAOOPSLA-2014-ParrHF #adaptation #ll #parsing #power of
Adaptive LL(*) parsing: the power of dynamic analysis (TP, SH, KF), pp. 579–598.
ASEASE-2014-PalepuJ #slicing
Discriminating influences among instructions in a dynamic slice (VKP, JAJ), pp. 37–42.
ASEASE-2014-RamaK #refactoring
A dynamic analysis to support object-sharing code refactorings (GMR, RK), pp. 713–724.
ICSEICSE-2014-BagheriTS #automation #named
TradeMaker: automated dynamic analysis of synthesized tradespaces (HB, CT, KJS), pp. 106–116.
ICSEICSE-2014-CaiWC #approach #constraints #named #parallel #source code #thread
ConLock: a constraint-based approach to dynamic checking on deadlocks in multithreaded programs (YC, SW, WKC), pp. 491–502.
ICSEICSE-2014-NguyenKWF #invariant #using
Using dynamic analysis to generate disjunctive invariants (TN, DK, WW, SF), pp. 608–619.
SACSAC-2014-KangI
Analysis of binary code topology for dynamic analysis (BK, EGI), pp. 1731–1732.
SACSAC-2014-KumeNNS #framework
A dynamic analysis technique to extract symptoms that suggest side effects in framework applications (IK, NN, MN, ES), pp. 1176–1178.
ASEASE-2013-PalepuXJ #dependence #performance #summary
Improving efficiency of dynamic analysis with dynamic dependence summaries (VKP, G(X, JAJ), pp. 59–69.
ESEC-FSEESEC-FSE-2013-KimMKBSBd #combinator #configuration management #lightweight #named #testing
SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems (CHPK, DM, SK, DSB, SS, PB, Md), pp. 257–267.
ESEC-FSEESEC-FSE-2013-SenKBG #framework #javascript #named
Jalangi: a selective record-replay and dynamic analysis framework for JavaScript (KS, SK, TGB, SG), pp. 488–498.
ESEC-FSEESEC-FSE-2013-SenKBG13a #framework #javascript #named #testing
Jalangi: a tool framework for concolic testing, selective record-replay, and dynamic analysis of JavaScript (KS, SK, TGB, SG), pp. 615–618.
SACSAC-2013-AnconaBM #consistency #multi #protocol
Constrained global types for dynamic checking of protocol conformance in multi-agent systems (DA, MB, VM), pp. 1377–1379.
SACSAC-2013-DelahayeKS #c #source code #specification
Common specification language for static and dynamic analysis of C programs (MD, NK, JS), pp. 1230–1235.
CSMRCSMR-2012-Dovgalyuk #debugging #execution #multi
Deterministic Replay of System’s Execution with Multi-target QEMU Simulator for Dynamic Analysis and Reverse Debugging (PD), pp. 553–556.
ICSMEICSM-2012-KimuraHIK #refactoring
Move code refactoring with dynamic analysis (SK, YH, HI, SK), pp. 575–578.
WCREWCRE-2012-JanaN #detection #precise #using
Precise Detection of Uninitialized Variables Using Dynamic Analysis — Extending to Aggregate and Vector Types (AJ, RN), pp. 197–201.
ICSEICSE-2012-NguyenKWF #array #invariant #polynomial #using
Using dynamic analysis to discover polynomial and array invariants (TN, DK, WW, SF), pp. 683–693.
SACSAC-2012-ChebaroKGJ #slicing #verification
Program slicing enhances a verification technique combining static and dynamic analysis (OC, NK, AG, JJ), pp. 1284–1291.
WCREWCRE-2011-FuhrHR #clustering #implementation #legacy #reuse #using
Using Dynamic Analysis and Clustering for Implementing Services by Reusing Legacy Code (AF, TH, VR), pp. 275–279.
KDIRKDIR-2011-RavulaCL #using
Dynamic Analysis of Malware using Decision Trees (RRR, CCC, KJL), pp. 74–83.
ICSTICST-2011-TsankovJOS #execution
Execution Hijacking: Improving Dynamic Analysis by Flying off Course (PT, WJ, AO, SS), pp. 200–209.
ICSMEICSM-2010-LuciaDGR #design pattern #detection #eclipse #plugin
An Eclipse plug-in for the detection of design pattern instances through static and dynamic analysis (ADL, VD, CG, MR), pp. 1–6.
PASTEPASTE-2010-FlanaganF #concurrent #framework #source code
The RoadRunner dynamic analysis framework for concurrent programs (CF, SNF), pp. 1–8.
PASTEPASTE-2010-HaC #communication #concurrent
Opportunities for concurrent dynamic analysis with explicit inter-core communication (JH, SPC), pp. 17–20.
FSEFSE-2010-JoshiNSG #detection #effectiveness
An effective dynamic analysis for detecting generalized deadlocks (PJ, MN, KS, DG), pp. 327–336.
FSEFSE-2010-MyersS #ide #user interface #using
Using dynamic analysis to create trace-focused user interfaces for IDEs (DM, MADS), pp. 367–368.
GPCEGPCE-2010-TanterMBA #aspect-oriented #composition
Composition of dynamic analysis aspects (ÉT, PM, WB, DA), pp. 113–122.
CSMRCSMR-2009-PatelHR #clustering #dependence #using
Software Clustering Using Dynamic Analysis and Static Dependencies (CP, AHL, JR), pp. 27–36.
ICMLICML-2009-GomesK #multi
Dynamic analysis of multiagent Q-learning with ε-greedy exploration (ERG, RK), pp. 369–376.
OOPSLAOOPSLA-2009-HaABM #concurrent #framework #hardware #manycore
A concurrent dynamic analysis framework for multicore hardware (JH, MA, SMB, KSM), pp. 155–174.
AdaSIGAda-2009-Lathrop #ada #branch #predict
Dynamic analysis of branch mispredictions in Ada (SML), pp. 79–84.
ICPCICPC-2008-EaddyAAG #information retrieval #named #program analysis #requirements #source code #using
CERBERUS: Tracing Requirements to Source Code Using Information Retrieval, Dynamic Analysis, and Program Analysis (ME, AVA, GA, YGG), pp. 53–62.
ICPCICPC-2008-RohatgiHR #approach
An Approach for Mapping Features to Code Based on Static and Dynamic Analysis (AR, AHL, JR), pp. 236–241.
WCREWCRE-2008-CleveH #data-driven #reverse engineering #sql
Dynamic Analysis of SQL Statements for Data-Intensive Applications Reverse Engineering (AC, JLH), pp. 192–196.
SEKESEKE-2008-HuS #design pattern #detection #java #source code
Dynamic Analysis and Design Pattern Detection in Java Programs (LH, KS), pp. 842–846.
OOPSLAOOPSLA-2008-ShankarAB #lightweight #named
Jolt: lightweight dynamic analysis and removal of object churn (AS, MA, RB), pp. 127–142.
AdaSIGAda-2008-Safari-SharifabadiC #ada #comprehension #metric #quality #source code
Dynamic analysis of Ada programs for comprehension and quality measurement (ESS, CC), pp. 15–38.
CAVCAV-2008-HolzerSTV #generative #metric #named #testing
FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement (AH, CS, MT, HV), pp. 209–213.
ICLPICLP-2008-SchulteS #bound
Dynamic Analysis of Bounds Versus Domain Propagation (CS, PJS), pp. 332–346.
VMCAIVMCAI-2008-GroceJ #model checking
Extending Model Checking with Dynamic Analysis (AG, RJ), pp. 142–156.
WCREWCRE-2007-Cornelissen #architecture #re-engineering
Dynamic Analysis Techniques for the Reconstruction of Architectural Views (BC), pp. 281–284.
ASEASE-2007-DwyerP #cost analysis #static analysis #type system
Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis (MBD, RP), pp. 124–133.
FASEFASE-2007-EdwardsMM #architecture #distributed
Scenario-Driven Dynamic Analysis of Distributed Architectures (GE, SM, NM), pp. 125–139.
CSMRCSMR-2006-SalahMAP #scalability
Scenario-Driven Dynamic Analysis for Comprehending Large Software Systems (MS, SM, GA, MDP), pp. 71–80.
CSMRCSMR-2006-Zaidman #comprehension #scalability
Scalability Solutions for Program Comprehension through Dynamic Analysis (AZ), pp. 327–330.
CSMRCSMR-2006-ZaidmanDASHR
Regaining Lost Knowledge through Dynamic Analysis and Aspect Orientation (AZ, SD, BA, KDS, GH, BDR), pp. 91–102.
ICPCICPC-2006-SafyallahS #execution #mining #using
Dynamic Analysis of Software Systems using Execution Pattern Mining (HS, KS), pp. 84–88.
WCREWCRE-2006-ZaidmanGH #comprehension
Program COmprehension through Dynamic Analysis (AZ, OG, AHL), p. 315.
PLDIPLDI-2006-ZhangGG #slicing
Pruning dynamic slices with confidence (XZ, NG, RG), pp. 169–180.
ICSMEICSM-2005-SalahMAP #towards
Towards Employing Use-Cases and Dynamic Analysis to Comprehend Mozilla (MS, SM, GA, MDP), pp. 639–642.
ESOPESOP-2005-ChanderEILN #bound #verification
Enforcing Resource Bounds via Static Verification of Dynamic Checks (AC, DE, NI, PL, GCN), pp. 311–325.
IWPCIWPC-2004-AntoniolPZ #comprehension #web
Understanding Web Applications through Dynamic Analysis (GA, MDP, MZ), pp. 120–131.
PASTEPASTE-2004-Ernst
Invited Talk Static and dynamic analysis: synergy and duality (MDE), p. 35.
ICSEICSE-2004-ZhangGZ #diagrams #order #performance #slicing #using
Efficient Forward Computation of Dynamic Slices Using Reduced Ordered Binary Decision Diagrams (XZ, RG, YZ), pp. 502–511.
CAVCAV-2004-ArthoSBEBZ #java #named #performance
JNuke: Efficient Dynamic Analysis for Java (CA, VS, AB, PE, MB, BZ), pp. 462–465.
ASEASE-2002-GueheneucDJ #java #source code
No Java without Caffeine: A Tool for Dynamic Analysis of Java Programs (YGG, RD, NJ), p. 117–?.
AdaSIGAda-2001-WhiteW #ada
Dynamic analysis for locating product features in Ada code (LJW, NW), pp. 99–106.
ESECESEC-FSE-1999-Ball #concept
The Concept of Dynamic Analysis (TB), pp. 216–234.
IWPCIWPC-1998-BechiniT #concurrent #design #java #tool support
Design of a Toolset for Dynamic Analysis of Concurrent Java Program (AB, KCT), pp. 190–197.
TOOLSTOOLS-ASIA-1998-NiZ #automation #constraints #java #semantics
An Automatically Dynamic Checking Tool for Java Beans Semantic Constraints (BN, ZZ), pp. 164–172.
ICSMEICSM-1994-AngerRY #concurrent #source code
Combining Static and Dynamic Analysis of Concurrent Programs (FDA, RVR, MY), pp. 89–98.
WCREWCRE-1993-RitschS #reverse engineering #source code
Reverse Engineering Programs via Dynamic Analysis (HR, HMS), pp. 192–201.
ICSEICSE-1989-Yue #composition #functional #requirements #validation
Validating System Requirements by Functional Decomposition and Dynamic Analysis (KY), pp. 188–196.
DACDAC-1970-Chace #named #network #prototype
DAMN — a prototype program for the Dynamic Analysis of Mechanical Networks (MAC), pp. 158–172.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.