MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Bugs in the programs." – sorted by Relevance.

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

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

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

ATOM

JAGS: A program for analysis of Bayesian graphical models using Gibbs sampling
by Martyn Plummer — 2003
… program for Bayesian Graphical modelling which aims for compatibility with Classic BUGS. The program could…
Add To MetaCart

AccMon: Automatically Detecting Memory-related Bugs via Program Counter-based Invariants
by Pin Zhou, Wei Liu, Long Fei, Shan Lu, Feng Qin, Yuanyuan Zhou, Samuel Midkiff, Josep Torrellas — 2004 — In 37th International Symposium on Microarchitecture (MICRO
…AccMon: Automatically Detecting Memory-related Bugs via Program Counter-based Invariants ∗ Pin…
Cited by 34 (7 self) – Add To MetaCart

Light-Weight Theorem Proving for Debugging and Verifying Units of Code
by Silvio Ranise Loria
…. IntroductionCatching bugs in programs is difficult and timeconsuming. The effort of debugging and proving…
Add To MetaCart

Scalable Statistical Bug Isolation
by Ben Liblit Computer, Ben Liblit, Alex Aiken, Mayur Naik, Alice X. Zheng — 2005 — In Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation
… We present a statistical debugging algorithm that isolates bugs in programs…
Add To MetaCart

On the Relationship between Model-based Debugging and Program Mutation
by Franz Wotawa — 2001 — Artificial Intelligence
… the relationship between program mutation and model-based diagnosis applied to locate and fix bugs in programs. We…
Cited by 17 (3 self) – Add To MetaCart

Using Type Qualifiers to Analyze Untrusted Integers and Detecting Security Flaws in C Programs
by Ebrima N. Ceesay, Jingmin Zhou, Michael Gertz, Karl Levitt, Matt Bishop
…}@(email omitted); Abstract. Incomplete or improper input validation is one of the major sources of security bugs in programs…
Add To MetaCart

Hermes Language Experiences
by Willard Korfhage, Arthur P., Arthur P. Goldberg — 1995
… eliminates pointer errors, the basis of many bugs in programs written in languages that support pointers. CCC…
Add To MetaCart

Scalable statistical bug isolation
by Ben Liblit, Alex Aiken, Mayur Naik, Alice X. Zheng — 2005 — In Proceedings of the ACM SIGPLAN 2005 Conference on Programming Language Design and Implementation
… We present a statistical debugging algorithm that isolates bugs in programs…
Cited by 74 (4 self) – Add To MetaCart

Automated Dynamic Analysis of CUDA Programs
by Michael Boyer, Kevin Skadron, Westley Weimer
… for execution on the GPU. Unfortunately, parallel programs are prone to subtle correctness and performance bugs…
Cited by 2 (2 self) – Add To MetaCart

Detecting Memory Access Errors via Illegal Write Monitoring ∗
by Emre Can Sezer, Prachi Gauriar, Jun Xu — 2005
…, pgauria, jxu3}@(email omitted); December 9, 2005 Abstract Memory access errors are a major source of bugs…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

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