Back to Results
First PageMeta Content
Data types / Type theory / Software bugs / Procedural programming languages / Pointer / C / Type safety / Errno.h / Assignment / Software engineering / Computing / Computer programming


Using Redundancies to Find Errors Yichen Xie and Dawson Engler Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A.
Add to Reading List

Document Date: 2003-01-23 15:26:35

Open Document

File Size: 239,41 KB

Share Result on Facebook

City

Pacific Grove / Warlock / Reading / San Diego / /

Company

J. Foster / Subject Descriptors Software / /

Country

United States / /

Currency

USD / /

IndustryTerm

path-sensitive algorithm / mark-and-sweep algorithm / level protocols / software reliability / straightforward mark-and-sweep algorithm / statistical tool / detection tools / type systems / hardware device / low-level software / congruence closure algorithm / search algorithm / basic algorithm / /

OperatingSystem

Linux / GNU / /

Organization

Stanford University Stanford / /

Person

W.R. Bush / Dawson Engler / /

Position

author / type qualifier / variable forward / guard / novice programmer / representative / possibly confused programmer / programmer / /

ProgrammingLanguage

E / R / C / /

ProvinceOrState

California / Massachusetts / /

PublishedMedium

Journal of the ACM / IEEE Transactions on Software Engineering / /

Technology

mark-and-sweep algorithm / IPV6 / congruence closure algorithm / search algorithm / Linux / high-level protocols / operating system / operating systems / straightforward mark-and-sweep algorithm / scsi / basic algorithm / implemented using a simple mark-and-sweep algorithm / /

SocialTag