7th IPM International Conference on
Fundamentals of Software Engineering
(FSEN 2017)
26 - 28 April, 2017
Tehran, Iran



Home

Topics of Interest

Paper Submission

Proceedings

Important Dates

Keynote Speakers

Committees

Accepted Papers

Programme

Gallery

Registration

Visa

Travel Info

Guestbook

Contact Us

FSEN Homepage





FSEN'05  |  FSEN'07  |  FSEN'09  |  FSEN'11  |  FSEN'13  |  FSEN'15  |  FSEN Homepage


Best paper award nominations:
  • Anastasia Gkolfi, Crystal Chang Din, Einar Broch Johnsen, Martin Steffen and Ingrid Chieh Yu
    Translating Active Objects into Colored Petri Nets for Communication Analysis

  • Nils Timm, Stefan Gruner and Prince Sibanda
    Model Checking of Concurrent Software Systems via Heuristic-Guided SAT Solving

  • Ferruccio Damiani, Michael Lienhardt and Luca Paolini
    A Formal Model for Multi SPLs

Best paper award winner:
  • Ferruccio Damiani, Michael Lienhardt and Luca Paolini
    A Formal Model for Multi SPLs


Best presentation award nominations:
  • Ali Parsai, Alessandro Murgia and Serge Demeyer
    LittleDarwin: a Feature-Rich and Extensible Mutation Testing Framework for Large and Complex Java Systems

  • Mahdi Houshmand and Samad Paydar
    TCE+: an Extension of the TCE Method for Detecting Equivalent Mutants in Java Programs

Best presentation award winner:
  • Mahdi Houshmand and Samad Paydar
    TCE+: an Extension of the TCE Method for Detecting Equivalent Mutants in Java Programs
© 2014 Copyright, School of Computer Science, IPM