• Assessing the Usefulness of Testing for Validating the Correctness of Security Risk Models Based on an Industrial Case Study 

      Erdogan, Gencer; Seehusen, Fredrik; Stølen, Ketil; Aagedal, Jan Øyvind (SINTEF Rapport;, Research report, 2014)
      We present the results of an evaluation in which the objective was to assess how useful testing is for validating and gaining confidence in the correctness of security risk models. The evaluation is based on a case study ...
    • Evaluation of the QVT Merge Language Proposal 

      Grønmo, Roy; Aagedal, Jan Øyvind; Solberg, Arnor; Belaunde, Mariano; Rosenthal, Peter; Faugere, Madeleine; Ritter, Tom; Born, Marc (Research report, 2005)
      STF90 A05045This report has identified 29 weighted evaluation criteria representing desired properties of a model to model transformation language. These criteria have been used to evaluate the current QVT Merge specification. ...