Dynamic program analysis for error detection using goal-seeking input data generation

Proceedings of the Institute for System Programming of RAS ◽

10.15514/ispras-2014-26(1)-15 ◽

2014 ◽

Vol 26 (1) ◽

pp. 375-394

Author(s):

S.P. Vartanov ◽

A.Y. Gerasimov

Keyword(s):

Error Detection ◽

Program Analysis ◽

Dynamic Program ◽

Data Generation ◽

Dynamic Program Analysis

Download Full-text

EviHunter: Identifying digital forensic artifacts in android devices via static and dynamic program analysis

10.31274/etd-20210114-25 ◽

2020 ◽

Author(s):

Chao-Chun Cheng

Keyword(s):

Program Analysis ◽

Dynamic Program ◽

Digital Forensic ◽

Dynamic Program Analysis ◽

Forensic Artifacts

Download Full-text

Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine

ECOOP 2013 – Object-Oriented Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39038-8_15 ◽

2013 ◽

pp. 352-377 ◽

Author(s):

Danilo Ansaloni ◽

Stephen Kell ◽

Yudi Zheng ◽

Lubomír Bulej ◽

Walter Binder ◽

...

Keyword(s):

Virtual Machine ◽

Program Analysis ◽

Dynamic Program ◽

Java Virtual Machine ◽

Analysis Tools ◽

Dynamic Program Analysis

Download Full-text

Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35182-2_18 ◽

2012 ◽

pp. 256-263 ◽

Author(s):

Lukáš Marek ◽

Yudi Zheng ◽

Danilo Ansaloni ◽

Aibek Sarimbekov ◽

Walter Binder ◽

...

Keyword(s):

Program Analysis ◽

Dynamic Program ◽

Java Bytecode ◽

Dynamic Program Analysis ◽

Bytecode Instrumentation

Download Full-text

Self-refining aspects for dynamic program analysis

Proceedings of the tenth international conference on Aspect-oriented software development companion - AOSD '11 ◽

10.1145/1960314.1960342 ◽

2011 ◽

Author(s):

Danilo Ansaloni

Keyword(s):

Program Analysis ◽

Dynamic Program ◽

Dynamic Program Analysis

Download Full-text

A randomized dynamic program analysis technique for detecting real deadlocks

Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation - PLDI '09 ◽

10.1145/1542476.1542489 ◽

2009 ◽

Author(s):

Pallavi Joshi ◽

Chang-Seo Park ◽

Koushik Sen ◽

Mayur Naik

Keyword(s):

Program Analysis ◽

Dynamic Program ◽

Analysis Technique ◽

Dynamic Program Analysis

Download Full-text

Custom full-coverage dynamic program analysis for Android

Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity - SPLASH Companion 2015 ◽

10.1145/2814189.2814190 ◽

2015 ◽

Author(s):

Haiyang Sun ◽

Yudi Zheng ◽

Lubomír Bulej ◽

Walter Binder ◽

Stephen Kell

Keyword(s):

Program Analysis ◽

Dynamic Program ◽

Full Coverage ◽

Dynamic Program Analysis

Download Full-text

Productive Development of Dynamic Program Analysis Tools with DiSL

2013 22nd Australian Software Engineering Conference ◽

10.1109/aswec.2013.12 ◽

2013 ◽

Author(s):

Aibek Sarimbekov ◽

Yudi Zheng ◽

Danilo Ansaloni ◽

Lubomir Bulej ◽

Luka Marek ◽

...

Keyword(s):

Program Analysis ◽

Dynamic Program ◽

Analysis Tools ◽

Dynamic Program Analysis ◽

Productive Development

Download Full-text

Towards a domain-specific aspect language for dynamic program analysis

Proceedings of the sixth annual workshop on Domain-specific aspect languages - DSAL '11 ◽

10.1145/1960496.1960500 ◽

2011 ◽

Author(s):

Walter Binder ◽

Philippe Moret ◽

Danilo Ansaloni ◽

Aibek Sarimbekov ◽

Akira Yokokawa ◽

...

Keyword(s):

Program Analysis ◽

Specific Aspect ◽

Dynamic Program ◽

Domain Specific ◽

Dynamic Program Analysis

Download Full-text

Bridging Static and Dynamic Program Analysis using Fuzzy Logic

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.250.7 ◽

2017 ◽

Vol 250 ◽

pp. 111-126

Author(s):

Jacob Lidman ◽

Josef Svenningsson

Keyword(s):

Fuzzy Logic ◽

Program Analysis ◽

Dynamic Program ◽

Dynamic Program Analysis

Download Full-text

Dynamic Program Analysis

Encyclopedia of Cryptography and Security ◽

10.1007/978-1-4419-5906-5_1352 ◽

2011 ◽

pp. 368-368

Keyword(s):

Program Analysis ◽

Dynamic Program ◽

Dynamic Program Analysis

Download Full-text