Professor Paul Pettersson is the leader of the TOCSYC distributed research environment. Paul’s research interests include model-based verification technique, in particular model-checking and model-based testing for real-time, embedded and component systems. He is co-founders of the UPPAAL tool – a model-checker for timed systems, and several related techniques and tools in the areas of model-based testing of timed systems; schedulability analysis and code-generation of embedded and adaptive systems; and verification of component-based and resource-constrained embedded systems.
Google Scholar Profile
Google Scholar Profile
Dr. Birgitta Lindström is the project manager for TOCSYC. She leads the DRTS research group at the University of Skövde, where she has focused on software testing and testability of real-time systems since 2000. Her current research focus mainly lies in the areas of testability, mutation analysis and model-based testing of embedded systems.
Dr. Richard Torkar focuses on empirical software engineering and in particular study design and analysis of results. His main contributions have been in the field of software testing; however, he has also performed studies in many other fields in, or related to, software engineering. He currently supervises four PhD students at three different universities. Richard is affiliated with Blekinge Institute of Technology as an associate professor.
Google scholar profile
Google scholar profile
Dr. Robert Feldt is professor of software engineering at Blekinge Institute of Technology (BTH), Sweden and site leader for BTH in TOCSYC. He has also worked as an IT and software consultant for more than 20 years. His research interests include software testing and verification and validation, automated software engineering, human-centered software engineering, requirements engineering and user experience. He has published more than 100 scientific papers and released many of his research results as open-source tools and libraries. Most of his research is empirical and conducted in close collaboration with industry partners. He received a Ph.D. (Techn. Dr.) in computer engineering from Chalmers University of Technology in 2002.
Google scholar profile
Google scholar profile
Björn Lisper is professor in Computer Engineering at Mälardalen University since 1999, where he leads the Programming Languages research group. He received his PhD in 1987, from KTH, Sweden, where he also was appointed "Docent" in 1991. His current research interests are in static program analysis and its applications, especially for real-time and embedded systems. Prof. Lisper chairs the COST Action IC1202 Timing Analysis on Code-Level. He was the coordinator for the FP7 ICT project ALL-TIMES, as well as for the Marie Curie IAPP project APARTS. He is a member of IFIP WG 10.2 on Embedded Systems.
Google scholar profile
Google scholar profile
Adj. Professor Markus Bohlin is the leader of the Industrial Efficiency (IND-E) focus area at SICS. He received his PhD at Mälardalen University in 2009; the topic of his thesis was practical combinatorial optimization problems in industry. In 2013 he was appointed as Associate Professor (Docent) in Computer Science at Mälardalen University, where he is also supervising three PhD students. He currently serves as the president of the Swedish Operations Research Association. His research interests are in the real-world application of optimization methods and operations research to industrial processes, in particular to railways, embedded software verification and validation, and industrial maintenance. His work has been published in more than 25 conference proceedings and journals. Two core algorithms he designed have been successfully deployed in industry.
Google scholar profile
Google scholar profile
Prof. Sten F. Andler is a professor of Computer Science at University of Skövde since 1992. He received his MSc 1976 and PhD 1979 in Computer Science from Carnegie Mellon University, Pittsburgh, Pennsylvania, USA as well as a PhD 1979 in Computer Science (tekn. dr. i datalogi) from Chalmers University of technology, Göteborg, Sweden. Before joining the University, he served as Research Staff Member with IBM Research Division at Almaden Research Center, San Jose, California, USA (1979 – 1992). He currently serves as a Member of the Board of Directors of the International Society of Information Fusion and as an Member of the Editorial Board of Innovations in Systems and Software Engineering. His research primarily revolves around software engineering of embedded systems, including testing, information fusion, and distributed systems issues.
Google scholar profile
Google scholar profile
Dr. Wasif Afzal is a postdoctoral research fellow at the Software Testing Laboratory, Mälardalen Univeristy, Västerås. His research focusses on empirical research in software engineering in general and within software verification and validation in particular. Some keywords that describe his research interests are prediction and estimation in software engineering, application of artificial intelligence techniques in software engineering (including search-based software engineering), decision-making based on software analytics, software testing and quality, software metrics and evidential assessment of software engineering literature.
Google scholar profile
Google scholar profile
Prof. Daniel Sundmark focuses on research within different aspects of embedded systems and industrial software. He currently holds a chair at Mälardalen University, affiliated with Volvo Construction Equipment. Daniel further leads of the Software Testing Laboratory research group at Mälardalen University together with Prof. Paul Pettersson.
Google scholar profile
Google scholar profile
Dr. Jeff Offutt is Professor of Software Engineering at George Mason University. He has published over 155 refereed papers (H-index=54), co-authored Introduction to Software Testing, is editor-in-chief of Wiley's journal of Software Testing, Verification and Reliability, and helped found the IEEE International Conference on Software Testing, Verification and Validation (ICST). He has contributed to mutation testing, model-based testing, criteria-based testing, test automation, empirical software engineering, software maintenance, among others. He started the muJava project and continues to distribute it.
Google Scholar Profile
Google Scholar Profile
Dr. Syed M. A. Shah is researcher at Software and Systems Engineering (SSE) Laboratory of SICS. His research focus is on empirical software engineering, software testing and quality. In TOCSYC project, he aims to find the state of practice methods/procedures/activities etc., for testing PERT (performance efficiency, robustness and testability) characteristics of embedded systems. Prior to the current position, he was ERCIM post-doctorate fellow at SICS, and before that he was research assistant in software engineering lab for approximately three years at Politecnico di Torino in Italy, from where he has obtained his doctorate degree (PhD) in Software Engineering. He hold the Master of Science in software engineering from Blekinge Institute of Technology in Sweden.
Dr.-Ing. Nils Müllner did his PhD in Oldenburg, Germany, on improving model checking methods for determining the robustness of (structured) distributed systems. Nils also has a background of simulating algorithms and traffic networks for quantifying performance and safety measures with regards to temporal constraints. His motivation lies in applying these methods to software testing.
Google Scholar Profile
Google Scholar Profile
Dr. Mehrdad Saadatmand is a senior researcher in Software Engineering at the RISE SICS Västerås. He holds a PhD degree in Software Engeering from Mälardalen University and his doctoral thesis is titled "Preservation of Extra-Functional Properties in Embedded Systems Development". Mehrdad got his bachelor degree in Computer Science at Ferdowsi University of Mashhad, Iran. In 2009 he graduated as M.Sc. in Software Engineering from Mälardalen University. He has worked with the SAVE project team at Mälardalen Real-Time Centre (MRTC) as part of his master thesis. After graduation, he got employed by Enea and also started his Ph.D. studies in Model-Based Engineering of Real-Time Embedded Systems. At Enea, he was working in the scope of the CHESS European project. Later, during his employment at Alten, and collaborating with Mälardalen University, he got involved in the MBAT European project which aimed to exploit the synergy between Model-Based Analysis and Testing in verification of embedded systems.
Dr. Loreto Gonzalez-Hernandez is a postdoctoral researcher at the University of Skövde. She earned her Ph.D. in Computer Science (area of expertise: Combinatorial Optimization) from the Center for Research and Advanced Studies of the National Polytechnic Institute (CINVESTAV, Mexico) in 2013. Her research interests include software engineering and, in particular, develop new software testing techniques that may help testers to detect software failures in a more effective way. Before joining the university, she was postdoctoral fellow and visiting researcher at CINVESTAV-LTI, where most of her publications aimed to develop optimization strategies for constructing test suites for Combinatorial Interaction Testing (CIT).
Dr. Pasqualina Potena is a Senior Researcher with RISE SICS Västerås, Sweden. She received the graduation degree in computer science from the University of L’Aquila and the Ph.D. degree in sciences from the University “G. D’Annunzio” Chieti e Pescara (Italy). She was a research fellow with the University of L’Aquila, Politecnico di Milano, and University of Bergamo. She also was an Experienced Researcher with the University of Alcalá (Spain) in the ICEBERG project funded by EU under Industry-Academia Partnerships and Pathways Marie Curie Program (Grant 324356). Her research interests include quality of architectures, architecture-based self-adaptation, software testing of large scale industrial software systems, non-functional properties (reliability, availability, performance, cost, ...), self-adaptive systems with uncertainties, optimization models, and Search Based Software Engineering (SBSE).
Dr. Michael Felderer is an associate professor at the Blekinge Institute of Technology and at the Department of Computer Science at the University of Innsbruck, Austria. His research interests are in the areas of software and security engineering with a focus on testing, processes and analytics. The research has a strong empirical focus, uses also methods of data science and takes human as well as value aspects into account. It aims towards the development and evaluation of efficient and effective methods to facilitate and measure quality of software systems and processes. Dr. Felderer works in close collaboration with industry and transfers his research results into practice as a consultant and speaker on industrial conferences.
Google Scholar Profile
Google Scholar Profile