Where academic tradition
meets the exciting future

Software Engineering Laboratory (SE Lab)

The mission of the Software Engineering Laboratory is to research, develop and evaluate processes, methods and tools to engineer high-quality software-intensive systems, with a focus on software performance and developer productivity.

Research Unit Web Page: https://research.it.abo.fi/research/high-performance-computing

Research Unit Web Page: https://research.it.abo.fi/research/software-engineering-laboratory

Leader of the unit

Ivan Porres

Co-leader of the unit

Jan Westerholm

Senior Researchers

Mats Aspnäs Jeanette Heidenberg Ivan Porres Dragos Truscan Jan Westerholm



An EU-funded FP7 project

Cloud Software Program


Extension of grid computation to GP-GPU devices


Device and Interoperability and Ecosystems


EU Fusion fOR Iter Applications


Practical Applications of Model-based technologies to continuous integration & testing methodologies


Reduced Certification Costs Using Trusted Multi-core


A problem-driven computational project within fusion physics


Validation of Many Models in Many Languages


Click here to see the full list of publications from the TUCS Publication Database

The latest updated publications:

Adnan Ashraf, Ivan Porres, Multi-Objective Dynamic Virtual Machine Consolidation in the Cloud Using Ant Colony System. International Journal of Parallel, Emergent and Distributed Systems , 1–18, 2017.

Wasif Afzal, Hugo Bruneliere, Davide Di Ruscio, Andrey Sadovykh, Silvia Mazzini, Eric Cariou, Dragos Truscan, Jordi Cabot, Daniel Field, Luigi Pomante, Pavel Smrz, The MegaM@Rt2 ECSEL Project – MegaModelling at Runtime – Scalable Model-based Framework for Continuous Development and Runtime Validation of Complex Systems. In: Euromicro Conference on Digital System Design (DSD), 1–10, IEEE, 2017.

Marin Aranitasi, Benjamin Byholm, Mats Neovius, Quantifying Uncertainty for Preemptive Resource Provisioning in the Cloud. In: A Min Tjoa, Roland R. Wagner (Eds.), 28th International Workshop on Database and Expert Systems Applications (DEXA), 127–131, IEEE Computer Society, 2017.

Junaid Iqbal, Dragos Truscan, Juri Vain, Ivan Porres, Reconstructing Timed Symbolic Traces from Rtioco-Based Timed Test Sequences Using Backward-Induction. In: George Angelos Papadopoulos, Ondrej Rysavy, Valentino Vranić (Eds.), Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems, 6:1–6:10, ACM, 2017.

Faezeh Siavashi, Junaid Iqbal, Dragos Truscan, Juri Vain, Testing Web Services with Model-Based Mutation. In: Enrique Cabello, Jorge Cardoso, Andre Ludwig, Leszek A. Maciaszek, Marten van Sinderen (Eds.), Software Technologies, 743, 45–67, Springer, 2017.

Benjamin Byholm, Ivan Porres, Fast Algorithms for Fragmentable Items Bin Packing. TUCS Technical Reports 1181, TUCS, 2017.

Benjamin Byholm, Ivan Porres, Dynamic Horizontal and Vertical Scaling of Multiple Cloud Services in Soft Real-Time. TUCS Technical Reports 1182, TUCS, 2017.

Kristian Nybom, Adnan Ashraf, Ivan Porres, A Systematic Mapping Study on Tools for API Documentation Generation. TUCS Technical Reports 1180, TUCS, 2017.

Adnan Ashraf, Benjamin Byholm, Ivan Porres, Prediction-Based VM Provisioning and Admission Control for Multi-Tier Web Applications. Journal of Cloud Computing 5(1), 1–21, 2016.

Johan Sten, Harri Lilja, Jari Hyväluoma, Jan Westerholm, Mats Aspnäs, Parallel Flow Accumulation Algorithms for Graphical Processing Units with Application to RUSLE Model. Computers & Geosciences 89, 88–95, 2016.

Keijo Mattila, Tuomas Puurtinen, Jari Hyväluoma, Rodrigo Surmas, Markko Myllys, Tuomas Turpeinen, Fredrik Robertsén, Jan Westerholm, Jussi Timonen, A Prospect for Computing in Porous Materials Research: Very Large Fluid Flow Simulations. Journal of Computational Science 12, 62 – 76, 2016.

Marta Olszewska, Jeanette Heidenberg, Max Weijola, Kirsi Mikkonen, Ivan Porres, Quantitatively Measuring a Large-Scale Agile Transformation. Journal of Systems and Software 117, 258–273, 2016.

Tanwir Ahmad, Dragos Truscan, Automatic Performance Space Exploration of Web Applications using Genetic Algorithms. In: Sascha Ossowski, Giorgio Buttazzo, John Kim (Eds.), The 31st ACM Symposium on Applied Computing, 795 – 800, ACM, 2016.

Kristian Nybom, Jens Smeds, Ivan Porres, On the Impact of Mixing Responsibilities Between Devs and Ops. In: Helen Sharp, Tracy Hall (Eds.), Agile Processes, in Software Engineering, and Extreme Programming: 17th International Conference, XP 2016, 131–143, Springer International Publishing, 2016.

Masoumeh Parsa, Adnan Ashraf, Dragos Truscan, Ivan Porres, On Optimization of Test Parallelization with Constraints. In: Lukas Alperowitz, Andreas Steffens (Eds.), 1st Workshop on Continuous Software Engineering co-located with Software Engineering, 164–171, CEUR-WS.org, 2016.

Irum Rauf, Pekka Perälä, Jouni Huotari, Ivan Porres, Perceived Obstacles by Novice Developers Adopting User Interface APIs and Tools. In: Alan Blackwell, Beryl Plimmer, Gem Stapleton (Eds.), 2016 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2016, 223–227, IEEE, 2016.

Faezeh Siavashi, Dragos Truscan, Irum Rauf, Juri Vain, On Mutating UPPAAL Timed Automata to Assess Robustness of Web Services. In: Leszek Maciaszek, Jorge Cardoso, André Ludwig, Marten van Sinderen, Enrique Cabello (Eds.), Proceedings of the 11th International Joint Conference on Software Technologies, 1, 15–26, SCITEPRESS-Science and Technology Publications, 2016.

Adnan Ashraf, Benjamin Byholm, Ivan Porres, Distributed Virtual Machine Consolidation: A Systematic Mapping Study. TUCS Technical Reports 1171, TUCS, 2016.

Junaid Iqbal, Leonidas Tsiopoulos, Dragos Truscan, Jüri Vain, Ivan Porres, The Crisis Management System – A Case Study in Aspect-Oriented Modeling Using UPPAAL. TUCS Technical Reports 1169, Turku Centre for Computer Science, 2016.