Post Event

Best paper award

The award for the best paper of SQAMIA 2017 belongs to:
Richárd Szalay, Zoltán Porkoláb and Dániel Krupp: Measuring Mangled Name Ambiguity in Large C/C++ Projects

Workshop schedule

Monday, 11 September

  • 13:00 – 14:00 Lunch (buffet with non-alcoholic drink)

  • 14:30 – 19:00 Sessions (“Bohemia hall”, 6th floor, Hotel “Prag”)
    • Session I chair: Zoran Budimac
    • 14:30 – 14:40 Zoran Budimac: opening
    • 14:40 – 15:00 Hannu Jaakkola, Jaak Henno and Jukka Mäkelä
      Technology and the Reincarnation Cycles of Software
    • 15:00 – 15:20 Ivan Pribela and Doni Pracner
      A Temporal File System for Student's Assignments in the System “Svetovid”
    • 15:20 – 15:40 Jaak Henno, Hannu Jaakkola and Jukka Mäkelä
      Tests of Graphics Rendering in Browsers
    • 15:40 – 16:00 Petar Rajković, Ivan Petković and Dragan Janković
      Case Study: Using Model Based Component Generator for Upgrade Projects
    • 16:00 – 16:20 Coffee break

    • Session II chair: Hannu Jaakkola
    • 16:20 – 17:10 Keynote speech: Stéphane Ducasse
      Some research ideas around Software evolution: a retrospective analysis
    • 17:10 – 17:30 Bojana Koteska, Elena Karafiloski and Anastas Mishev
      Blockchain Implementation Quality Challenges: A Literature Review
    • 17:30 – 17:50 Harri Keto and Hannu Jaakkola
      Identifying up-to-the-minute topics in software process improvement research
    • 17:50 – 18:10 David Kostanjevec, Maja Pušnik, Marjan Heričko, Boštjan Šumak, Gordana Rakić and Zoran Budimac
      A preliminary empirical exploration of quality measurement for JavaScript solutions
    • 18:10 – 18:30 Markku Kuusisto
      Barriers and Facilitators of Digitalization in Organizations
    • 18:30 – 18:50 Tina Beranič and Marjan Heričko
      Approaches for Software Metrics Threshold Derivation: A Preliminary Review
    • 18:50 – 19:10 Nicolas Anquetil, Muhammad U. Bhatti, Stéphane Ducasse, André C. Hora and Jannik Laval
      The Case for Non-Cohesive Packages
    • 19:10 - 19:30 Mirjana Ivanović, Amelia Badica, Maria Ganzha, Costin Badica, Marcin Paprzycki
      An Improvement of Requirements Engineering Course – Medical Software Case Study
  • 19:30 – 21:00 Dinner (buffet with non-alcoholic drink)
  • 21:00 Meeting: core members of SQAMIA initiative

Tuesday, 12 September

  • until 9:00 Breakfast (buffet)

  • 09:00 – 13:00 Sessions (“Bohemia hall”, 6th floor, Hotel “Prag”)
    • Session III chair: Marjan Heričko
    • 09:00 – 09:50 Keynote speech: Nuno Antunes
      Defending against Software Vulnerabilities
    • 09:50 – 10:10 Tibor Brunner and Zoltan Porkolab
      Two dimensional visualization of software metrics
    • 10:10 – 10:30 Ana Vrankovic, Tihana Galinac Grbac and Melinda Tóth
      Comparison of software structures in Java and Erlang programming languages
    • 10:30 – 10:50 Richárd Szalay, Zoltán Porkoláb and Dániel Krupp
      Measuring Mangled Name Ambiguity in Large C/C++ Projects
    • 10:50 – 11:10 Mário Santos, Joao Saraiva, Zoltan Porkolab and Daniel Krupp
      Energy Consumption Measurement of C/C++ Programs using Clang Tooling
    • 11:10 – 11:30 Coffee break

    • Session IV chair: Tihana Galinac Grbac
    • 11:30 – 11:50 Allison Sullivan, Kaiyuan Wang, Sarfraz Khurshid and Darko Marinov
      Evaluating State Modeling Techniques in Alloy
    • 11:50 – 12:10 Doni Pracner, Zoran Budimac
      A Practical Tutorial for FermaT and WSL Transformations
    • 12:10 – 12:30 Ádám Révész and Norbert Pataki
      Containerized A/B Testing
    • 12:30 – 12:50 Matija Miletić, Monika Vukušić, Goran Mauša and Tihana Galinac Grbac
      Relationship between Design and Defects for Software in Evolution
    • 12:50 – 13:00 Closing session

  • 13:00 – 14:00 Lunch (buffet with non-alcoholic drink)
  • 14:15 Transfer by bus to the river
  • 15:00 – 17:00 River cruise (drinks), back to hotel by bus
  • 19:30 Walk to the conference dinner
  • 20:00 Conference dinner (three course meal, drinks: domestic brandy (“rakija”), wine/beer, water), Restaurant “Tri šešira” (“Three hats”), Skadarska street

