The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1962-1986 (16) 1987-1991 (19) 1992-1994 (18) 1995-1996 (19) 1997-1998 (21) 1999 (15) 2000-2001 (28) 2002 (29) 2003 (32) 2004 (55) 2005 (71) 2006 (61) 2007 (93) 2008 (125) 2009 (98) 2010 (73) 2011 (67) 2012 (41) 2013 (43) 2014 (80) 2015 (87) 2016 (69) 2017 (73) 2018 (82) 2019 (9)
Publication types (Num. hits)
article(374) book(1) incollection(9) inproceedings(918) phdthesis(13) proceedings(9)
Venues (Conferences, Journals, ...)
WODA(38) CoRR(35) ICSE(24) WCRE(22) ICRA(21) ICSM(21) IROS(18) ASE(17) ICPC(17) ISSTA(16) CSMR(15) PASTE(15) ROBIO(15) IEEE Trans. Software Eng.(14) PLDI(14) SAC(11) More (+10 of total 618)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 934 occurrences of 467 keywords

Results
Found 1324 publication records. Showing 1324 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
35Ben Liblit, Atanas Rountev WODA 2008: the sixth international workshop on dynamic analysis. Search on Bibsonomy ISSTA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF development of dynamic analysis tools and frameworks, efficient instrumentation techniques, fault detection and debugging, remote analysis and measurement of software systems, statistical reasoning techniques, synergies between static and dynamic analysis techniques, visualization and classification of program behavior, software testing, dynamic analysis, runtime monitoring, optimization techniques, program evolution
34Jun 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
32Jungwoo Ha, Stephen P. Crago Opportunities for concurrent dynamic analysis with explicit inter-core communication. Search on Bibsonomy PASTE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF inter-core communication, concurrency, dynamic analysis, instrumentation
25Jungwoo Ha, Matthew Arnold, Stephen M. Blackburn, Kathryn S. McKinley A concurrent dynamic analysis framework for multicore hardware. Search on Bibsonomy OOPSLA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF profiling, dynamic analysis, multicore, instrumentation
24Rudolf K. Keller, Marianne Ozkan, Xijin Shen Towards Comprehensive Support for the Dynamic Analysis of Petri Net Based Models. Search on Bibsonomy Application and Theory of Petri Nets The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Macronet, graphical simulation, visualization, performance analysis, Petri net, Dynamic analysis, business modelling, environment, tool evaluation
22Xiangyu Zhang 0001, Sriraman Tallam, Neelam Gupta, Rajiv Gupta 0001 Towards locating execution omission errors. Search on Bibsonomy PLDI The full citation details ... 2007 DBLP  DOI  BibTeX  RDF execution omission, implicit dependence, potential dependence, predicate switching, relevant slicing, debugging
22Koushik Sen Race directed random testing of concurrent programs. Search on Bibsonomy PLDI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF concurrency, dynamic analysis, random testing, race detection
22Cormac Flanagan, Stephen N. Freund The RoadRunner dynamic analysis framework for concurrent programs. Search on Bibsonomy PASTE The full citation details ... 2010 DBLP  DOI  BibTeX  RDF concurrency, dynamic analysis
21Matthew B. Dwyer, Rahul Purandare Residual dynamic typestate analysis exploiting static analysis: results to reformulate and reduce the cost of dynamic analysis. Search on Bibsonomy ASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF optimizing run-time monitors, static error detection
21Inbal Ronen, Nurit Dor, Sara Porat, Yael Dubinsky Combined static and dynamic analysis for inferring program dependencies using a pattern language. Search on Bibsonomy CASCON The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Fei Ge, Yang Cao, Yuan-ni Wang Chaotic Dynamic Analysis of MPEG-4 Video Traffic and Its Influence on Packet Loss Ratio. Search on Bibsonomy ICCNMC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF MPEG-4 video traffic, chaotic dynamic analysis, packet loss ratio
19Ulrich Bayer, Engin Kirda, Christopher Kruegel Improving the efficiency of dynamic malware analysis. Search on Bibsonomy SAC The full citation details ... 2010 DBLP  DOI  BibTeX  RDF dynamic analysis, malware analysis
19Alex Groce, Rajeev Joshi Random testing and model checking: building a common framework for nondeterministic exploration. Search on Bibsonomy WODA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF model checking, dynamic analysis, random testing, test frameworks
19Aiman Hanna, Hai Zhou Ling, Xiaochun Yang, Mourad Debbabi A Synergy between Static and Dynamic Analysis for the Detection of Software Security Vulnerabilities. Search on Bibsonomy OTM Conferences (2) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Static Analysis, Dynamic Analysis, Test-Data Generation, Security Testing, Security Automata
19Maria Jump, Kathryn S. McKinley Dynamic shape analysis via degree metrics. Search on Bibsonomy ISMM The full citation details ... 2009 DBLP  DOI  BibTeX  RDF degree metrics, dynamic invariants, dynamic shape analysis
18Eric Ying Kwong Chan, Yuen-Tak Yu Evaluating Several Path-Based Partial Dynamic Analysis Methods for Selecting Black-Box Generated Test Cases. Search on Bibsonomy QSIC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF partial dynamic analysis, path coverage, white-on-black approach, Black-box testing, test case selection, path analysis
18Erik Arisholm, Lionel C. Briand, Audun Føyen Dynamic Coupling Measurement for Object-Oriented Software. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
18Qichang 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
17David Lo 0001, Siau-Cheng Khoo, Chao Liu 0001 Mining past-time temporal rules from execution traces. Search on Bibsonomy WODA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF past-time temporal rules, data mining, dynamic analysis, specification mining
17Alessandro Orso, Tao Xie 0001 BERT: BEhavioral Regression Testing. Search on Bibsonomy WODA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF software evolution, dynamic analysis, regression testing
17Yin Liu, Ana Milanova Static analysis for dynamic coupling measures. Search on Bibsonomy CASCON The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
17Yoshiyuki Ashida, Fumiaki Ohata, Katsuro Inoue Slicing Methods Using Static and Dynamic Analysis Information. Search on Bibsonomy APSEC The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
17Hossein Safyallah, Kamran Sartipi Dynamic Analysis of Software Systems using Execution Pattern Mining. Search on Bibsonomy ICPC The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Feature Extraction, Scenario, Dynamic Analysis, Execution Trace, Sequential Pattern Mining
17Atanas Rountev, Scott Kagan, Michael Gibas Static and dynamic analysis of call chains in Java. Search on Bibsonomy ISSTA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF call chains, static analysis, dynamic analysis, call graph
17Giuseppe A. Di Lucca, Massimiliano Di Penta Integrating Static and Dynamic Analysis to improve the Comprehension of Existing Web Applications. Search on Bibsonomy WSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
16Minglan Lin, Anurag K. Srivastava 0001, Noel N. Schulz Modeling considerations in static and dynamic voltage stability studies of shipboard power systems. Search on Bibsonomy SCSC The full citation details ... 2007 DBLP  BibTeX  RDF PSCAD, numerical integration method, voltage stability, static analysis, dynamic analysis
16V. Benjamin Livshits, Thomas Zimmermann 0001 DynaMine: finding common error patterns by mining software revision histories. Search on Bibsonomy ESEC/SIGSOFT FSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF error patterns, one-line check-ins, data mining, dynamic analysis, coding patterns, revision histories, software bugs
16Claudio Riva, Jordi Vidal Rodríguez Combining Static and Dynamic Views for Architecture Reconstruction. Search on Bibsonomy CSMR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Software Architecture, Reverse Engineering, Dynamic Analysis, MSC, Architecture Reconstruction
16Sriram K. Rajamani Static and Dynamic Analysis: Better Together. Search on Bibsonomy APLAS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
16Anthony M. Sloane Generating Dynamic Program Analysis Tools. Search on Bibsonomy Australian Software Engineering Conference The full citation details ... 1997 DBLP  DOI  BibTeX  RDF dynamic program analysis tool generation, instrumentation based systems, analysis algorithm specification, implicit storage allocation, automatic sequencing, Wyong system, analysis module specification, Eli compiler generation system, ATOM program instrumentation system, instrumentation code, ATOM instrumented binary, specification based method, instrumentation based implementation, automatic programming, attribute grammars, data sources, dynamic structure
16Michael D. Ernst Invited Talk Static and dynamic analysis: synergy and duality. Search on Bibsonomy PASTE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Ruben E. Brown AWE: improving software analysis through modular integration of static and dynamic analyses. Search on Bibsonomy PASTE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF malicious software analysis, static analysis, dynamic analysis
15Byeongcheol Lee, Ben Wiedermann, Martin Hirzel, Robert Grimm 0001, Kathryn S. McKinley Jinn: synthesizing dynamic bug detectors for foreign language interfaces. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF ffi bugs, foreign function interfaces (FFI), java native interface (jni), multilingual programs, python/C, specification generation, specification, dynamic analysis
15Chang-Seo Park, Koushik Sen Randomized active atomicity violation detection in concurrent programs. Search on Bibsonomy SIGSOFT FSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF atomicity violation detection, concurrency, dynamic analysis, random testing
15Ashish Aggarwal, Pankaj Jalote Integrating Static and Dynamic Analysis for Detecting Vulnerabilities. Search on Bibsonomy COMPSAC (1) The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
15Anthony Cleve, Jean-Luc Hainaut Dynamic Analysis of SQL Statements for Data-Intensive Applications Reverse Engineering. Search on Bibsonomy WCRE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
15Neelam Gupta, Andy Podgurski Fourth international workshop on dynamic analysis (WODA 2006). Search on Bibsonomy ICSE The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
15James H. Andrews, Lori L. Pollock Third international workshop on dynamic analysis(WODA 2005). Search on Bibsonomy ICSE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
15David Evans 0001, Raimondas Lencevicius Second International Workshop on Dynamic Analysis (WODA 2004). Search on Bibsonomy ICSE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
15Yui Watanabe, Takashi Ishio, Katsuro Inoue Feature-level phase detection for execution trace using object cache. Search on Bibsonomy WODA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF dynamic analysis, sequence diagram, execution trace, Java program, phase detection
15Jingjin Shen, Chenggang Li, Hongtao Wu A Research on Dynamics of a Hexapod with Closed-Loop Legs. Search on Bibsonomy ICIRA (1) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF hexapod, AB algorithm, Newton-Euler MBDA, dynamic analysis, closed-loop
15Cormac Flanagan, Stephen N. Freund, Jaeheon Yi Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs. Search on Bibsonomy PLDI The full citation details ... 2008 DBLP  DOI  BibTeX  RDF dynamic analysis, atomicity, serializability
15Ondrej Lhoták Comparing call graphs. Search on Bibsonomy PASTE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF comparison tools, interpreting analysis results, static analysis, dynamic analysis, call graph
14Thomas Ball The Concept of Dynamic Analysis. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
14Michael Furr, Jong-hoon (David) An, Jeffrey S. Foster Profile-guided static typing for dynamic scripting languages. Search on Bibsonomy OOPSLA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF RIL, profile guided anlaysis, scripting languages, ruby
14Niklas 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
14Davide Lorenzoli, Leonardo Mariani, Mauro Pezzè Automatic generation of software behavioral models. Search on Bibsonomy ICSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF gk-tail, dynamic analysis, model synthesis
14Johannes Bohnet, Jürgen Döllner Visual exploration of function call graphs for feature location in complex software systems. Search on Bibsonomy SOFTVIS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF reverse engineering, program comprehension, dynamic analysis, software visualization, feature location, feature analysis
14Cormac Flanagan, Stephen N. Freund Atomizer: a dynamic atomicity checker for multithreaded programs. Search on Bibsonomy POPL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF dynamic analysis, reduction, atomicity
14Jeremy W. Nimmer, Michael D. Ernst Automatic generation of program specifications. Search on Bibsonomy ISSTA The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
13Leonardo Mariani, Fabrizio Pastore, Mauro Pezzè Dynamic Analysis for Diagnosing Integration Faults. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF false positive filters, regression failure analysis, field failure analysis, diagnosis, Dynamic Analysis, fault localization
13Young-Joo Kim, Sejun Song, Yong-Kee Jun ADAT: An Adaptable Dynamic Analysis Tool for Race Detection in OpenMP Programs. Search on Bibsonomy ISPA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF Intel Thread Checker, Adaptive Dynamic Analysis Tool, OpenMP, Race Detection
13Ulrich Bayer, Andreas Moser, Christopher Krügel, Engin Kirda Dynamic Analysis of Malicious Code. Search on Bibsonomy Journal in Computer Virology The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Virus worm, Static analysis, Analysis, Dynamic analysis, API, Malware
13Giuliano Antoniol, Massimiliano Di Penta, Michele Zazzara Understanding Web Applications through Dynamic Analysis. Search on Bibsonomy IWPC The full citation details ... 2004 DBLP  DOI  BibTeX  RDF UML, web applications, dynamic analysis
13Laura J. White, Norman Wilde Dynamic analysis for locating product features in Ada code. Search on Bibsonomy SIGAda The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Ada tracing architecture, Software Reconnaissance, locating features in code, performance trials, trace monitoring, Ada, dynamic analysis, instrumentation
13Christian Hammer 0001, Julian Dolby, Mandana Vaziri, Frank Tip Dynamic detection of atomic-set-serializability violations. Search on Bibsonomy ICSE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF dynamic analysis, atomicity, serializability, data races, concurrent object-oriented programming
13Christopher J. F. Pickett, Clark Verbrugge SableSpMT: a software framework for analysing speculative multithreading in Java. Search on Bibsonomy PASTE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF static and dynamic analysis, java, virtual machines, profiling, thread level speculation, speculative multithreading
13Paolina Centonze, Robert J. Flynn, Marco Pistoia Combining Static and Dynamic Analysis for Automatic Identification of Precise Access-Control Policies. Search on Bibsonomy ACSAC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
13Patrice Godefroid, Johannes Kinder Proving memory safety of floating-point computations by combining static and dynamic program analysis. Search on Bibsonomy ISSTA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF static and dynamic program analysis, program verification
13Zhengping Wu, Yuanyao Liu, Lifeng Wang Dynamic Policy Conflict Analysis in Operational Intensive Trust Services for Cross-Domain Federations. Search on Bibsonomy INTENSIVE The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
13Cormac Flanagan, Stephen N. Freund Adversarial memory for detecting destructive races. Search on Bibsonomy PLDI The full citation details ... 2010 DBLP  DOI  BibTeX  RDF concurrency, dynamic analysis, race conditions, relaxed memory models
13Asia Slowinska, Traian Stancescu, Herbert Bos DDE: dynamic data structure excavation. Search on Bibsonomy ApSys The full citation details ... 2010 DBLP  DOI  BibTeX  RDF detecting data structures, dynamic analysis, binary
13Jaeheon Yi, Caitlin Sadowski, Cormac Flanagan SideTrack: generalizing dynamic atomicity analysis. Search on Bibsonomy PADTAD The full citation details ... 2009 DBLP  DOI  BibTeX  RDF dynamic analysis, atomicity, serializability
13Bastian Steinert, Michael Perscheid, Martin Beck, Jens Lincke, Robert Hirschfeld Debugging into Examples. Search on Bibsonomy TestCom/FATES The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Program comprehension, dynamic analysis, test coverage
13Saheeb Ahmed Kayani, Muhammad Afzaal Malik Bond-graphs + genetic programming: analysis of an automatically synthesized rotary mechanical system. Search on Bibsonomy GECCO (Companion) The full citation details ... 2008 DBLP  DOI  BibTeX  RDF multi energy domain dynamic or mechatronic systems, physical design realization, rotary mechanical systems, topology synthesis, unified/automated design, genetic programming, dynamic analysis, object oriented modeling, bond-graphs
12Suan 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
12Andy Zaidman, Abdelwahab Hamou-Lhadj, Orla Greevy, David Röthlisberger Workshop on Program Comprehension Through Dynamic Analysis (PCODA'08). Search on Bibsonomy WCRE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
12Abdelwahab Hamou-Lhadj, Andy Zaidman, Orla Greevy Workshop on Program Comprehension through Dynamic Analysis (PCODA07). Search on Bibsonomy WCRE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
12Andy Zaidman, Serge Demeyer, Bram Adams, Kris De Schutter, Ghislain Hoffman, Bernard De Ruyck Regaining Lost Knowledge through Dynamic Analysis and Aspect Orientation. Search on Bibsonomy CSMR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Maher Salah, Spiros Mancoridis, Giuliano Antoniol, Massimiliano Di Penta Scenario-Driven Dynamic Analysis for Comprehending Large Software Systems. Search on Bibsonomy CSMR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
12Orla Greevy, Abdelwahab Hamou-Lhadj, Andy Zaidman Workshop on Program Comprehension through Dynamic Analysis (PCODA '05). Search on Bibsonomy WCRE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
12Paul M. Isaacs, Michael F. Cohen Controlling dynamic simulation with kinematic constraints. Search on Bibsonomy SIGGRAPH The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
12Jean-Phillipe Martin, Michael Hicks 0001, Manuel Costa, Periklis Akritidis, Miguel Castro Dynamically checking ownership policies in concurrent c/c++ programs. Search on Bibsonomy POPL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF security, testing, concurrency, debugging, tools, dynamic analysis
12Leonardo Mariani, Mauro Pezzè Dynamic Detection of COTS Component Incompatibility. Search on Bibsonomy IEEE Software The full citation details ... 2007 DBLP  DOI  BibTeX  RDF dynamic analysis, COTS components, run-time verification
12Harry M. Sneed Source Animation as a Means of Program Comprehension. Search on Bibsonomy IWPC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF Control Flow Slicing, UML, Animation, Object-Orientation, C++, Dynamic Analysis, Concept Lattices, Sequence Diagrams, State Transition
12S. G. Chang, D. Y. Suh, M. H. Kyung, S. H. Park, Jae-Il Jung A Strategy for Construction of a 40 Mbps Bundle of MPEG VBR Bit Streams. Search on Bibsonomy LCN The full citation details ... 1996 DBLP  DOI  BibTeX  RDF bandwidth limited channel, VBR MPEG video bit streams, bit rate fluctuation, multiplexed bit stream, single layer bit streams, double layer video bit streams, statistical multiplexing gain, power spectrum density, delay QoS, loss QoS, 40 Mbit/s, static analysis, asynchronous transfer mode, ATM, dynamic analysis, queueing analysis, B-ISDN
12John Callahan, Sudhaka Ramakrishnan Software project management and measurement on the World-Wide-Web (WWW). Search on Bibsonomy WETICE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF software project measurement, forms-based workflow management, geographical barriers, Web Integrated Software Environment, change activity, WISE, metrics collection, metrics analysis, implicit message delivery, project document content, World Wide Web, collaboration, database, project management, software process improvement, dynamic analysis, software project management, informal communication, software development team, to-do lists
12Michael C. Martin, V. Benjamin Livshits, Monica S. Lam Finding application errors and security flaws using PQL: a program query language. Search on Bibsonomy OOPSLA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF resource leaks, web applications, pattern matching, SQL injection, bug finding, program traces
12Adrian Lienhard, Stéphane Ducasse, Tudor Gîrba Object flow analysis: taking an object-centric view on dynamic analysis. Search on Bibsonomy ICDL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
11Ella Rabinovich, Opher Etzion, Sitvanit Ruah, Sarit Archushin Analyzing the behavior of event processing applications. Search on Bibsonomy DEBS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF model checking, formal verification, static analysis, dynamic analysis, event processing, event processing network
11Anton Babenko, Leonardo Mariani, Fabrizio Pastore AVA: automated interpretation of dynamically detected anomalies. Search on Bibsonomy ISSTA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF anomaly detection, dynamic analysis
11Artur Boronat, José Meseguer Algebraic Semantics of OCL-Constrained Metamodel Specifications. Search on Bibsonomy TOOLS (47) The full citation details ... 2009 DBLP  DOI  BibTeX  RDF OCL invariants, MOF metamodel, static and dynamic analysis of models, Membership equational logic
11David Lo 0001, Shahar Maoz, Siau-Cheng Khoo Mining modal scenario-based specifications from execution traces of reactive systems. Search on Bibsonomy ASE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF dynamic analysis, live sequence charts, specification mining, UML sequence diagrams
11Orla Greevy, Stéphane Ducasse Correlating Features and Code Using a Compact Two-Sided Trace Analysis Approach. Search on Bibsonomy CSMR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Feature-Traces, Software Metrics, Software Evolution, Dynamic Analysis, Feature
11Steven P. Reiss Cacti: a front end for program visualization. Search on Bibsonomy INFOVIS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Cacti, program visualization front end, visual universal-relation front end, multiple data sources, high-quality, resource files, static analysis, data model, queries, dynamic analysis, data visualisation, software understanding, data sources
11Norman Wilde, Christopher Casey Early Field Experience with the Software Recounaissance Technique for Program Comprehension. Search on Bibsonomy WCRE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Software Reconnaissance technique, dynamic analysis technique, program enhancement, unfamiliar system, RECON tool, traceability relation, technology transfer project, Software Engineering Research Center, industrial technique, reverse engineering, design patterns, software maintenance, program comprehension
11Norman Wilde, Christopher Casey Early field experience with the Software Reconnaissance technique for program comprehension. Search on Bibsonomy ICSM The full citation details ... 1996 DBLP  DOI  BibTeX  RDF Software Reconnaissance technique, dynamic analysis technique, code location, industrial maintainers, software feature location, RECON tool, industrial programs, traceability relation, program features, reverse engineering, design patterns, program comprehension, programmers, large systems, program code
11Avishay Traeger, Ivan Deras, Erez Zadok DARC: dynamic analysis of root causes of latency distributions. Search on Bibsonomy SIGMETRICS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF root cause, dynamic instrumentation
11Shengqian Yang, Dacong Yan, Guoqing (Harry) Xu, Atanas Rountev Dynamic analysis of inefficiently-used containers. Search on Bibsonomy WODA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
11Kenneth Oksanen Detecting algorithms using dynamic analysis. Search on Bibsonomy WODA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
11Philip J. Guo Sloppy Python: using dynamic analysis to automatically add error tolerance to ad-hoc data processing scripts. Search on Bibsonomy WODA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
11Newres Al Haider, Paddy Nixon, Benoit Gaudin An approach for modeling dynamic analysis using ontologies. Search on Bibsonomy WODA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
11Abhishek Rohatgi, Abdelwahab Hamou-Lhadj, Juergen Rilling An Approach for Mapping Features to Code Based on Static and Dynamic Analysis. Search on Bibsonomy ICPC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
11Lei Zhu, Xin Yang 0007, Liping Yao, Kun Sun Three Dimensional Reconstruction and Dynamic Analysis of Mitral Annular Based on Connected Equi-length Curve Angle Chain. Search on Bibsonomy ICMB The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
11Lori L. Pollock, James H. Andrews ICSE 2005 workshop summary third international workshop on dynamic analysis (WODA 2005). Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
11Jia Zhang, Yuntao Guan, Xiaoxin Jiang, Hai-Xin Duan, Jianping Wu AMCAS: An Automatic Malicious Code Analysis System. Search on Bibsonomy WAIM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
11Matthew B. Dwyer, Alex Kinneer, Sebastian G. Elbaum Adaptive Online Program Analysis. Search on Bibsonomy ICSE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
11Paolo Tonella, Filippo Ricca Dynamic Model Extraction and Statistical Analysis of Web Applications. Search on Bibsonomy WSE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
10Davide Balzarotti, Marco Cova, Viktoria Felmetsger, Nenad Jovanovic, Engin Kirda, Christopher Kruegel, Giovanni Vigna Saner: Composing Static and Dynamic Analysis to Validate Sanitization in Web Applications. Search on Bibsonomy IEEE Symposium on Security and Privacy The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
10Syrine Tlili, Zhenrong Yang, Hai Zhou Ling, Mourad Debbabi A Hybrid Approach for Safe Memory Management in C. Search on Bibsonomy AMAST The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1324 (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