Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs.
Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis
Browse the full FMICS paper archive.
Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis
Browse the full FMICS paper archive.