Wednesday, 13 September

  • Breakfast (buffet)
  • 09:30 Meeting: core members of SQAMIA initiative
  • Check-out until 12:00

Keynote speakers

Nuno Antunes, PhD

Defending against Software Vulnerabilities

Department of Informatics Engineering, University of Coimbra, Portugal

Abstract: Software applications are frequently deployed with critical security bugs. In particular, Web and Cloud applications are so exposed that the existing vulnerabilities are most probably uncovered and exploited. Avoiding such vulnerabilities depends on the best practices and tools applied during the implementation, testing and deployment phases of the software development cycle. However, many times those practices are disregarded, as developers are frequently not specialized in security and face hard time-to-deploy constraints. Furthermore, the poor efficiency of existing automatic vulnerability detection and mitigation tools opens the door for the deployment of unsecure applications.

In this presentation, we discuss some of the devils behind the software security problems and present the work that we have been doing to help developing teams in improving this status quo. This includes techniques and tools for detection of software vulnerabilities, and approaches for evaluating and comparing these tools, helping the developers in choosing in which scenarios each type of tools is or is not recommended to be used. Finally, we will also discuss techniques to evaluate intrusion detection systems.

Biography: Nuno Antunes has been working as a researcher with the CISUC since 2008, He received his PhD from the UC in 2014. His research focuses the development of Dependable and Secure applications and services, through the improvement and benchmarking of vulnerability detection tools. As of late, he is also working with Functional Security in automotive systems, verification and validation, intrusion detection and virtualized environments. He participated or is participating in 10 international projects. He is a member of program committees in several international conferences and author of more than 50 papers featured in international conferences and journals.


Stéphane Ducasse, PhD

Some research ideas around Software evolution: a retrospective analysis

INRIA Lille

Abstract: In this talk I will present some of the work recent or old that we carried over the years. It will include also an overview of the Moose reengineering platform.

Biography: Stéphane is directeur de recherche at Inria. He leads the RMoD (http://rmod.lille.inria.fr) team. He is expert in two domains: object-oriented language design and reengineering. He worked on traits, composable groups of methods. Traits have been introduced in Pharo, Perl, PHP and under a variant into Scala and Fortress. He is also expert on software quality, program understanding, program visualisations, reengineering and metamodeling. He is one of the developer of Moose, an open-source software analysis platform http://www.moosetechnology.org/. He created http://www.synectique.eu/ a company building dedicated tools for advanced software analyses. He is one of the leader of Pharo (http://www.pharo.org/) a dynamic reflective object-oriented language supporting live programming. The objective of Pharo is to create an ecosystem where innovation and business bloom. He wrote several books such as Functional Programming in Scheme, Pharo by Example, Deep into Pharo, Object-oriented Reengineering Patterns, Dynamic web development with Seaside. According to google his h-index is 52 for more than 11475 citations. He would like to thanks all the researchers making reference to his work!