Search results for "execution trace"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Yui Watanabe, Takashi Ishio, Katsuro Inoue	Feature-level phase detection for execution trace using object cache.	WODA	2008	DBLP DOI BibTeX RDF	dynamic analysis, sequence diagram, execution trace, Java program, phase detection
2	Philippe Dugerdil, Sazzadul Alam	Execution Trace Visualization in a 3D Space.	ITNG	2008	DBLP DOI BibTeX RDF	trace segmentation, reverse engineering, dynamic analysis, Software visualization
2	Dapeng Liu, Andrian Marcus, Denys Poshyvanyk, Vaclav Rajlich	Feature location via information retrieval based filtering of a single scenario execution trace.	ASE	2007	DBLP DOI BibTeX RDF	dynamic and static analyses, information retrieval, program understanding, concept location, feature identification
2	Giovanni Malnati, Caterina Maria Cuva, Claudia Barberis	JThreadSpy: teaching multithreading programming by analyzing execution traces.	PADTAD	2007	DBLP DOI BibTeX RDF	execution trace analysis, runtime code instrumentation, education, object-oriented, concurrent programming, software visualization
2	Avik Paul, Rajeev Kumar	Precise dynamic slicing using execution-summary.	SAC	2007	DBLP DOI BibTeX RDF	program slicing, execution trace, dynamic slicing
2	Árpád Beszédes, Tamás Gergely, Tibor Gyimóthy	Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms.	SCAM	2006	DBLP DOI BibTeX RDF	dynamic slicing algorithms, Program slicing, execution trace, program dependences
2	Koji Taniguchi, Takashi Ishio, Toshihiro Kamiya, Shinji Kusumoto, Katsuro Inoue	Extracting Sequence Diagram from Execution Trace of Java Program.	IWPSE	2005	DBLP DOI BibTeX RDF
2	Minoru Terada	ETV: a program trace player for students.	ITiCSE	2005	DBLP DOI BibTeX RDF	program visualization, execution trace
2	Abdul Waheed, Vincent F. Melfi, Diane T. Rover	A model for instrumentation system management in concurrent computer systems.	HICSS	1995	DBLP DOI BibTeX RDF	parallel application software development, performance related parameter space, run-time tools, performance tuning aids, performance specification, speed characteristics, Portrayal Specification Language, performance evaluation, parallel programming, reverse engineering, monitoring, software tools, specification languages, performance prediction, data flow analysis, software performance evaluation, dataflow, parallel applications, control flow, program diagnostics, execution trace, program execution
2	John-David Wellman, Edward S. Davidson	The resource conflict methodology for early-stage design space exploration of superscalar RISC processors. (PDF / PS)	ICCD	1995	DBLP DOI BibTeX RDF	resource conflict methodology, early-stage design space exploration, superscalar RISC processors, execution trace driven simulation, hardware element model, analysis program, performance evaluation, virtual machines, computer architecture, reduced instruction set computing, design cycle
2	David P. Helmbold, Charles E. McDowell, Jian-Zhong Wang	Determining Possible Event Orders by Analyzing Sequential Traces.	IEEE Trans. Parallel Distrib. Syst.	1993	DBLP DOI BibTeX RDF	sequential traces, intermittentdeadlock, inferred program, data racedetector, constraint checker, parallel program, parallel programming, synchronization, debugging, program testing, program debugging, data races, execution trace, automated tools, event orders
1	Kunihiro Noda, Takashi Kobayashi, Shinichiro Yamamoto, Motoshi Saeki, Kiyoshi Agusa	Reticella: An Execution Trace Slicing and Visualization Tool Based on a Behavior Model.	IEICE Transactions	2012	DBLP BibTeX RDF
1	Saptarsi Goswami, Samiran Ghosh, Amlan Chakrabarti	Outlier detection from ETL Execution trace	CoRR	2012	DBLP BibTeX RDF
1	Newres Al Haider, Benoit Gaudin, John Murphy	Execution Trace Exploration and Analysis Using Ontologies.	RV	2011	DBLP DOI BibTeX RDF
1	Carlton Downey, Mengjie Zhang	Execution trace caching for Linear Genetic Programming.	IEEE Congress on Evolutionary Computation	2011	DBLP DOI BibTeX RDF
1	Amit Vasudevan, Ning Qu, Adrian Perrig	XTRec: Secure Real-Time Execution Trace Recording on Commodity Platforms.	HICSS	2011	DBLP DOI BibTeX RDF
1	Luciana Lourdes Silva, Klerisson Ribeiro Paixao, Sandra de Amo, Marcelo de Almeida Maia	On the Use of Execution Trace Alignment for Driving Perfective Changes.	CSMR	2011	DBLP DOI BibTeX RDF
1	Domenico Amalfitano, Anna Rita Fasolino, Porfirio Tramontana	Rich Internet Application Testing Using Execution Trace Data.	ICST Workshops	2010	DBLP DOI BibTeX RDF
1	Vladimir Uzelac, Aleksandar Milenkovic, Martin Burtscher, Milena Milenkovic	Real-time unobtrusive program execution trace compression using branch predictor events.	CASES	2010	DBLP DOI BibTeX RDF
1	Wenchao Li, Alessandro Forin, Sanjit A. Seshia	Scalable specification mining for verification and diagnosis.	DAC	2010	DBLP DOI BibTeX RDF	error localization, verification, formal specification, debugging, diagnosis, assertions, post-silicon validation
1	Juan P. Galeotti, Nicolás Rosner, Carlos López Pombo, Marcelo F. Frias	Analysis of invariants for efficient bounded verification.	ISSTA	2010	DBLP DOI BibTeX RDF	dynalloy, kodkod, sat-based code analysis, static analysis, alloy
1	Stefan Voigt, Johannes Bohnet, Jürgen Döllner	Object aware execution trace exploration.	ICSM	2009	DBLP DOI BibTeX RDF
1	Jon Oldevik, Øystein Haugen	From sequence diagrams to Java-stairs aspects.	AOSD	2009	DBLP DOI BibTeX RDF	sequence diagram aspects, trace-based aspects, refinement
1	Geoffrey Lefebvre, Brendan Cully, Michael J. Feeley, Norman C. Hutchinson, Andrew Warfield	Tralfamadore: unifying source code and execution experience.	EuroSys	2009	DBLP DOI BibTeX RDF	debugging, dynamic analysis, program understanding, trace analysis, querying execution
1	Haikun Liu, Hai Jin, Xiaofei Liao, Liting Hu, Chen Yu	Live migration of virtual machine based on full system trace and replay.	HPDC	2009	DBLP DOI BibTeX RDF	virtual machine, checkpoint, trace, replay, live migration
1	Philippe Dugerdil, Sebastien Jossi	Computing dynamic clusters.	ISEC	2009	DBLP DOI BibTeX RDF	software architecture, reverse-engineering, dynamic analysis, software clustering
1	Yanic Inghelbrecht	Object-oriented design with trace modeler and Trace4J.	ITiCSE	2009	DBLP DOI BibTeX RDF	UML, unified modeling language, software development, tools, documentation, object-oriented design, trace, program visualization, sequence diagram, case tool, responsibility-driven design
1	Chao Wang, Swarat Chaudhuri, Aarti Gupta, Yu Yang	Symbolic pruning of concurrent program executions.	ESEC/SIGSOFT FSE	2009	DBLP DOI BibTeX RDF	concurrency, sat, pruning, partial order reduction
1	Bas Cornelissen, Andy Zaidman, Arie van Deursen, Bart Van Rompaey	Trace visualization for program comprehension: A controlled experiment.	ICPC	2009	DBLP DOI BibTeX RDF
1	Munakata Satoshi, Takashi Ishio, Katsuro Inoue	OGAN: Visualizing object interaction scenarios based on dynamic interaction context.	ICPC	2009	DBLP DOI BibTeX RDF
1	Edmund M. Clarke	My 27-year Quest to Overcome the State Explosion Problem.	LICS	2009	DBLP DOI BibTeX RDF
1	Jun Sun 0001, Yang Liu 0003, Abhik Roychoudhury, Shanshan Liu, Jin Song Dong	Fair Model Checking with Process Counter Abstraction.	FM	2009	DBLP DOI BibTeX RDF
1	Chao Wang, Sudipta Kundu, Malay K. Ganai, Aarti Gupta	Symbolic Predictive Analysis for Concurrent Programs.	FM	2009	DBLP DOI BibTeX RDF
1	Franz J. Rammig, Yuhong Zhao, Sufyan Samara	On-Line Model Checking as Operating System Service.	SEUS	2009	DBLP DOI BibTeX RDF	On-line model checking, Verification service, Real-time operating system
1	Neha Rungta, Eric G. Mercer, Willem Visser	Efficient Testing of Concurrent Programs with Abstraction-Guided Symbolic Execution.	SPIN	2009	DBLP DOI BibTeX RDF
1	Ralf Wimmer, Bettina Braitling, Bernd Becker	Counterexample Generation for Discrete-Time Markov Chains Using Bounded Model Checking.	VMCAI	2009	DBLP DOI BibTeX RDF
1	Bas Cornelissen, Andy Zaidman, Danny Holten, Leon Moonen, Arie van Deursen, Jarke J. van Wijk	Execution trace analysis through massive sequence and circular bundle views.	Journal of Systems and Software	2008	DBLP DOI BibTeX RDF
1	Philippe Dugerdil, Sebastien Jossi	Empirical Assessment of Execution Trace Segmentation in Reverse-Engineering.	ICSOFT (SE/MUSE/GSDCA)	2008	DBLP BibTeX RDF
1	Susanta Nanda, Tzi-cker Chiueh	Execution Trace-Driven Automated Attack Signature Generation.	ACSAC	2008	DBLP DOI BibTeX RDF
1	Alain Ketterlin, Philippe Clauss	Prediction and trace compression of data access addresses through nested loop recognition.	CGO	2008	DBLP DOI BibTeX RDF	nested loop recognition, value prediction, data access, trace analysis, trace compression
1	Feng Chen, Traian-Florin Serbanuta, Grigore Rosu	jPredictor: a predictive runtime analysis tool for java.	ICSE	2008	DBLP DOI BibTeX RDF	predictive runtime analysis, sliced causality, runtime verification
1	Takashi Ishio, Yui Watanabe, Katsuro Inoue	AMIDA: a sequence diagram extraction toolkit supporting automatic phase detection.	ICSE Companion	2008	DBLP DOI BibTeX RDF	java, dynamic analysis, software visualization, phase detection
1	Gerardo Padilla, Tong Gao, I-Ling Yen, Farokh B. Bastani, Carlos Montes de Oca	An Early Reliability Assessment Model for Data-Flow Software Architectures.	ENC	2008	DBLP DOI BibTeX RDF
1	Kshitiz Malik, Mayank Agarwal, Sam S. Stone, Kevin M. Woley, Matthew I. Frank	Branch-mispredict level parallelism (BLP) for control independence.	HPCA	2008	DBLP DOI BibTeX RDF
1	Hai Jin, Xiaofei Liao, Song Wu, Zhiyuan Shao, Yingwei Luo	ChinaV: Building Virtualized Computing System.	HPCC	2008	DBLP DOI BibTeX RDF
1	Abdelwahab Hamou-Lhadj	Measuring the Complexity of Traces Using Shannon Entropy.	ITNG	2008	DBLP DOI BibTeX RDF	trace complexity, software maintenance, program comprehension, Dynamic analysis, Shannon entropy
1	Abhishek Rohatgi, Abdelwahab Hamou-Lhadj, Juergen Rilling	An Approach for Mapping Features to Code Based on Static and Dynamic Analysis.	ICPC	2008	DBLP DOI BibTeX RDF
1	Paolo Frasconi, Andrea Passerini	Learning with Kernels and Logical Representations.	Probabilistic Inductive Logic Programming	2008	DBLP DOI BibTeX RDF
1	Edmund M. Clarke	Model Checking - My 27-Year Quest to Overcome the State Explosion Problem.	LPAR	2008	DBLP DOI BibTeX RDF
1	Klaus Havelund	Runtime Verification of C Programs.	TestCom/FATES	2008	DBLP DOI BibTeX RDF
1	Radhia Cousot	Abstract Interpretation of Non-monotone Bi-inductive Semantic Definitions.	VMCAI	2008	DBLP DOI BibTeX RDF
1	Wes Masri	Exploiting the empirical characteristics of program dependences for improved forward computation of dynamic slices.	Empirical Software Engineering	2008	DBLP DOI BibTeX RDF	Forward computation, Program analysis, Program debugging, Memoization, Dynamic slicing, Program dependence
1	Philippe Dugerdil	Using trace sampling techniques to identify dynamic clusters of classes.	CASCON	2007	DBLP DOI BibTeX RDF
1	Yunsi Fei, Zhijie Jerry Shi	Microarchitectural support for program code integrity monitoring in application-specific instruction set processors.	DATE	2007	DBLP DOI BibTeX RDF
1	Tao Wang, Abhik Roychoudhury	Hierarchical dynamic slicing.	ISSTA	2007	DBLP DOI BibTeX RDF	debugging, dynamic slicing, phase detection
1	David Lo, Shahar Maoz, Siau-Cheng Khoo	Mining modal scenario-based specifications from execution traces of reactive systems.	ASE	2007	DBLP DOI BibTeX RDF	dynamic analysis, live sequence charts, specification mining, UML sequence diagrams
1	Pavel Avgustinov, Julian Tibble, Oege de Moor	Making trace monitors feasible.	OOPSLA	2007	DBLP DOI BibTeX RDF	program analysis, runtime verification, program monitors
1	Guillaume Pothier, Éric Tanter, José M. Piquer	Scalable omniscient debugging.	OOPSLA	2007	DBLP DOI BibTeX RDF	interface components, omniscient debugging, partial traces, specialized distributed database, scalability, execution traces
1	Xiyang Liu, Miao Zhang, Zhiwen Bai, Lei Wang, Wen Du, Yan Wang	Function Call Flow based Fitness Function Design in Evolutionary Testing.	APSEC	2007	DBLP DOI BibTeX RDF
1	Alexey Smirnov, Tzi-cker Chiueh	Automatic Patch Generation for Buffer Overflow Attacks.	IAS	2007	DBLP DOI BibTeX RDF
1	Alper Sen, Vijay K. Garg	Formal Verification of Simulation Traces Using Computation Slicing.	IEEE Trans. Computers	2007	DBLP DOI BibTeX RDF	Simulation, formal verification, temporal logic, partial order, runtime verification, lattice theory
1	Yijun Liu, Pinghua Chen, Guobo Xie, Guangcong Liu, Zhenkun Li	Evaluating a Low-Power Dual-Core Architecture.	APPT	2007	DBLP DOI BibTeX RDF
1	Gerardo Padilla, Carlos Montes de Oca, Cuauhtémoc Lemus Olalde	An Execution-Level Component Composition Model Based on Component Testing Information.	CBSE	2007	DBLP DOI BibTeX RDF
1	Andreas Ulrich, Alexandre Petrenko	Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study.	ECMDA-FA	2007	DBLP DOI BibTeX RDF	reverse engineering, Model-driven development, experience report, trace analysis, system validation, telecommunication industry, model verification
1	Vinit A. Ogale, Vijay K. Garg	Detecting Temporal Logic Predicates on Distributed Computations.	DISC	2007	DBLP DOI BibTeX RDF
1	Craig Anslow, Stuart Marshall, James Noble, Robert Biddle	VET3D: a tool for execution trace web 3D visualization.	OOPSLA Companion	2006	DBLP DOI BibTeX RDF	software visualization, XSLT, X3D, execution traces
1	Hossein Safyallah, Kamran Sartipi	Dynamic Analysis of Software Systems using Execution Pattern Mining.	ICPC	2006	DBLP DOI BibTeX RDF	Feature Extraction, Scenario, Dynamic Analysis, Execution Trace, Sequential Pattern Mining
1	Mike McGavin, Tim Wright, Stuart Marshall	Visualisations of execution traces (VET): an interactive plugin-based visualisation tool.	AUIC	2006	DBLP DOI BibTeX RDF	execution traces, software visualisation
1	Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu	Decentralized runtime analysis of multithreaded applications.	IPDPS	2006	DBLP DOI BibTeX RDF
1	Abdelwahab Hamou-Lhadj, Timothy Lethbridge	Summarizing the Content of Large Traces to Facilitate the Understanding of the Behaviour of a Software System.	ICPC	2006	DBLP DOI BibTeX RDF	Reverse engineering, Program comprehension, Dynamic analysis, Design recovery
1	Sokhom Pheng, Clark Verbrugge	Dynamic Data Structure Analysis for Java Programs.	ICPC	2006	DBLP DOI BibTeX RDF
1	Divya Arora, Srivaths Ravi, Anand Raghunathan, Niraj K. Jha	Hardware-Assisted Run-Time Monitoring for Secure Program Execution on Embedded Processors.	IEEE Trans. VLSI Syst.	2006	DBLP DOI BibTeX RDF
1	Changpeng Fang, Steve Carr, Soner Önder, Zhenlin Wang	Path-Based Reuse Distance Analysis.	CC	2006	DBLP DOI BibTeX RDF
1	Liang Guo, Abhik Roychoudhury, Tao Wang	Accurately Choosing Execution Runs for Software Fault Localization.	CC	2006	DBLP DOI BibTeX RDF	Debugging, Programming tools
1	John L. Pfaltz	Using Concept Lattices to Uncover Causal Dependencies in Software.	ICFCA	2006	DBLP DOI BibTeX RDF
1	Vahid Garousi, Lionel C. Briand, Yvan Labiche	Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models.	MoDELS	2006	DBLP DOI BibTeX RDF
1	Hesham Hallal, Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich	A formal approach to property testing in causally consistent distributed traces.	Formal Asp. Comput.	2006	DBLP DOI BibTeX RDF	Distributed systems, Monitoring, SDL, Trace analysis, System validation, Passive testing
1	Koushik Sen, Grigore Rosu, Gul Agha	Online efficient predictive safety analysis of multithreaded programs.	STTT	2006	DBLP DOI BibTeX RDF	JMPaX, Multithreaded analysis, Runtime monitoring, Vector clock, Predictive analysis
1	Michael Fischer, Johann Oberleitner, Harald Gall, Thomas Gschwind	System Evolution Tracking through Execution Trace Analysis.	IWPC	2005	DBLP DOI BibTeX RDF
1	Bernhard Peischl, Franz Wotawa	Error traces in model-based debugging of hardware description languages.	AADEBUG	2005	DBLP DOI BibTeX RDF	conditional dependency, error trace, potential influence, fault localization, automated debugging, software debugging, source-level debugging
1	Xiangyu Zhang, Rajiv Gupta	Whole execution traces and their applications.	TACO	2005	DBLP DOI BibTeX RDF	compression, dependences, Profiling, values, control flow, addresses
1	Divya Arora, Srivaths Ravi, Anand Raghunathan, Niraj K. Jha	Secure Embedded Processing through Hardware-Assisted Run-Time Monitoring.	DATE	2005	DBLP DOI BibTeX RDF
1	Yu Lei, W. Eric Wong	A Novel Framework for Non-Deterministic Testing of Message-Passing Programs.	HASE	2005	DBLP DOI BibTeX RDF
1	Andrew David Eisenberg, Kris De Volder	Dynamic Feature Traces: Finding Features in Unfamiliar Code.	ICSM	2005	DBLP DOI BibTeX RDF
1	Abdelwahab Hamou-Lhadj, Timothy C. Lethbridge, Lianjiang Fu	SEAT: A Usable Trace Analysis Tool.	IWPC	2005	DBLP DOI BibTeX RDF
1	Jacques Wainer, Kwanghoon Kim, Clarence A. Ellis	A Workflow Mining Method Through Model Rewriting.	CRIWG	2005	DBLP DOI BibTeX RDF
1	Klaus Ostermann, Mira Mezini, Christoph Bockisch	Expressive Pointcuts for Increased Modularity.	ECOOP	2005	DBLP DOI BibTeX RDF
1	Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	Checking Memory Safety with Blast.	FASE	2005	DBLP DOI BibTeX RDF
1	Koushik Sen, Grigore Rosu, Gul Agha	Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions.	FMOODS	2005	DBLP DOI BibTeX RDF
1	Saddek Bensalem, Klaus Havelund	Dynamic Deadlock Analysis of Multi-threaded Programs.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
1	Behrouz Tork Ladani, Baptiste Alcalde, Ana R. Cavalli	Passive Testing - A Constrained Invariant Checking Approach.	TestCom	2005	DBLP DOI BibTeX RDF	invariant checking, SCP, invariants, constraint solving, passive testing
1	Moonzoo Kim, Mahesh Viswanathan, Sampath Kannan, Insup Lee, Oleg Sokolsky	Java-MaC: A Run-Time Assurance Approach for Java Programs.	Formal Methods in System Design	2004	DBLP DOI BibTeX RDF	run-time monitoring and checking, execution trace validation, Java bytecode engineering, Java, formal specification, software reliability, program instrumentation
1	Erik Putrycz	Using trace analysis for improving performance in COTS systems.	CASCON	2004	DBLP DOI BibTeX RDF
1	Stéphane Ducasse, Michele Lanza, Roland Bertuli	High-Level Polymetric Views of Condensed Run-time Information.	CSMR	2004	DBLP DOI BibTeX RDF	run-time information, reverse engineering, object-oriented programming, program understanding, software visualization
1	Tao Wang, Abhik Roychoudhury	Using Compressed Bytecode Traces for Slicing Java Programs.	ICSE	2004	DBLP DOI BibTeX RDF
1	Xiangyu Zhang, Rajiv Gupta	Whole Execution Traces.	MICRO	2004	DBLP DOI BibTeX RDF
1	Cyrille Artho, Klaus Havelund, Armin Biere	Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors.	ATVA	2004	DBLP DOI BibTeX RDF
1	Koushik Sen, Grigore Rosu, Gul Agha	Online Efficient Predictive Safety Analysis of Multithreaded Programs.	TACAS	2004	DBLP DOI BibTeX RDF
1	Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen	Rule-Based Runtime Verification.	VMCAI	2004	DBLP DOI BibTeX RDF
1	Bernd Finkbeiner, Henny Sipma	Checking Finite Traces Using Alternating Automata.	Formal Methods in System Design	2004	DBLP DOI BibTeX RDF	alternating automata, trace checking, temporal logic, runtime verification, online monitoring