Specifying a Testing Oracle for Train Stations - Going beyond with Product Line Technology.

Andreas Svendsen, ystein Haugen, Birger Mller-Pedersen

Browse the full MODELS paper archive.