Sign in
WODA
2008
2009
2011
2012
2008
2012
Keyphrases
Publications
2012
Shengqian Yang
,
Dacong Yan
,
Guoqing Xu
,
Atanas Rountev
Dynamic analysis of inefficiently-used containers.
WODA
(2012)
Kevin Buell
,
James S. Collofello
Dynamic cost verification for cloud applications.
WODA
(2012)
Alex Groce
,
Martin Erwig
Finding common ground: choose, assert, and assume.
WODA
(2012)
Imran Ashraf
,
Sayyed Arash Ostadzadeh
,
Roel Meeuws
,
Koen Bertels
Communication-aware HW/SW co-design for heterogeneous multicore platforms.
WODA
(2012)
Ishtiaque Hussain
,
Christoph Csallner
,
Mark Grechanik
,
Chen Fu
,
Qing Xie
,
Sangmin Park
,
Kunal Taneja
,
B. M. Mainul Hossain
Evaluating program analysis and testing tools with the RUGRAT random benchmark application generator.
WODA
(2012)
Danny Weyns
Towards an integrated approach for validating qualities of self-adaptive systems.
WODA
(2012)
Mohammad Amin Alipour
,
Alex Groce
Extended program invariants: applications in testing and fault localization.
WODA
(2012)
2011
Eric Bodden
Continuation equivalence: a correctness criterion for static optimizations of dynamic analyses.
WODA
(2011)
Robin Salkeld
,
Wenhao Xu
,
Brendan Cully
,
Geoffrey Lefebvre
,
Andrew Warfield
,
Gregor Kiczales
Retroactive aspects: programming in the past.
WODA
(2011)
Tobias Gutzmann
,
Welf Löwe
Custom-made instrumentation based on static analysis.
WODA
(2011)
Jake Cobb
,
James A. Jones
,
Gregory M. Kapfhammer
,
Mary Jean Harrold
Dynamic invariant detection for relational databases.
WODA
(2011)
Kenneth Oksanen
Detecting algorithms using dynamic analysis.
WODA
(2011)
Philip J. Guo
Sloppy Python: using dynamic analysis to automatically add error tolerance to ad-hoc data processing scripts.
WODA
(2011)
Dominik Hura
,
Michal Dimmich
A method facilitating integration testing of embedded software.
WODA
(2011)
2010
Ishtiaque Hussain
,
Christoph Csallner
DSDSR: a tool that uses dynamic symbolic execution for data structure repair.
WODA
(2010)
Neil Walkinshaw
,
Sheeva Afshan
,
Phil McMinn
Using compression algorithms to support the comprehension of program traces.
WODA
(2010)
Mainul Islam
,
Christoph Csallner
Dsc+Mock: a test case + mock class generator in support of coding against interfaces.
WODA
(2010)
Newres Al Haider
,
Paddy Nixon
,
Benoit Gaudin
An approach for modeling dynamic analysis using ontologies.
WODA
(2010)
Antinisca Di Marco
,
Antonia Bertolino
,
Felicita Di Giandomenico
,
Paolo Masci
,
Antonino Sabetta
Metrics for QoS analysis in dynamic, evolving and heterogeneous connected systems.
WODA
(2010)
Herbert Prähofer
,
Roland Schatz
,
Christian Wirth
Detection of high-level execution patterns in reactive behavior of control programs.
WODA
(2010)
2009
Jonathan Chee Heng Mak
,
Alan Mycroft
Limits of parallelism using dynamic dependency graphs.
WODA
(2009)
Alex Groce
(Quickly) testing the tester via path coverage.
WODA
(2009)
Caitlin Sadowski
,
Jaeheon Yi
Tiddle: A Trace Description Language for generating concurrent benchmarks to test dynamic analyses.
WODA
(2009)
Wes Masri
,
Marwa El-Ghali
Test case filtering and prioritization based on coverage of combinations of program elements.
WODA
(2009)
Amjad Nusayr
,
Jonathan Cook
Using AOP for detailed runtime monitoring instrumentation.
WODA
(2009)
Aditya V. Thakur
,
Rathijit Sen
,
Ben Liblit
,
Shan Lu
Cooperative crug isolation.
WODA
(2009)
Michael Schöbel
,
Andreas Polze
A runtime environment for online processing of operating system kernel events.
WODA
(2009)
2008
Kyungwoo Lee
,
Zino Benaissa
,
Juan Rodriguez
A dynamic tool for finding redundant computations in native code.
WODA
(2008)
David Lo
,
Siau-Cheng Khoo
,
Chao Liu
Mining past-time temporal rules from execution traces.
WODA
(2008)
Michael Gorbovitski
,
Tom Rothamel
,
Yanhong A. Liu
,
Scott D. Stoller
Efficient runtime invariant checking: a framework and case study.
WODA
(2008)
Nadya Kuzmina
,
John Paul
,
Ruben Gamboa
,
James L. Caldwell
Extending dynamic constraint detection with disjunctive constraints.
WODA
(2008)
Rui Abreu
,
Peter Zoeteweij
,
Arjan J. C. van Gemund
An observation-based model for fault localization.
WODA
(2008)
Martin Burger
,
Andreas Zeller
Replaying and isolating failing multi-object interactions.
WODA
(2008)
Alessandro Orso
,
Tao Xie
BERT: BEhavioral Regression Testing.
WODA
(2008)
Alex Groce
,
Rajeev Joshi
Random testing and model checking: building a common framework for nondeterministic exploration.
WODA
(2008)
Yui Watanabe
,
Takashi Ishio
,
Katsuro Inoue
Feature-level phase detection for execution trace using object cache.
WODA
(2008)
Minh Duc Nguyen
,
Hélène Waeselynck
,
Nicolas Rivière
Testing mobile computing applications: toward a scenario language and tools.
WODA
(2008)
Steven P. Reiss
Dynamic detection of event handlers.
WODA
(2008)