|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2012), WODA 2012, Minneapolis, MN, USA, Sunday, July 15, 2012, pp. 30-35, 2012, ACM, 978-1-4503-1455-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kevin Buell, James S. Collofello |
Dynamic cost verification for cloud applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2012), WODA 2012, Minneapolis, MN, USA, Sunday, July 15, 2012, pp. 18-23, 2012, ACM, 978-1-4503-1455-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alex Groce, Martin Erwig |
Finding common ground: choose, assert, and assume. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2012), WODA 2012, Minneapolis, MN, USA, Sunday, July 15, 2012, pp. 12-17, 2012, ACM, 978-1-4503-1455-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2012), WODA 2012, Minneapolis, MN, USA, Sunday, July 15, 2012, pp. 36-41, 2012, ACM, 978-1-4503-1455-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2012), WODA 2012, Minneapolis, MN, USA, Sunday, July 15, 2012, pp. 1-6, 2012, ACM, 978-1-4503-1455-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Danny Weyns |
Towards an integrated approach for validating qualities of self-adaptive systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2012), WODA 2012, Minneapolis, MN, USA, Sunday, July 15, 2012, pp. 24-29, 2012, ACM, 978-1-4503-1455-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Amin Alipour, Alex Groce |
Extended program invariants: applications in testing and fault localization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2012), WODA 2012, Minneapolis, MN, USA, Sunday, July 15, 2012, pp. 7-11, 2012, ACM, 978-1-4503-1455-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Eric Bodden |
Continuation equivalence: a correctness criterion for static optimizations of dynamic analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2011), WODA 2011, Toronto, ON, Canada, July 18, 2011., pp. 24-28, 2011, ACM, 978-1-4503-0811-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Robin Salkeld, Wenhao Xu, Brendan Cully, Geoffrey Lefebvre, Andrew Warfield, Gregor Kiczales |
Retroactive aspects: programming in the past. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2011), WODA 2011, Toronto, ON, Canada, July 18, 2011., pp. 29-34, 2011, ACM, 978-1-4503-0811-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Gutzmann, Welf Löwe |
Custom-made instrumentation based on static analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2011), WODA 2011, Toronto, ON, Canada, July 18, 2011., pp. 18-23, 2011, ACM, 978-1-4503-0811-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jake Cobb, James A. Jones, Gregory M. Kapfhammer, Mary Jean Harrold |
Dynamic invariant detection for relational databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2011), WODA 2011, Toronto, ON, Canada, July 18, 2011., pp. 12-17, 2011, ACM, 978-1-4503-0811-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth Oksanen |
Detecting algorithms using dynamic analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2011), WODA 2011, Toronto, ON, Canada, July 18, 2011., pp. 1-6, 2011, ACM, 978-1-4503-0811-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2011), WODA 2011, Toronto, ON, Canada, July 18, 2011., pp. 35-40, 2011, ACM, 978-1-4503-0811-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dominik Hura, Michal Dimmich |
A method facilitating integration testing of embedded software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2011), WODA 2011, Toronto, ON, Canada, July 18, 2011., pp. 7-11, 2011, ACM, 978-1-4503-0811-3. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ishtiaque Hussain, Christoph Csallner |
DSDSR: a tool that uses dynamic symbolic execution for data structure repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2010), WODA 2010, Trento, Italy, July 12, 2010., pp. 20-25, 2010, ACM, 978-1-4503-0137-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Neil Walkinshaw, Sheeva Afshan, Phil McMinn |
Using compression algorithms to support the comprehension of program traces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2010), WODA 2010, Trento, Italy, July 12, 2010., pp. 8-13, 2010, ACM, 978-1-4503-0137-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Mainul Islam, Christoph Csallner |
Dsc+Mock: a test case + mock class generator in support of coding against interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2010), WODA 2010, Trento, Italy, July 12, 2010., pp. 26-31, 2010, ACM, 978-1-4503-0137-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Newres Al Haider, Paddy Nixon, Benoit Gaudin |
An approach for modeling dynamic analysis using ontologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2010), WODA 2010, Trento, Italy, July 12, 2010., pp. 1-6, 2010, ACM, 978-1-4503-0137-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2010), WODA 2010, Trento, Italy, July 12, 2010., pp. 32-37, 2010, ACM, 978-1-4503-0137-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2010), WODA 2010, Trento, Italy, July 12, 2010., pp. 14-19, 2010, ACM, 978-1-4503-0137-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Chee Heng Mak, Alan Mycroft |
Limits of parallelism using dynamic dependency graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2009), WODA 2009, Chicago, IL, USA, July, 2009., pp. 42-48, 2009, 978-1-60558-656-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alex Groce |
(Quickly) testing the tester via path coverage. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2009), WODA 2009, Chicago, IL, USA, July, 2009., pp. 22-28, 2009, 978-1-60558-656-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Caitlin Sadowski, Jaeheon Yi |
Tiddle: A Trace Description Language for generating concurrent benchmarks to test dynamic analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2009), WODA 2009, Chicago, IL, USA, July, 2009., pp. 15-21, 2009, 978-1-60558-656-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Wes Masri, Marwa El-Ghali |
Test case filtering and prioritization based on coverage of combinations of program elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2009), WODA 2009, Chicago, IL, USA, July, 2009., pp. 29-34, 2009, 978-1-60558-656-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Amjad Nusayr, Jonathan E. Cook |
Using AOP for detailed runtime monitoring instrumentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2009), WODA 2009, Chicago, IL, USA, July, 2009., pp. 8-14, 2009, 978-1-60558-656-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Aditya V. Thakur, Rathijit Sen, Ben Liblit, Shan Lu 0001 |
Cooperative crug isolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2009), WODA 2009, Chicago, IL, USA, July, 2009., pp. 35-41, 2009, 978-1-60558-656-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Michael Schöbel, Andreas Polze |
A runtime environment for online processing of operating system kernel events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: Proceedings of the International Workshop on Dynamic Analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2009), WODA 2009, Chicago, IL, USA, July, 2009., pp. 1-7, 2009, 978-1-60558-656-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Kyungwoo Lee, Zino Benaissa, Juan Rodriguez |
A dynamic tool for finding redundant computations in native code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: 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, pp. 15-21, 2008, ACM, 978-1-60558-054-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: 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, pp. 50-56, 2008, ACM, 978-1-60558-054-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: 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, pp. 43-49, 2008, ACM, 978-1-60558-054-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: 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, pp. 57-63, 2008, ACM, 978-1-60558-054-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: 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, pp. 64-70, 2008, ACM, 978-1-60558-054-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: 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, pp. 71-77, 2008, ACM, 978-1-60558-054-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
automated debugging, capture/replay |
1 | Alessandro Orso, Tao Xie 0001 |
BERT: BEhavioral Regression Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: 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, pp. 36-42, 2008, ACM, 978-1-60558-054-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: 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, pp. 22-28, 2008, ACM, 978-1-60558-054-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: 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, pp. 8-14, 2008, ACM, 978-1-60558-054-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: 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, pp. 29-35, 2008, ACM, 978-1-60558-054-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
scenario language, testing, graph matching, mobile computing systems |
1 | Steven P. Reiss |
Dynamic detection of event handlers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODA ![In: 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, pp. 1-7, 2008, ACM, 978-1-60558-054-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
event handler, monitoring, trace analysis, dynamic instrumentation |
Displaying result #1 - #38 of 38 (100 per page; Change: )
|
|