Software inspections-theory, new approaches and an experiment | IEEE Conference Publication | IEEE Xplore