Formalizing a Framework for Dynamic Slicing of Program Dependence Graphs in Isabelle/HOL

Lecture Notes in Computer Science - Theorem Proving in Higher Order Logics ◽

10.1007/978-3-540-71067-7_24 ◽

2008 ◽

pp. 294-309 ◽

Author(s):

Daniel Wasserrab ◽

Andreas Lochbihler

Keyword(s):

Dynamic Slicing ◽

Dependence Graphs ◽

Program Dependence

Download Full-text

An Operational Semantics of Program Dependence Graphs for Unstructured Programs

Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues - Lecture Notes in Computer Science ◽

10.1007/978-3-540-77505-8_22 ◽

2007 ◽

pp. 264-271

Author(s):

Souhei Ito ◽

Shigeki Hagihara ◽

Naoki Yonezaki

Keyword(s):

Operational Semantics ◽

Dependence Graphs ◽

Program Dependence

Download Full-text

A concurrent execution semantics for Parallel Program Graphs and Program Dependence Graphs

Languages and Compilers for Parallel Computing - Lecture Notes in Computer Science ◽

10.1007/3-540-57502-2_37 ◽

1993 ◽

pp. 16-30 ◽

Author(s):

V. Sarkar

Keyword(s):

Parallel Program ◽

Concurrent Execution ◽

Dependence Graphs ◽

Execution Semantics ◽

Program Dependence

Download Full-text

Automatic test data generation using genetic algorithm and program dependence graphs

Information and Software Technology ◽

10.1016/j.infsof.2005.06.006 ◽

2006 ◽

Vol 48 (7) ◽

pp. 586-605 ◽

Author(s):

James Miller ◽

Marek Reformat ◽

Howard Zhang

Keyword(s):

Genetic Algorithm ◽

Test Data ◽

Test Data Generation ◽

Data Generation ◽

Automatic Test ◽

Dependence Graphs ◽

Automatic Test Data Generation ◽

Program Dependence

Download Full-text

On the adequacy of program dependence graphs for representing programs

Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '88 ◽

10.1145/73560.73573 ◽

1988 ◽

Author(s):

S. Horwitz ◽

J. Prins ◽

T. Reps

Keyword(s):

Dependence Graphs ◽

Program Dependence

Download Full-text

The use of program dependence graphs in software engineering

Proceedings of the 14th international conference on Software engineering - ICSE '92 ◽

10.1145/143062.143156 ◽

1992 ◽

Author(s):

Susan Horwitz ◽

Thomas Reps

Keyword(s):

Software Engineering ◽

Dependence Graphs ◽

Program Dependence

Download Full-text

Incremental program testing using program dependence graphs

Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93 ◽

10.1145/158511.158694 ◽

1993 ◽

Author(s):

Samuel Bates ◽

Susan Horwitz

Keyword(s):

Program Testing ◽

Dependence Graphs ◽

Program Dependence

Download Full-text

Author Identification of Software Source Code with Program Dependence Graphs

2010 IEEE 34th Annual Computer Software and Applications Conference Workshops ◽

10.1109/compsacw.2010.56 ◽

2010 ◽

Author(s):

Rong Chen ◽

Lina Hong ◽

Chunyan Lu ◽

Wu Deng

Keyword(s):

Source Code ◽

Author Identification ◽

Dependence Graphs ◽

Program Dependence

Download Full-text

Towards a framework for generating program dependence graphs from source code

Proceedings of the 4th ACM SIGSOFT International Workshop on Software Analytics - SWAN 2018 ◽

10.1145/3278142.3278144 ◽

2018 ◽

Author(s):

Victor J. Marin ◽

Carlos R. Rivero

Keyword(s):

Source Code ◽

Dependence Graphs ◽

Program Dependence

Download Full-text

Efficient construction of program dependence graphs

ACM SIGSOFT Software Engineering Notes ◽

10.1145/174146.154268 ◽

1993 ◽

Vol 18 (3) ◽

pp. 160-170 ◽

Author(s):

Mary Jean Harrold ◽

Brian Malloy ◽

Gregg Rothermel

Keyword(s):

Dependence Graphs ◽

Efficient Construction ◽

Program Dependence

Download Full-text

Identifying similar code with program dependence graphs

Proceedings Eighth Working Conference on Reverse Engineering ◽

10.1109/wcre.2001.957835 ◽

2002 ◽

Author(s):

J. Krinke

Keyword(s):

Dependence Graphs ◽

Similar Code ◽

Program Dependence

Download Full-text