Proceedings of the Ninth International Workshop on Dynamic Analysis - WODA '11
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450308113

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Custom-made instrumentation based on static analysis

Proceedings of the Ninth International Workshop on Dynamic Analysis - WODA '11 ◽

10.1145/2002951.2002957 ◽

2011 ◽

Cited By ~ 1

Author(s):

Tobias Gutzmann ◽

Welf Löwe

Keyword(s):

Static Analysis ◽

Custom Made

Download Full-text

Detecting algorithms using dynamic analysis

Proceedings of the Ninth International Workshop on Dynamic Analysis - WODA '11 ◽

10.1145/2002951.2002953 ◽

2011 ◽

Cited By ~ 4

Author(s):

Kenneth Oksanen

Keyword(s):

Dynamic Analysis

Download Full-text

Dynamic invariant detection for relational databases

Proceedings of the Ninth International Workshop on Dynamic Analysis - WODA '11 ◽

10.1145/2002951.2002955 ◽

2011 ◽

Cited By ~ 13

Author(s):

Jake Cobb ◽

James A. Jones ◽

Gregory M. Kapfhammer ◽

Mary Jean Harrold

Keyword(s):

Relational Databases ◽

Dynamic Invariant ◽

Invariant Detection

Download Full-text

Retroactive aspects

Proceedings of the Ninth International Workshop on Dynamic Analysis - WODA '11 ◽

10.1145/2002951.2002960 ◽

2011 ◽

Cited By ~ 4

Author(s):

Robin Salkeld ◽

Wenhao Xu ◽

Brendan Cully ◽

Geoffrey Lefebvre ◽

Andrew Warfield ◽

...

Download Full-text

Sloppy Python

Proceedings of the Ninth International Workshop on Dynamic Analysis - WODA '11 ◽

10.1145/2002951.2002961 ◽

2011 ◽

Author(s):

Philip J. Guo

Download Full-text

A method facilitating integration testing of embedded software

Proceedings of the Ninth International Workshop on Dynamic Analysis - WODA '11 ◽

10.1145/2002951.2002954 ◽

2011 ◽

Cited By ~ 1

Author(s):

Dominik Hura ◽

Michał Dimmich

Keyword(s):

Embedded Software ◽

Integration Testing

Download Full-text

Continuation equivalence

Proceedings of the Ninth International Workshop on Dynamic Analysis - WODA '11 ◽

10.1145/2002951.2002958 ◽

2011 ◽

Cited By ~ 1

Author(s):

Eric Bodden

Download Full-text

Proceedings of the Ninth International Workshop on Dynamic Analysis - WODA '11Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Custom-made instrumentation based on static analysis

Detecting algorithms using dynamic analysis

Dynamic invariant detection for relational databases

Retroactive aspects

Sloppy Python

A method facilitating integration testing of embedded software

Continuation equivalence

Proceedings of the Ninth International Workshop on Dynamic Analysis - WODA '11
Latest Publications