Tag #dynamic analysis
85 papers:
PLDI-2019-LeZN #invariant #logic #named #using- SLING: using dynamic analysis to infer program invariants in separation logic (TCL, GZ, TN), pp. 788–801.
ICPC-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.
PPDP-2018-SulzmannS #message passing #source code- Two-Phase Dynamic Analysis of Message-Passing Go Programs Based on Vector Clocks (MS, KS), p. 13.
ASPLOS-2018-DevecseryCFN #hybrid #static analysis- Optimistic Hybrid Analysis: Accelerating Dynamic Analysis through Predicated Static Analysis (DD, PMC, JF, SN), pp. 348–362.
CC-2018-SunBHB #performance- Efficient dynamic analysis for Node.js (HS, DB, CH, WB), pp. 196–206.
ICSME-2017-CaiR17b #android- Artifacts for Dynamic Analysis of Android Apps (HC, BGR), p. 659.
PEPM-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.
GPCE-2017-RosaRB #virtual machine- Accurate reification of complete supertype information for dynamic analysis on the JVM (AR, ER, WB), pp. 104–116.
SCAM-2016-HollandSAK #algorithm #complexity #detection #tool support- Statically-Informed Dynamic Analysis Tools to Detect Algorithmic Complexity Vulnerabilities (BH, GRS, PA, SK), pp. 79–84.
ASE-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.
- ICPC-2015-LafetaMR #framework #using
- Framework instantiation using cookbooks constructed with static and dynamic analysis (RFL, MdAM, DR), pp. 125–128.
- ICPC-2015-Zeller
- Test complement exclusion: guarantees from dynamic analysis (AZ), pp. 1–2.
- ICSME-2015-LuciaDGR #automation #behaviour #design pattern #detection #towards
- Towards automating dynamic analysis for behavioral design pattern detection (ADL, VD, CG, MR), pp. 161–170.
- ICSME-2015-ValeM #architecture #mining #named #using
- Keecle: Mining key architecturally relevant classes using dynamic analysis (LdNV, MdAM), pp. 566–570.
OOPSLA-2015-ToffolaPG #performance #problem- Performance problems you can fix: a dynamic analysis of memoization opportunities (LDT, MP, TRG), pp. 607–622.
- ASPLOS-2015-SenguptaBZBK #bound #hybrid
- Hybrid Static: Dynamic Analysis for Statically Bounded Region Serializability (AS, SB, MZ, MDB, MK), pp. 561–575.
AMT-2014-GogollaHH #modelling #ocl #on the #uml- On Static and Dynamic Analysis of UML and OCL Transformation Models (MG, LH, FH), pp. 24–33.
- OOPSLA-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.
- OOPSLA-2014-ParrHF #adaptation #ll #parsing #power of
- Adaptive LL(*) parsing: the power of dynamic analysis (TP, SH, KF), pp. 579–598.
- ASE-2014-PalepuJ #slicing
- Discriminating influences among instructions in a dynamic slice (VKP, JAJ), pp. 37–42.
- ASE-2014-RamaK #refactoring
- A dynamic analysis to support object-sharing code refactorings (GMR, RK), pp. 713–724.
ICSE-2014-BagheriTS #automation #named- TradeMaker: automated dynamic analysis of synthesized tradespaces (HB, CT, KJS), pp. 106–116.
- ICSE-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.
- ICSE-2014-NguyenKWF #invariant #using
- Using dynamic analysis to generate disjunctive invariants (TN, DK, WW, SF), pp. 608–619.
SAC-2014-KangI - Analysis of binary code topology for dynamic analysis (BK, EGI), pp. 1731–1732.
- SAC-2014-KumeNNS #framework
- A dynamic analysis technique to extract symptoms that suggest side effects in framework applications (IK, NN, MN, ES), pp. 1176–1178.
- ASE-2013-PalepuXJ #dependence #performance #summary
- Improving efficiency of dynamic analysis with dynamic dependence summaries (VKP, G(X, JAJ), pp. 59–69.
ESEC-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-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-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.
- SAC-2013-AnconaBM #consistency #multi #protocol
- Constrained global types for dynamic checking of protocol conformance in multi-agent systems (DA, MB, VM), pp. 1377–1379.
- SAC-2013-DelahayeKS #c #source code #specification
- Common specification language for static and dynamic analysis of C programs (MD, NK, JS), pp. 1230–1235.
CSMR-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.
- ICSM-2012-KimuraHIK #refactoring
- Move code refactoring with dynamic analysis (SK, YH, HI, SK), pp. 575–578.
WCRE-2012-JanaN #detection #precise #using- Precise Detection of Uninitialized Variables Using Dynamic Analysis — Extending to Aggregate and Vector Types (AJ, RN), pp. 197–201.
- ICSE-2012-NguyenKWF #array #invariant #polynomial #using
- Using dynamic analysis to discover polynomial and array invariants (TN, DK, WW, SF), pp. 683–693.
- SAC-2012-ChebaroKGJ #slicing #verification
- Program slicing enhances a verification technique combining static and dynamic analysis (OC, NK, AG, JJ), pp. 1284–1291.
- WCRE-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.
KDIR-2011-RavulaCL #using- Dynamic Analysis of Malware using Decision Trees (RRR, CCC, KJL), pp. 74–83.
ICST-2011-TsankovJOS #execution- Execution Hijacking: Improving Dynamic Analysis by Flying off Course (PT, WJ, AO, SS), pp. 200–209.
- ICSM-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.
PASTE-2010-FlanaganF #concurrent #framework #source code- The RoadRunner dynamic analysis framework for concurrent programs (CF, SNF), pp. 1–8.
- PASTE-2010-HaC #communication #concurrent
- Opportunities for concurrent dynamic analysis with explicit inter-core communication (JH, SPC), pp. 17–20.
FSE-2010-JoshiNSG #detection #effectiveness- An effective dynamic analysis for detecting generalized deadlocks (PJ, MN, KS, DG), pp. 327–336.
- FSE-2010-MyersS #ide #user interface #using
- Using dynamic analysis to create trace-focused user interfaces for IDEs (DM, MADS), pp. 367–368.
- GPCE-2010-TanterMBA #aspect-oriented #composition
- Composition of dynamic analysis aspects (ÉT, PM, WB, DA), pp. 113–122.
- CSMR-2009-PatelHR #clustering #dependence #using
- Software Clustering Using Dynamic Analysis and Static Dependencies (CP, AHL, JR), pp. 27–36.
ICML-2009-GomesK #multi- Dynamic analysis of multiagent Q-learning with ε-greedy exploration (ERG, RK), pp. 369–376.
- OOPSLA-2009-HaABM #concurrent #framework #hardware #manycore
- A concurrent dynamic analysis framework for multicore hardware (JH, MA, SMB, KSM), pp. 155–174.
SIGAda-2009-Lathrop #ada #branch #predict- Dynamic analysis of branch mispredictions in Ada (SML), pp. 79–84.
- ICPC-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.
- ICPC-2008-RohatgiHR #approach
- An Approach for Mapping Features to Code Based on Static and Dynamic Analysis (AR, AHL, JR), pp. 236–241.
- WCRE-2008-CleveH #data-driven #reverse engineering #sql
- Dynamic Analysis of SQL Statements for Data-Intensive Applications Reverse Engineering (AC, JLH), pp. 192–196.
SEKE-2008-HuS #design pattern #detection #java #source code- Dynamic Analysis and Design Pattern Detection in Java Programs (LH, KS), pp. 842–846.
- OOPSLA-2008-ShankarAB #lightweight #named
- Jolt: lightweight dynamic analysis and removal of object churn (AS, MA, RB), pp. 127–142.
- SIGAda-2008-Safari-SharifabadiC #ada #comprehension #metric #quality #source code
- Dynamic analysis of Ada programs for comprehension and quality measurement (ESS, CC), pp. 15–38.
CAV-2008-HolzerSTV #generative #metric #named #testing- FShell: Systematic Test Case Generation for Dynamic Analysis and Measurement (AH, CS, MT, HV), pp. 209–213.
ICLP-2008-SchulteS #bound- Dynamic Analysis of Bounds Versus Domain Propagation (CS, PJS), pp. 332–346.
VMCAI-2008-GroceJ #model checking- Extending Model Checking with Dynamic Analysis (AG, RJ), pp. 142–156.
- WCRE-2007-Cornelissen #architecture #re-engineering
- Dynamic Analysis Techniques for the Reconstruction of Architectural Views (BC), pp. 281–284.
- ASE-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.
FASE-2007-EdwardsMM #architecture #distributed- Scenario-Driven Dynamic Analysis of Distributed Architectures (GE, SM, NM), pp. 125–139.
- CSMR-2006-SalahMAP #scalability
- Scenario-Driven Dynamic Analysis for Comprehending Large Software Systems (MS, SM, GA, MDP), pp. 71–80.
- CSMR-2006-Zaidman #comprehension #scalability
- Scalability Solutions for Program Comprehension through Dynamic Analysis (AZ), pp. 327–330.
- CSMR-2006-ZaidmanDASHR
- Regaining Lost Knowledge through Dynamic Analysis and Aspect Orientation (AZ, SD, BA, KDS, GH, BDR), pp. 91–102.
- ICPC-2006-SafyallahS #execution #mining #using
- Dynamic Analysis of Software Systems using Execution Pattern Mining (HS, KS), pp. 84–88.
- WCRE-2006-ZaidmanGH #comprehension
- Program COmprehension through Dynamic Analysis (AZ, OG, AHL), p. 315.
- PLDI-2006-ZhangGG #slicing
- Pruning dynamic slices with confidence (XZ, NG, RG), pp. 169–180.
- ICSM-2005-SalahMAP #towards
- Towards Employing Use-Cases and Dynamic Analysis to Comprehend Mozilla (MS, SM, GA, MDP), pp. 639–642.
ESOP-2005-ChanderEILN #bound #verification- Enforcing Resource Bounds via Static Verification of Dynamic Checks (AC, DE, NI, PL, GCN), pp. 311–325.
IWPC-2004-AntoniolPZ #comprehension #web- Understanding Web Applications through Dynamic Analysis (GA, MDP, MZ), pp. 120–131.
- PASTE-2004-Ernst
- Invited Talk Static and dynamic analysis: synergy and duality (MDE), p. 35.
- ICSE-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.
- CAV-2004-ArthoSBEBZ #java #named #performance
- JNuke: Efficient Dynamic Analysis for Java (CA, VS, AB, PE, MB, BZ), pp. 462–465.
- ASE-2002-GueheneucDJ #java #source code
- No Java without Caffeine: A Tool for Dynamic Analysis of Java Programs (YGG, RD, NJ), p. 117–?.
- SIGAda-2001-WhiteW #ada
- Dynamic analysis for locating product features in Ada code (LJW, NW), pp. 99–106.
ESEC-FSE-1999-Ball #concept- The Concept of Dynamic Analysis (TB), pp. 216–234.
- IWPC-1998-BechiniT #concurrent #design #java #tool support
- Design of a Toolset for Dynamic Analysis of Concurrent Java Program (AB, KCT), pp. 190–197.
TOOLS-ASIA-1998-NiZ #automation #constraints #java #semantics- An Automatically Dynamic Checking Tool for Java Beans Semantic Constraints (BN, ZZ), pp. 164–172.
- ICSM-1994-AngerRY #concurrent #source code
- Combining Static and Dynamic Analysis of Concurrent Programs (FDA, RVR, MY), pp. 89–98.
- WCRE-1993-RitschS #reverse engineering #source code
- Reverse Engineering Programs via Dynamic Analysis (HR, HMS), pp. 192–201.
- ICSE-1989-Yue #composition #functional #requirements #validation
- Validating System Requirements by Functional Decomposition and Dynamic Analysis (KY), pp. 188–196.
DAC-1970-Chace #named #network #prototype- DAMN — a prototype program for the Dynamic Analysis of Mechanical Networks (MAC), pp. 158–172.
