Search results for "WODA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller	Efficient runtime invariant checking: a framework and case study.	WODA	2008	DBLP DOI BibTeX RDF	program transformation, incrementalization, runtime verification, alias analysis
1	Minh Duc Nguyen, Hélène Waeselynck, Nicolas Riviere	Testing mobile computing applications: toward a scenario language and tools.	WODA	2008	DBLP DOI BibTeX RDF	scenario language, testing, graph matching, mobile computing systems
1	Alex Groce, Rajeev Joshi	Random testing and model checking: building a common framework for nondeterministic exploration.	WODA	2008	DBLP DOI BibTeX RDF	model checking, dynamic analysis, random testing, test frameworks
1	Steven P. Reiss	Dynamic detection of event handlers.	WODA	2008	DBLP DOI BibTeX RDF	event handler, monitoring, trace analysis, dynamic instrumentation
1	Ben Liblit, Atanas Rountev (eds.)	Proceedings of the 2008 International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), WODA 2008, Seattle, Washington, USA, July 21, 2008	WODA	2008	DBLP BibTeX RDF
1	Martin Burger, Andreas Zeller	Replaying and isolating failing multi-object interactions.	WODA	2008	DBLP DOI BibTeX RDF	automated debugging, capture/replay
1	Rui Abreu, Peter Zoeteweij, Arjan J. C. van Gemund	An observation-based model for fault localization.	WODA	2008	DBLP DOI BibTeX RDF	software fault diagnosis, test data analysis, model-based diagnosis, program spectra
1	Alessandro Orso, Tao Xie	BERT: BEhavioral Regression Testing.	WODA	2008	DBLP DOI BibTeX RDF	software evolution, dynamic analysis, regression testing
1	David Lo, Siau-Cheng Khoo, Chao Liu 0001	Mining past-time temporal rules from execution traces.	WODA	2008	DBLP DOI BibTeX RDF	past-time temporal rules, data mining, dynamic analysis, specification mining
1	Nadya Kuzmina, John Paul, Ruben Gamboa, James Caldwell	Extending dynamic constraint detection with disjunctive constraints.	WODA	2008	DBLP DOI BibTeX RDF	disjunctive constraint, dynamic constraint inference, behavioral specification
1	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
1	Kyungwoo Lee, Zino Benaissa, Juan Rodriguez	A dynamic tool for finding redundant computations in native code.	WODA	2008	DBLP DOI BibTeX RDF	compiler generated code, dynamic instrumentation, performance tools, dynamic data-flow analysis

Publications at "WODA"( http://dblp.L3S.de/Venues/WODA )