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

Projects 

CRESTA

An EU-funded FP7 project

Cloud Software Program

DISCO

Extension of grid computation to GP-GPU devices

DIEM

Device and Interoperability and Ecosystems

EUFORIA

EU Fusion fOR Iter Applications

PAM

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

RECOMP

Reduced Certification Costs Using Trusted Multi-core

SimITER

A problem-driven computational project within fusion physics

VAMOLA

Validation of Many Models in Many Languages

Publications 

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

The latest updated publications:

Wasif Afzal, Hugo Bruneliere, Davide Di Ruscio, Andrey Sadovykh, Silvia Mazzini, Eric Cariou, Dragos Truscan, Jordi Cabot, Abel Gómez, Jesús Gorroñogoitia, 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. Microprocessors and Microsystems , 86–95, 2018.

Tanwir Ahmad, Dragos Truscan, Ivan Porres, Identifying Worst-Case User Scenarios for Performance Testing of Web Applications Using Markov-Chain Workload Models. Future Generation Computer Systems: The International Journal of Grid Computing: Theory Methods and Applications , 11, 2018.

Adnan Ashraf, Benjamin Byholm, Ivan Porres, Distributed virtual machine consolidation: A systematic mapping study. Computer Science Review 28C, 118–130, 2018.

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 33(1), 103–120, 2018.

Benjamin Byholm, Ivan Porres, Fast algorithms for fragmentable items bin packing. Journal of Heuristics , 1–27, 2018.

Jurka Rahikkala, Sami Hyrynsalmi, Ville Leppänen, Ivan Porres, The Role of Organisational Phenomena in Software Cost Estimation: A Case Study of Supporting and Hindering Factors. E-Informatica Software Engineering Journal 12(1), 168–198, 2018.

Amin Majd, Adnan Ashraf, Elena Troubitsyna, Masoud Daneshtalab, Integrating Learning, Optimization, and Prediction for Efficient Navigation of Swarms of Drones. In: Ivan Merelli, Pietro Lio, Igor Kotenko (Eds.), 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP), 101–108, IEEE, 2018.

Faezeh Siavashi, Dragos Truscan, Jüri Vain, Vulnerability Assessment of Web Services with Model-based Mutation Testing. In: N N (Ed.), 2018 IEEE International Conference on Software Quality, Reliability and Security, 301–312, IEEE, 2018.

Faezeh Siavashi, Dragos Truscan, Juri Vain, Vulnerability Assessment of Web Services with Model-Based Mutation Testing. In: 2018 IEEE International Conference on Software Quality, Reliability and Security (QRS), 301–312, IEEE, 2018.

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.

Benjamin Byholm, Ivan Porres, Optimized Deployment Plans for Platform As a Service Clouds. In: Geoffrey Fox, Yong Chen (Eds.), Companion Proceedings of the 10th International Conference on Utility and Cloud Computing, UCC '17 Companion, 41–46, ACM, 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.

Jüri Vain, Dragos Truscan, Junaid Iqbal, Leonidas Tsiopoulos, On the Benefits of Using Aspect-Orientation in UPPAAL Timed Automata. In: Sunil Kumar Khatri, R.K. Kapur, Ajay Rana, Sanjay Singh, P.K. Kapur (Eds.), International Conference on Infocom Technologies and Unmanned Systems (ICTUS 2017), 978-1-5386-0514-1 , 81–88, IEEE, 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.