Programming pearls
ACM Letters on Programming Languages and Systems (LOPLAS)
Rewriting executable files to measure program behavior
Software—Practice & Experience
Optimally profiling and tracing programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Reengineering of configurations based on mathematical concept analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Proceedings of the 29th annual ACM/IEEE international symposium on Microarchitecture
Visualizing interactions in program executions
ICSE '97 Proceedings of the 19th international conference on Software engineering
Exploiting hardware performance counters with flow and context sensitive profiling
Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation
The use of program profiling for software maintenance with applications to the year 2000 problem
ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
Visualizing the performance of higher-order programs
Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Discovering models of software processes from event-based data
ACM Transactions on Software Engineering and Methodology (TOSEM)
Event-based detection of concurrency
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Reengineering class hierarchies using concept analysis
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Dynamically discovering likely program invariants to support program evolution
Proceedings of the 21st international conference on Software engineering
Writing efficient programs
Identifying modules via concept analysis
ICSM '97 Proceedings of the International Conference on Software Maintenance
Proceedings of the Conference on The Future of Software Engineering
Understanding class hierarchies using concept analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automatic generation of program specifications
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Tracking down software bugs using automatic anomaly detection
Proceedings of the 24th International Conference on Software Engineering
Locating Features in Source Code
IEEE Transactions on Software Engineering
ICSE Workshop on Dynamic Analysis (WODA 2003)
Proceedings of the 25th International Conference on Software Engineering
Efficient mapping of software system traces to architectural views
CASCON '00 Proceedings of the 2000 conference of the Centre for Advanced Studies on Collaborative research
Form: A Framework for Creating Views of Program Executions
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Measuring Behavioral Correspondence to a Timed Concurrent Model
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Summary: ICSE workshop on dynamic analysis (WODA 2003)
ACM SIGSOFT Software Engineering Notes
Addendum to "Locating Features in Source Code'
IEEE Transactions on Software Engineering
Proceedings of the 5th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
A Scalable Approach to User-Session based Testing of Web Applications through Concept Analysis
Proceedings of the 19th IEEE international conference on Automated software engineering
Proceedings of the 19th IEEE international conference on Automated software engineering
A survey of trace exploration tools and techniques
CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
Program comprehension with dynamic recovery of code collaboration patterns and roles
CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
Analyzing clusters of web application user sessions
WODA '05 Proceedings of the third international workshop on Dynamic analysis
A tracer driver for hybrid execution analyses
Proceedings of the sixth international symposium on Automated analysis-driven debugging
Experimental program analysis: a new program analysis paradigm
Proceedings of the 2006 international symposium on Software testing and analysis
Detecting increases in feature coupling using regression tests
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
Analyzing software evolution through feature views: Research Articles
Journal of Software Maintenance and Evolution: Research and Practice
Applying Concept Analysis to User-Session-Based Testing of Web Applications
IEEE Transactions on Software Engineering
Using trace sampling techniques to identify dynamic clusters of classes
CASCON '07 Proceedings of the 2007 conference of the center for advanced studies on Collaborative research
Unanticipated partial behavioral reflection: Adapting applications at runtime
Computer Languages, Systems and Structures
Object flow analysis: taking an object-centric view on dynamic analysis
ICDL '07 Proceedings of the 2007 international conference on Dynamic languages: in conjunction with the 15th International Smalltalk Joint Conference 2007
Mining temporal rules for software maintenance
Journal of Software Maintenance and Evolution: Research and Practice - Special Issue on Program Comprehension through Dynamic Analysis (PCODA)
Taking an object-centric view on dynamic information with object flow analysis
Computer Languages, Systems and Structures
AOP for the domain of runtime monitoring: breaking out of the code-based model
Proceedings of the 4th workshop on Domain-specific aspect languages
Theory and Practice of Logic Programming
EvoSpaces - Multi-dimensional Navigation Spaces for Software Evolution
Human Machine Interaction
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Information and Software Technology
Exploiting stability to reduce time-space cost for memory tracing
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartIII
Extending model checking with dynamic analysis
VMCAI'08 Proceedings of the 9th international conference on Verification, model checking, and abstract interpretation
An approach for modeling dynamic analysis using ontologies
Proceedings of the Eighth International Workshop on Dynamic Analysis
A software behaviour analysis framework based on the human perception systems (NIER track)
Proceedings of the 33rd International Conference on Software Engineering
Explicit use-case representation in object-oriented programming languages
Proceedings of the 7th symposium on Dynamic languages
A survey of formal concept analysis support for software engineering activities
Formal Concept Analysis
Concept lattices in software analysis
Formal Concept Analysis
Using concept lattices to uncover causal dependencies in software
ICFCA'06 Proceedings of the 4th international conference on Formal Concept Analysis
Execution trace exploration and analysis using ontologies
RV'11 Proceedings of the Second international conference on Runtime verification
Understanding Ajax applications by connecting client and server-side execution traces
Empirical Software Engineering
Dynamic decision tree for legacy use-case recovery
Proceedings of the 28th Annual ACM Symposium on Applied Computing
An ontology toolkit for problem domain concept location in program comprehension
Proceedings of the 2013 International Conference on Software Engineering
Adapting system execution traces to support analysis of software system performance properties
Journal of Systems and Software
Science of Computer Programming
| Hi-index | 0.00 |
Dynamic analysis is the analysis of the properties of a running program. In this paper, we explore two new dynamic analyses based on program profiling:Frequency Spectrum Analysis. We show how analyzing the frequencies of program entities in a single execution can help programmers to decompose a program, identify related computations, and find computations related to specific input and output characteristics of a program.Coverage Concept Analysis. Concept analysis of test coverage data computes dynamic analogs to static control flow relationships such as domination, postdomination, and regions. Comparison of these dynamically computed relationships to their static counterparts can point to areas of code requiring more testing and can aid programmers in understanding how a program and its test sets relate to one another.