University of Luxembourg (uni.lu)

Interdisciplinary Centre for Security, Reliability and Trust (SnT)

Keep it clean, simple, and minimal!

Ghanem Soltana is a research associate at the Software Verification and Validation Laboratory (SVV). Ghanem’s research interests lie in modeling software systems, software quality assurance, testing, and automated test data generation through constraint solving.

Ghanem received his Ph.D. (conducted under the supervision of Prof. Lionel Briand and Dr. Mehrdad Sabetzadeh) in 2017. His doctoral work focused primarily on regulatory compliance, automated data generation, model-based simulation, and modeling and verification of legal requirements [in a project conducted in collaboration with CTIE (“Centre des technologies de l'information de l'Etat”). His thesis dissertation was entitled “A Model-Based Framework for Legal Policy Simulation and Compliance Checking”.

Ghanem received an M.Sc. in 2012 from the Higher Institute of Management of Tunis (ISG), Tunis. His master thesis was entitled “Auto-calibration for testing multi-agent based simulations”. This previous experience was centered on evolutionary computation, simulation, and multi-agent systems.

  • Name
    Ghanem Soltana
  • Phone
    (+352) 46 66 44 5569
  • Web
    @SnT
  • Birth
    11 December 1986
  • Fax
    (+352) 46 66 44 35569
  • Citizenship
      Tunisian
  • Hobbies
    Music, Chess, and Handball
  • Email
    ghanem.soltana@gmail.com
  • Address
    29, Avenue John Fitzgerald Kennedy, Office: 325, L-1855, Luxembourg
 
Resume
" Last update: February 2018 "
 
Some of my
Design Skills
  • UML
     
  • Object Constraint Language (OCL)
     
  • Language Z
     
  • Merise/2
     
Some of my
Programming Skills
  • JAVA
     
  • C#
     
  • C
     
  • VB
     
List of my awards
Awards
  • Coming soon
Line of my
Education
  • 11-2013
    -
    10-2017
    PhD Candidate in Software Engineering (SVV)
    Software Verification and Validation Laboratory,
    Interdisciplinary Centre for Security, Reliability and Trust (SnT),
    University of Luxembourg, Luxembourg

    Thesis title: "A Model-Based Framework for Specification and Automated Verification of Compliance to the Tax Law". Thesis successfully defended on the 16th of February 2018 . PhD granted with an "Outstanding" grade. For more information click [here].

  • 11-2009
    -
    02-2012
    Masters in Software Engineering
    Optimization and Intelligent Informatics Laboratory (SOIE),
    Higher Institute of Management of Tunis, Tunisia

    Thesis title: "Auto-calibration for the Validation of Multi-Agent Simulations".

  • 09-2005
    -
    08-2009
    Bachelors Degree (Major: Computer Science, Minor: Management)
    Higher Institute of Management of Tunis, Tunisia
  • 09-2004
    -
    06-2005
    Baccalaureate Diploma in Mathematics
    School of Nouvelle Medina 3, Tunisia
Story of my
Work Experience
  • 11-2017
    -
    Ongoing
    Research Associate
    Software Verification and Validation Laboratory,
    Interdisciplinary Centre for Security, Reliability and Trust (SnT),
    University of Luxembourg, Luxembourg

    I conduct applied research related to modeling software systems, software quality assurance, and testing. The core theme of my work is automated test data generation, constraint solving and automated model transformations.

  • 10-2012
    -
    2013
    Scientific Staff Member
    Optimization and Intelligent Informatics Laboratory (SOIE),
    Higher Institute of Management of Tunis, Tunisia

    Project: "An Optimization Framework for Model Transformation Testing: Errors Detection and Correction". Joint research with Missouri University of Science and Technology, USA. My role in the project has been to develop a novel evolutionary approach for combining test case generation with mutation analysis. This novel approach is based on competitive co-evolution, in which mutants and test cases co-evolve, influencing each other with the ultimate goal of generating high quality test cases for model transformations.

  • 02-2009
    -
    08-2009
    J2EE Developer / Trainee
    ORASYSTEM, Tunisia

    Project: Reverse-Engineering and Optimization of Tunisian Governments's Vehicle Fleet Management System. To watch a short demonstration click here.

 
Publications
" Last update: February 2018 "
  • 2018:
    • - G. Soltana, N. Sannier, M. Sabetzadeh, and L. C. Briand, "Model-Based Simulation of Legal Policies: Framework, Tool Support, and Validation”, in Software & Systems Modeling (SoSyM), 2018, 851--883, 17(3). [PDF] [BibTeX]

  • 2017:
    • - G. Soltana, "A Model-Based Framework for Legal Policy Simulation and Compliance Checking”, doctoral thesis, October 2017. [PDF] [BibTeX]
    • - G. Soltana, M. Sabetzadeh, and L. C. Briand, "Synthetic Data Generation for Statistical Testing”, in n proceedings of 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2017), Illinois, USA, October 30 - November 3, 2017, pp. 872-882. [PDF] [BibTeX]

      • 2016:
        • - G. Soltana, M. Sabetzadeh, and L. C. Briand, "Model-Based Simulation of Legal Requirements: Experience from Tax Policy Simulation”, in proceedings of 24th IEEE International Requirements Engineering Conference (RE 2016), Beijing, China, September 12 - September 16, 2016, pp. 303-312. [PDF] [BibTeX]

            • 2015:
              • - G. Soltana, N. Sannier, M. Sabetzadeh, and L. C. Briand, "A Model-Based Framework for Probabilistic Simulation of Legal Policies”, in proceedings of 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada, September 27 - October 2, 2015, pp. 70-79. [PDF] [BibTeX]
              • - G. Soltana, "A Model-Based Framework for Legal Policy Simulation and Legal Compliance Checking”, in proceedings of Doctoral Symposium co-located with 18th ACM/IEEE International Conference on Model-Driven Engineering Languages and Systems (DS@MODELS 2015), Ottawa, Canada, September 29, 2015. [PDF] [BibTeX]

            • 2014:
              • - G. Soltana, E. Fourneret, M. Adedjouma, M. Sabetzadeh, and L. C. Briand, “Using UML for modeling procedural legal rules: Approach and a study of luxembourg’s tax law”, in proceedings of the 17th ACM/IEEE International Conference Model-Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September 28 - October 3, 2014, pp. 450–466. [PDF] [BibTeX]
 
Projects
" Last update: February 2018 "
  • 2019:
    • - PLEDGE: A PracticaL and Efficient Data GEnerator for UM [link].

  • 2017:
    • - SDG: a model-based Synthetic Data Generator for supporting usage-based statistical testing [link].

  • 2016:
    • - PoliSim: a tool for model-based probabilistic simulation of procedural legal policies [link].

    • 2009:
      • - Project: Reverse-Engineering and Optimization of Tunisian Governments's Vehicle Fleet Management System [demo].