Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,164,850 papers from all fields of science
Search
Sign In
Create Free Account
Program analysis
Known as:
Computer program analysis
, Program analysis (computer science)
, Program analyzer
Expand
In computer science, program analysis is the process of automatically analyzing the behavior of computer programs regarding a property such as…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
30 relations
Abstract syntax tree
Automated code review
Automatic bug fixing
CPAchecker
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
Verification of embedded control systems by simulation and program execution control
S. Resmerita
,
W. Pree
American Control Conference
2012
Corpus ID: 1153582
This paper describes features and applications of a simulation framework for software-in-the-loop testing of realtime embedded…
Expand
2011
2011
Twenty-Five Years of Research in Structural and Mutation Testing
M. Delamaro
,
M. Chaim
,
A. Vincenzi
,
M. Jino
,
J. Maldonado
Brazilian Symposium on Software Engineering
2011
Corpus ID: 14953771
Research in software testing has been carried out for approximately forty years, but its importance has escalated very quickly in…
Expand
2011
2011
Machine Code Optimization - Improving Executable Object Code
Clinton F. Goss
arXiv.org
2011
Corpus ID: 32009676
This dissertation explores classes of compiler optimization techniques that are applicable late in the compilation process, after…
Expand
2007
2007
3S: Program Instrumentation and Characterisation Framework
Simon A. Spacey
2007
Corpus ID: 11295221
3S is an efficient program instrumentation and profiling framework. 3S is only 288 lines of framework code, yet it can produce…
Expand
2004
2004
Semantic driven program analysis
Andrian Marcus
20th IEEE International Conference on Software…
2004
Corpus ID: 18420898
The paper presents an approach to extract and to analyze the semantic content (i.e., problem and solution domain semantics) of…
Expand
2004
2004
Tarantula{:} Killing Driver Bugs Before They Hatch
J. Lawall
,
Gilles Muller
,
R. Urunuela
2004
Corpus ID: 17062225
The Linux operating system is undergoing continual evolution. Evolution in the kernel and generic driver modules often triggers…
Expand
Review
1998
Review
1998
Eecient Computation via Incremental Computation
Yanhong A. Liu
1998
Corpus ID: 7794409
Incremental computation takes advantage of repeated computations on inputs that di er slightly from one another, computing each…
Expand
1996
1996
How to Add a New Phase in PIPS: the Case of Dead Code Elimination
Corinne Ancourt
,
Fabien Coelho
,
R. Keryell
1996
Corpus ID: 59885097
1994
1994
Locality Abstractions for Parallel and Distributed Computing
S. Jagannathan
Theory and Practice of Parallel Programming
1994
Corpus ID: 945542
Temporal and spatial locality are significant concerns in the design and implementation of any realistic parallel or distributed…
Expand
1992
1992
Type Inference in the Icon Programming Language
Kenneth Walker
,
R. Griswold
1992
Corpus ID: 15187154