Search Sciweavers | Sciweavers

438 search results - page 8 / 88

» Bugs in the programs

click to vote

SIGCSE
2006
ACM

131views Education» more SIGCSE 2006»

An undergraduate course on software bug detection tools and techniques

14 years 3 months ago

Download fac-staff.seattleu.edu

The importance of software bug detection tools is high with the constant threat of malicious activity. Companies are increasingly relying on software bug detection tools to catch ...

Eric Larson

claim paper

Read More »

click to vote

CCS
2009
ACM

130views Security Privacy» more CCS 2009»

Finding bugs in exceptional situations of JNI programs

14 years 4 months ago

Download www.cse.lehigh.edu

Software ﬂaws in native methods may defeat Java’s guarantees of safety and security. One common kind of ﬂaws in native methods results from the discrepancy on how exceptions...

Siliang Li, Gang Tan

claim paper

Read More »

click to vote

CAV
2010
Springer

239views Hardware» more CAV 2010»

Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs

13 years 11 months ago

Download www.cs.utexas.edu

Triggering errors in concurrent programs is a notoriously difﬁcult task. A key reason for this is the behavioral complexity resulting from the large number of interleavings of op...

Vineet Kahlon, Chao Wang

claim paper

Read More »

click to vote

ISSTA
2009
ACM

119views Software Engineering» more ISSTA 2009»

Clash of the Titans: tools and techniques for hunting bugs in concurrent programs

14 years 4 months ago

Download vv.cs.byu.edu

Neha Rungta, Eric G. Mercer

claim paper

Read More »