Sciweavers

23

ICECCS
2002
IEEE

86views Hardware» more ICECCS 2002»

Mechanization of a Proof of String-Preprocessing in Boyer-Moore's Pattern Matching Algorithm

14 years 4 months ago

Mechanization of a Proof of String-Preprocessing in Boyer-Moore's Pattern Matching Algorithm

Download d3s.mff.cuni.cz

Milos Besta, Frank A. Stomp

claim paper

Read More »

21

ICECCS
2002
IEEE

86views Hardware» more ICECCS 2002»

A Light-Weight Process for Capturing and Evolving Defect Reduction Experience

14 years 4 months ago

A Light-Weight Process for Capturing and Evolving Defect Reduction Experience

Download www.cs.umd.edu

Victor R. Basili, Mikael Lindvall, Forrest Shull

claim paper

Read More »

30

ICECCS
2002
IEEE

85views Hardware» more ICECCS 2002»

Syntactic Fault Patterns in OO Programs

14 years 4 months ago

Syntactic Fault Patterns in OO Programs

Download www.eecs.wsu.edu

Although program faults are widely studied, there are many aspects of faults that we still do not understand, particularly about OO software. In addition to the simple fact that o...

Roger T. Alexander, Jeff Offutt, James M. Bieman

claim paper

Read More »