The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

URL (DBLP): http://dblp.uni-trier.de/db/conf/issta

Publication years (Num. hits)
2008 (11) 2009 (7) 2010 (6) 2011 (7) 2012 (7)
Publication types (Num. hits)
inproceedings(38)
Venues (Conferences, Journals, ...)
WODA(38)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 33 occurrences of 29 keywords

Results
Found 38 publication records. Showing 38 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Shengqian Yang, Dacong Yan, Guoqing Xu 0001, Atanas Rountev Dynamic analysis of inefficiently-used containers. Search on Bibsonomy WODA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Kevin Buell, James S. Collofello Dynamic cost verification for cloud applications. Search on Bibsonomy WODA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Alex Groce, Martin Erwig Finding common ground: choose, assert, and assume. Search on Bibsonomy WODA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Imran Ashraf, Sayyed Arash Ostadzadeh, Roel Meeuws, Koen Bertels Communication-aware HW/SW co-design for heterogeneous multicore platforms. Search on Bibsonomy WODA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ishtiaque 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. Search on Bibsonomy WODA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Danny Weyns Towards an integrated approach for validating qualities of self-adaptive systems. Search on Bibsonomy WODA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Mohammad Amin Alipour, Alex Groce Extended program invariants: applications in testing and fault localization. Search on Bibsonomy WODA The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Eric Bodden Continuation equivalence: a correctness criterion for static optimizations of dynamic analyses. Search on Bibsonomy WODA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Robin Salkeld, Wenhao Xu, Brendan Cully, Geoffrey Lefebvre, Andrew Warfield, Gregor Kiczales Retroactive aspects: programming in the past. Search on Bibsonomy WODA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Tobias Gutzmann, Welf Löwe Custom-made instrumentation based on static analysis. Search on Bibsonomy WODA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Jake Cobb, James A. Jones, Gregory M. Kapfhammer, Mary Jean Harrold Dynamic invariant detection for relational databases. Search on Bibsonomy WODA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Kenneth Oksanen Detecting algorithms using dynamic analysis. Search on Bibsonomy WODA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Philip 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
1Dominik Hura, Michal Dimmich A method facilitating integration testing of embedded software. Search on Bibsonomy WODA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ishtiaque Hussain, Christoph Csallner DSDSR: a tool that uses dynamic symbolic execution for data structure repair. Search on Bibsonomy WODA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Neil Walkinshaw, Sheeva Afshan, Phil McMinn Using compression algorithms to support the comprehension of program traces. Search on Bibsonomy WODA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Mainul Islam, Christoph Csallner Dsc+Mock: a test case + mock class generator in support of coding against interfaces. Search on Bibsonomy WODA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Newres 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
1Antinisca Di Marco, Antonia Bertolino, Felicita Di Giandomenico, Paolo Masci 0001, Antonino Sabetta Metrics for QoS analysis in dynamic, evolving and heterogeneous connected systems. Search on Bibsonomy WODA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Herbert Prähofer, Roland Schatz, Christian Wirth 0002 Detection of high-level execution patterns in reactive behavior of control programs. Search on Bibsonomy WODA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jonathan Chee Heng Mak, Alan Mycroft Limits of parallelism using dynamic dependency graphs. Search on Bibsonomy WODA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alex Groce (Quickly) testing the tester via path coverage. Search on Bibsonomy WODA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Caitlin Sadowski, Jaeheon Yi Tiddle: A Trace Description Language for generating concurrent benchmarks to test dynamic analyses. Search on Bibsonomy WODA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Wes Masri, Marwa El-Ghali Test case filtering and prioritization based on coverage of combinations of program elements. Search on Bibsonomy WODA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Amjad Nusayr, Jonathan E. Cook Using AOP for detailed runtime monitoring instrumentation. Search on Bibsonomy WODA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Aditya V. Thakur, Rathijit Sen, Ben Liblit, Shan Lu 0001 Cooperative crug isolation. Search on Bibsonomy WODA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Michael Schöbel, Andreas Polze A runtime environment for online processing of operating system kernel events. Search on Bibsonomy WODA The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Kyungwoo Lee, Zino Benaissa, Juan Rodriguez A dynamic tool for finding redundant computations in native code. Search on Bibsonomy WODA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF compiler generated code, dynamic instrumentation, performance tools, dynamic data-flow analysis
1David 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
1Michael Gorbovitski, Tom Rothamel, Yanhong A. Liu, Scott D. Stoller Efficient runtime invariant checking: a framework and case study. Search on Bibsonomy WODA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF program transformation, incrementalization, runtime verification, alias analysis
1Nadya Kuzmina, John Paul, Ruben Gamboa, James L. Caldwell Extending dynamic constraint detection with disjunctive constraints. Search on Bibsonomy WODA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF disjunctive constraint, dynamic constraint inference, behavioral specification
1Rui Abreu 0001, Peter Zoeteweij, Arjan J. C. van Gemund An observation-based model for fault localization. Search on Bibsonomy WODA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF software fault diagnosis, test data analysis, model-based diagnosis, program spectra
1Martin Burger 0002, Andreas Zeller Replaying and isolating failing multi-object interactions. Search on Bibsonomy WODA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF automated debugging, capture/replay
1Alessandro 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
1Alex 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
1Yui 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
1Minh Duc Nguyen, Hélène Waeselynck, Nicolas Rivière Testing mobile computing applications: toward a scenario language and tools. Search on Bibsonomy WODA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF scenario language, testing, graph matching, mobile computing systems
1Steven P. Reiss Dynamic detection of event handlers. Search on Bibsonomy WODA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF event handler, monitoring, trace analysis, dynamic instrumentation
Displaying result #1 - #38 of 38 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license