SafeWalk: a Simulation Tool Kit for Exploring Software Requirements in a Safety-Critical Product Line.

James I. Lathrop, Robyn R. Lutz, Cameron Brecount, Hugh D. Potter, Kathryn Rohlfing, Jesse Slater, Joshua Wallin

Browse the full RE paper archive.