Tool Support for Fine-Grained Software Inspection
P. Anderson, T. Reps, T. Teitelbaum, and M. Zarins
Software inspection is a proven technique to improve quality and
reduce costs. Detailed source code inspections are an important part
of the formal inspection process, but they require a significant time
investment. Research advances in static program analysis can reduce
the inspection time required. By calculating answers to standard
inspection questions, CodeSurfer frees experts to focus their efforts
on more challenging inspection issues. CodeSurfer provides access to
and answers queries about the system-dependence graph representation
of programs, and can be integrated with other tools.
(Click here to access the paper:
paper, via IEEE Explore.)
GrammaTech Inc.