| |
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
In cooperation with:
|
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 |