Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all domains
Limit my searches in the following domains
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Keywords
(3)
Qualitative Analysis
Source Code
Statistical Model
Subscribe
Academic
Publications
The road not taken: Estimating path execution frequency statically
Edit
The road not taken: Estimating path execution frequency statically
(
Citations: 7
)
BibTex
|
RIS
|
RefWorks
Download
Raymond P. L. Buse
,
Westley Weimer
A variety of compilers, static analyses, and testing frameworks rely heavily on path frequency information. Uses for such information range from optimizing transfor- mations to bug finding. Path frequencies are typically ob- tained through profiling, but that approach is severely re- stricted: it requires running programs in an indicative envi- ronment, and on indicative test inputs. We present a descriptive
statistical model
of path fre- quency based on features that can be readily obtained from a program's source code. Our model is over 90% accu- rate with respect to several benchmarks, and is sufficient for selecting the 5% of paths that account for over half of a program's total runtime. We demonstrate our technique's robustness by measuring its performance as a static branch predictor, finding it to be more accurate than previous ap- proaches on average. Finally, our
qualitative analysis
of the model provides insight into which source-level features indicate "hot paths."
Conference:
International Conference on Software Engineering - ICSE
, pp. 144-154, 2009
DOI:
10.1109/ICSE.2009.5070516
Cumulative
Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
(
dx.doi.org
)
(
cheetah.cs.virginia.edu
)
(
www.cs.virginia.edu
)
(
arrestedcomputing.com
)
(
qosbox.cs.virginia.edu
)
(
ieeexplore.ieee.org
)
(
www.cs.virginia.edu
)
(
www.informatik.uni-trier.de
)
(
ieeexplore.ieee.org
)
More »
Citation Context
(7)
...The choice of these features was inspired by Buse and Weimer’s work [
11
] on path execution frequency prediction...
...It is possible to profile the path frequency of a program [21] and then predict top crashes using such profile information [
11
]...
...Recently, Buse and Weimer [
11
] used a similar approachtopredictpathfrequency.AsdescribedinSection4, ourapproachsharesthesameprincipleastheevidence-based approach...
Dongsun Kim
,
et al.
Which Crashes Should I Fix First?: Predicting Top Crashes at an Early ...
...A most recent work on this is given by Buse and Weimer [
2
] who proposed a method for estimating path execution frequency...
Sheng Liu
,
et al.
Program analysis: from qualitative analysis to quantitative analysis (...
...Buse and Weimer [
2
] proposed a method for estimating path execution frequency which can be classified as the former approach...
Feifei Ma
.
Constraint solving techniques for software testing and analysis
...There have been some instances of the application of machine learning methods to fault localization [6, 7]. In the last few years, fault localization has been addressed using Bayesian reasoning techniques such as dependency graphs, Bayesian networks, universal models and causal inferences [1,
8
, 12, 24]...
Akbar Siami Namin
,
et al.
Bayesian reasoning for software testing
...We use a research tool that can statically estimate the relative runtime frequency of a given path through a program [
8
] to measure path frequency...
...Frequency metric, encoding our static prediction of how often the path would be executed at run-time [
8
], was our most important feature: commonly-run (and thus well-tested) paths do not demonstrate erroneous behavior...
Claire Le Goues
,
et al.
Specification Mining with Few False Positives
References
(29)
Improving Dataflow Analysis with Path Profiles
(
Citations: 88
)
Glenn Ammons
,
James R. Larus
Journal:
Sigplan Notices - SIGPLAN
, vol. 33, no. 5, pp. 72-84, 1998
A comparative study of static and profile-based heuristics for inlining
(
Citations: 38
)
Matthew Arnold
,
Stephen J. Fink
,
Vivek Sarkar
,
Peter F. Sweeney
Journal:
Sigplan Notices - SIGPLAN
, vol. 35, no. 7, pp. 52-64, 2000
Branch Prediction For Free
(
Citations: 199
)
Thomas Ball
,
James R. Larus
Journal:
Sigplan Notices - SIGPLAN
, vol. 28, no. 6, pp. 300-313, 1993
Efficient path profiling
(
Citations: 327
)
Thomas Ball
,
James R. Larus
Conference:
International Symposium on Microarchitecture - MICRO
, pp. 46-57, 1996
Edge profiling versus path profiling: the showdown
(
Citations: 72
)
Thomas Ball
,
Peter Mataga
,
Mooly Sagiv
Conference:
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages - POPL
, pp. 134-148, 1998
Order by:
Citations
(7)
Which Crashes Should I Fix First?: Predicting Top Crashes at an Early Stage to Prioritize Debugging Efforts
(
Citations: 1
)
Dongsun Kim
,
Xinming Wang
,
Sunghun Kim
,
Andreas Zeller
,
Shing-Chi Cheung
Journal:
IEEE Transactions on Software Engineering - TSE
, vol. 37, no. 3, pp. 430-447, 2011
Program analysis: from qualitative analysis to quantitative analysis (NIER track)
Sheng Liu
,
Jian Zhang
Conference:
International Conference on Software Engineering - ICSE
, pp. 956-959, 2011
Constraint solving techniques for software testing and analysis
Feifei Ma
Conference:
International Conference on Software Engineering - ICSE
, pp. 417-420, 2010
Bayesian reasoning for software testing
Akbar Siami Namin
,
Mohan Sridharan
Published in 2010.
Specification Mining with Few False Positives
(
Citations: 11
)
Claire Le Goues
,
Westley Weimer
Conference:
Tools and Algorithms for Construction and Analysis of Systems - TACAS
, pp. 292-306, 2009