MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Automating program analysis." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

33 documents found, showing 1 through 10. Next 10 →

ATOM

Tableau Reasoning and Programming with Dynamic First Order Logic
by Jan van Eijck, Juan Heguiabehere, Breanndan O Nuallain — 2001
…, and point out its relevance for programming with DFOL, for automated program analysis including loop…
Cited by 3 (2 self) – Add To MetaCart

A unified meta-model for concept-based reverse engineering
by Florian Deissenboeck, Daniel Ratiu — 2006 — In Proceedings of the 3rd International Workshop on Metamodels, Schemas, Grammars and Ontologies (ATEM’06
… in automating program analysis. Their central role requires advance reverse engineering tasks to consider them…
Cited by 2 (0 self) – Add To MetaCart

Manufacturing Opaque Predicates in Distributed Systems for Code Obfuscation
by Anirban Majumdar Clark, Clark Thomborson
… incomprehensible to automated program analysis tools used by adversaries. Opaque predicates act as tool…
Add To MetaCart

A Formal Approach to Practical Software Verification
by Radu Iosif — 2000
…. Dill. Java model checking. Proceedings of the First International Workshop on Automated Program…
Add To MetaCart

Modalities in Analysis and Verification
by Mads Dam — 1996
… it be used for automated program analysis, for verification, or for dynamic request-provider matching must…
Add To MetaCart

Applying Prolog Programming Techniques
by A. Bowles, A. Bowles, D. Robertson, D. Robertson, W. Vasconcelos, W. Vasconcelos, M. Vargas-vera, M. Vargas-vera, D. Bental, D. Bental — 1994 — Dept of Artificial Intelligence, University of Edinburgh
… incompatible techniques across clauses. 4. Techniques and Automated Program Analysis In this section we…
Cited by 8 (4 self) – Add To MetaCart

Program Analysis: A Hierarchy
by Andreas Zeller — 2003
… are also the foundations of automated program analysis tools. In fact, each of the reasoning techniques…
Cited by 8 (1 self) – Add To MetaCart

Personalized News through Content Augmentation and Profiling
by Norman Haas, Ruud Bolle, Nevenka Dimitrova, Angel Janevski, John Zimmerman — 2002 — Profiling, in ICIP ’02: Proceedings of International Conference on Image Processing, IEEE
… of the work is that in order to make advances in the area of automated program analysis, more attention must…
Cited by 2 (1 self) – Add To MetaCart

A Knowledge-based Approach to the Analysis of Loops
by Salwa K. Abd-el-hafiz, E Computer Society, Victor R. Basili — 1996 — IEEE Transactions on Software Engineering
…-based approach to the automation of program analysis. It combines and builds on the strengths of a prac- tical…
Cited by 7 (1 self) – Add To MetaCart

A Language-Based Approach to Security
by Fred B. Schneider, Greg Morrisett, Robert Harper — 2000 — INFORMATICS: 10 YEARS BACK, 10 YEARS AHEAD
… exploring the extent to which techniques from programming languages—compilers, automated program analysis…
Cited by 58 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB