Search results for "WODA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Shengqian Yang, Dacong Yan, Guoqing Xu 0001, Atanas Rountev	Dynamic analysis of inefficiently-used containers.	WODA	2012	DBLP DOI BibTeX RDF
1	Kevin Buell, James S. Collofello	Dynamic cost verification for cloud applications.	WODA	2012	DBLP DOI BibTeX RDF
1	Alex Groce, Martin Erwig	Finding common ground: choose, assert, and assume.	WODA	2012	DBLP DOI BibTeX RDF
1	Imran Ashraf, Sayyed Arash Ostadzadeh, Roel Meeuws, Koen Bertels	Communication-aware HW/SW co-design for heterogeneous multicore platforms.	WODA	2012	DBLP DOI BibTeX RDF
1	Ishtiaque Hussain, Christoph Csallner, Mark Grechanik, Chen Fu, Qing Xie 0003, Sangmin Park, Kunal Taneja, B. M. Mainul Hossain	Evaluating program analysis and testing tools with the RUGRAT random benchmark application generator.	WODA	2012	DBLP DOI BibTeX RDF
1	Danny Weyns	Towards an integrated approach for validating qualities of self-adaptive systems.	WODA	2012	DBLP DOI BibTeX RDF
1	Mohammad Amin Alipour, Alex Groce	Extended program invariants: applications in testing and fault localization.	WODA	2012	DBLP DOI BibTeX RDF
1	Eric Bodden	Continuation equivalence: a correctness criterion for static optimizations of dynamic analyses.	WODA	2011	DBLP DOI BibTeX RDF
1	Robin Salkeld, Wenhao Xu, Brendan Cully, Geoffrey Lefebvre, Andrew Warfield, Gregor Kiczales	Retroactive aspects: programming in the past.	WODA	2011	DBLP DOI BibTeX RDF
1	Tobias Gutzmann, Welf Löwe	Custom-made instrumentation based on static analysis.	WODA	2011	DBLP DOI BibTeX RDF
1	Jake Cobb, James A. Jones, Gregory M. Kapfhammer, Mary Jean Harrold	Dynamic invariant detection for relational databases.	WODA	2011	DBLP DOI BibTeX RDF
1	Kenneth Oksanen	Detecting algorithms using dynamic analysis.	WODA	2011	DBLP DOI BibTeX RDF
1	Philip J. Guo	Sloppy Python: using dynamic analysis to automatically add error tolerance to ad-hoc data processing scripts.	WODA	2011	DBLP DOI BibTeX RDF
1	Dominik Hura, Michal Dimmich	A method facilitating integration testing of embedded software.	WODA	2011	DBLP DOI BibTeX RDF
1	Ishtiaque Hussain, Christoph Csallner	DSDSR: a tool that uses dynamic symbolic execution for data structure repair.	WODA	2010	DBLP DOI BibTeX RDF
1	Neil Walkinshaw, Sheeva Afshan, Phil McMinn	Using compression algorithms to support the comprehension of program traces.	WODA	2010	DBLP DOI BibTeX RDF
1	Mainul Islam, Christoph Csallner	Dsc+Mock: a test case + mock class generator in support of coding against interfaces.	WODA	2010	DBLP DOI BibTeX RDF
1	Newres Al Haider, Paddy Nixon, Benoit Gaudin	An approach for modeling dynamic analysis using ontologies.	WODA	2010	DBLP DOI BibTeX RDF
1	Antinisca Di Marco, Antonia Bertolino, Felicita Di Giandomenico, Paolo Masci 0001, Antonino Sabetta	Metrics for QoS analysis in dynamic, evolving and heterogeneous connected systems.	WODA	2010	DBLP DOI BibTeX RDF
1	Herbert Prähofer, Roland Schatz, Christian Wirth 0002	Detection of high-level execution patterns in reactive behavior of control programs.	WODA	2010	DBLP DOI BibTeX RDF
1	Jonathan Chee Heng Mak, Alan Mycroft	Limits of parallelism using dynamic dependency graphs.	WODA	2009	DBLP DOI BibTeX RDF
1	Alex Groce	(Quickly) testing the tester via path coverage.	WODA	2009	DBLP DOI BibTeX RDF
1	Caitlin Sadowski, Jaeheon Yi	Tiddle: A Trace Description Language for generating concurrent benchmarks to test dynamic analyses.	WODA	2009	DBLP DOI BibTeX RDF
1	Wes Masri, Marwa El-Ghali	Test case filtering and prioritization based on coverage of combinations of program elements.	WODA	2009	DBLP DOI BibTeX RDF
1	Amjad Nusayr, Jonathan E. Cook	Using AOP for detailed runtime monitoring instrumentation.	WODA	2009	DBLP DOI BibTeX RDF
1	Aditya V. Thakur, Rathijit Sen, Ben Liblit, Shan Lu 0001	Cooperative crug isolation.	WODA	2009	DBLP DOI BibTeX RDF
1	Michael Schöbel, Andreas Polze	A runtime environment for online processing of operating system kernel events.	WODA	2009	DBLP DOI BibTeX RDF
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
1	David Lo 0001, 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	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	Nadya Kuzmina, John Paul, Ruben Gamboa, James L. Caldwell	Extending dynamic constraint detection with disjunctive constraints.	WODA	2008	DBLP DOI BibTeX RDF	disjunctive constraint, dynamic constraint inference, behavioral specification
1	Rui Abreu 0001, 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	Martin Burger 0002, Andreas Zeller	Replaying and isolating failing multi-object interactions.	WODA	2008	DBLP DOI BibTeX RDF	automated debugging, capture/replay
1	Alessandro Orso, Tao Xie 0001	BERT: BEhavioral Regression Testing.	WODA	2008	DBLP DOI BibTeX RDF	software evolution, dynamic analysis, regression testing
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	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	Minh Duc Nguyen, Hélène Waeselynck, Nicolas Rivière	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	Steven P. Reiss	Dynamic detection of event handlers.	WODA	2008	DBLP DOI BibTeX RDF	event handler, monitoring, trace analysis, dynamic instrumentation

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