|
|
Venues (Conferences, Journals, ...)
|
|
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 |
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 |
Displaying result #1 - #38 of 38 (100 per page; Change: )
|
|