Sorour Jahanbin

Jun
27

Admission of Ms. Sorour Jahanbin for Ph.D. program from University of York, UK

Congratulations to Ms. Sorour Jahanbin for getting the admission for the ESR11 – Ph.D. position in Lowcomote project from University of York, United Kingdom. She will research under the supervision of Dr. Dimitris kolovos.

By MDSERG Admin | News . Sabbatical
DETAIL
Mar
07

M.Sc. Thesis Defense By Ms. Sorour Jahanbin

Congratulations to Ms. Sorour Jahanbin for successfully defending her M.Sc. thesis entitled “Presenting a new approach for generating test models in model transformation testing” and receiving the outstanding mark.

By MDSERG Admin | News . Thesis Defense
DETAIL
Jan
27

36th Group Meeting

var htmlDiv = document.getElementById("rs-plugin-settings-inline-css"); var htmlDivCss=""; if(htmlDiv) { htmlDiv.innerHTML = htmlDiv.innerHTML + htmlDivCss; }else{ var htmlDiv = document.createElement("div"); htmlDiv.innerHTML = "" + htmlDivCss + ""; document.getElementsByTagName("head")[0].appendChild(htmlDiv.childNodes[0]); } var htmlDiv = document.getElementById("rs-plugin-settings-inline-css"); var htmlDivCss=""; if(htmlDiv) { htmlDiv.innerHTML = htmlDiv.innerHTML + htmlDivCss; }else{ var htmlDiv = document.createElement("div"); htmlDiv.innerHTML = "" + htmlDivCss + ""; document.getElementsByTagName("head")[0].appendChild(htmlDiv.childNodes[0]); } setREVStartSize({c: [...]
By MDSERG Admin | Group Meetings . News
DETAIL
Dec
15

Test Model Generation Using Equivalence Partitioning

Model transformation, in a simple definition, is a program that accepts a model as input and generates another model as output. Model transformations are the cornerstone of model-driven engineering (MDE), hence testing them and ensuring the correctness of their implementation is a critical task. A challenging aspect of testing model transformations is to generate test models that both conform to their meta-model and satisfy the defined constraints. There exist several solutions for generating test models. Epsilon Model Generation (EMG) is a language for generating appropriate test models. EMG uses random operations for producing test models, hence it is possible that some tests have the same structure and the same value, i.e., they are redundant. In this paper, we propose an approach for generating appropriate test models, i.e., test models which are valuable from the tester’s point of view. In this approach, the tester specifies the number of model elements that should be generated in the test model, as well as how they are linked. Our approach is based on the idea of enriching the EMG language with equivalence partitioning technique. The idea of partitioning is that testing a member in an equivalence class is as good as testing the whole class. We have evaluated the proposed method via a case study. The results show the superiority of the proposed approach over EMG.

By MDSERG Admin | Papers in English
DETAIL
Aug
20

Acceptance of Ms. Sorour Jahanbin’s paper in ICCKE 2018 Conference

Our paper entitled “Test Model Generation using Equivalence Partitioning” was accepted in 8th International Conference on Computer and Knowledge Engineering (ICCKE 2018).

By MDSERG Admin | Acceptance Paper . News
DETAIL

Contact

Email: Zamani[AT]eng.ui.ac.ir
Tel: +98-31-37934537
Address: Department of Software Engineering, Faculty of Computer Engineering, University of Isfahan, Hezar Jarib Ave.

Statistics

  • 0
  • 14
  • 22
  • 10,307
  • 355
  • 30
  • 0
  • June 27, 2019
TOP