Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 33

Doctoral Thesis (1)

Unmasking fault tolerance (Feb 2014)
Nils Müllner

Journal article (6)

Handling Constraints in Combinatorial Interaction Testing in the Presence of Multi Objective Particle Swarm and Multithreading (Apr 2017)
Bestoun Ahmed , Luca Gambardella , Wasif Afzal, Kamal Zamli
Information and Software Technology (2017) (IST)

Using mutation to design tests for aspect-oriented models (Jan 2017)
Birgitta Lindström, Jeff Offutt, Daniel Sundmark, Sten F. Andler, Paul Pettersson
Information and Software Technology (IST)

Early execution time-estimation through automatically generated timing models (Nov 2016)
Peter Altenbernd , Jan Gustafsson, Björn Lisper, Friedhelm Stappert
Real-Time Systems: The International Journal of Time-Critical Computing Systems (RTSJ'15)

Optimum Design of PID Controller for an Automatic Voltage Regulator System Using Combinatorial Test Design (Oct 2016)
Bestoun Ahmed , Mouayad Sahib , Luca Gambardella , Wasif Afzal, Kamal Zamli
PLOS ONE (PLOS ONE)

Robustness Testing of Embedded Software Systems: An Industrial Interview Study (Mar 2016)
Daniel Sundmark, Syed Muhammad Ali Shah , Birgitta Lindström, Sten F. Andler
Journal of IEEE Access (IEEE-Access)

Combining decomposition and reduction for state space analysis of a self-stabilizing system (Nov 2013)
Nils Müllner, Oliver Theel , Martin Fränzle
Journal of Computer and System Sciences (JCSS)

Conference/Workshop Paper (25)

Simulation-Based Safety Testing Brake-By-Wire (Mar 2017)
Nils Müllner, Saifullah Khan , Md Habibur Rahman, Wasif Afzal, Mehrdad Saadatmand
ICST workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS'17)

Targeted Mutation: Efficient Mutation Analysis for Testing Non-Functional Properties (Mar 2017)
Björn Lisper, Birgitta Lindström, Pasqualina Potena, Mehrdad Saadatmand, Markus Bohlin
ICST workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems (ITEQS'17)

A Comparative Study of Manual and Automated Testing for Industrial Control Software (Mar 2017)
Eduard Paul Enoiu, Adnan Causevic, Daniel Sundmark, Paul Pettersson
International Conference on Software Testing, Verification and Validation (ICST 2017)

Cost-Benefit Analysis of Using Dependency Knowledge at Integration Testing (Nov 2016)
Sahar Tahvili, Markus Bohlin, Mehrdad Saadatmand, Stig Larsson , Wasif Afzal, Daniel Sundmark
The 17th International Conference On Product-Focused Software Process Improvement (PROFES'16)

Experience Report: Automated System Level Regression Test Prioritization Using Multiple Factors (Oct 2016) -- Best Paper Award--
Per Strandberg, Daniel Sundmark, Wasif Afzal, Thomas Ostrand, Elaine Weyuker
27th International Symposium on Software Reliability Engineering (ISSRE'16)

Mutation-Based Test Generation for PLC Embedded Software using Model Checking (Oct 2016) -- Best Paper Award--
Eduard Paul Enoiu, Daniel Sundmark, Adnan Causevic, Robert Feldt , Paul Pettersson
The International Conference on Testing Software and Systems (ICTSS)

Enhanced PCB Based Slicing (Jun 2016)
Husni Khanfar, Björn Lisper
Fifth International Valentin Turchin Workshop on Metacomputation (META 2016 )

Towards Earlier Fault Detection by Value-Driven Prioritization of Test Cases Using Fuzzy TOPSIS (Apr 2016)
Sahar Tahvili, Wasif Afzal, Mehrdad Saadatmand, Markus Bohlin, Daniel Sundmark, Stig Larsson
13th International Conference on Information Technology : New Generations (ITNG 2016) (ITNG'16)

Dynamic Integration Test Selection Based on Test Case Dependencies (Apr 2016)
Sahar Tahvili, Mehrdad Saadatmand, Stig Larsson , Wasif Afzal, Markus Bohlin, Daniel Sundmark
The 11th Workshop on Testing: Academia-Industry Collaboration, Practice and Research Techniques (TAIC PART 2016)

A Controlled Experiment in Testing of Safety-Critical Embedded Software (Apr 2016)
Eduard Paul Enoiu, Adnan Causevic, Daniel Sundmark, Paul Pettersson
IEEE International Conference on Software Testing, Verification and Validation (ICST)

Testability and software performance: A systematic mapping study (Apr 2016)
Mohammad Mahdi Hassan, Wasif Afzal, Birgitta Lindström, Syed Muhammad Ali Shah , Sten F. Andler, Martin Blom
31st ACM Symposium on Applied Computing (SAC'16)

Cooperation and Network Coding based MAC Protocol for VANETs (Dec 2015)
Saifullah Khan , Muhammad Alam , Nils Müllner, Martin Fränzle
Proceedings of the 2015 IEEE Vehicular Networking Conference (VNC) (VNC2015)

Multi-Criteria Test Case Prioritization Using Fuzzy Analytic Hierarchy Process (Nov 2015)
Sahar Tahvili, Mehrdad Saadatmand, Markus Bohlin
The Tenth International Conference on Software Engineering Advances (ICSEA 2015)

Offline Analysis of Independent Guarded Assertions in Automotive Integration Testing (Aug 2015)
Guillermo Rodriguez-Navas, Avenir Kobetski , Daniel Sundmark, Thomas Gustafsson
12th IEEE INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS (ICESS 2015)

Statistical Analysis of Resource Usage of Embedded Systems Modeled in EAST-ADL (Jul 2015)
Raluca Marinescu, Eduard Paul Enoiu, Cristina Seceleanu
IEEE Computer Society Annual Symposium on VLSI (ISVLSI)

Static Backward Program Slicing for Safety Critical Systems (Jun 2015)
Husni Khanfar, Björn Lisper, Abu Naser Masud
The 20th International Conference on Reliable Software Technologies (Ada-Europe-2015)

Testability and Software Robustness: A Systematic Literature Review (May 2015)
Mohammad Mahdi Hassan, Wasif Afzal, Martin Blom, Birgitta Lindström, Sten F. Andler, Sigrid Eldh
The 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA'15)

Automotive System Testing by Independent Guarded Assertions (Apr 2015)
Thomas Gustafsson , Mats Skoglund , Avenir Kobetski , Daniel Sundmark
Academia-Industry Collaboration, Practice and Research Techniques (TAIC PART 2015 )

Mutating Aspect-Oriented Models to Test Cross-Cutting Concerns (Apr 2015)
Birgitta Lindström, Sten F. Andler, Jeff Offutt, Paul Pettersson, Daniel Sundmark
10th International Workshop on Mutation Analysis (Mutation 2015)

Estimating the Probability of a Timely Traffic-Hazard Warning via Simulation (Apr 2015)
Nils Müllner, Martin Fränzle , Sibylle Fröschle
Annual Simulation Symposium (AnSS)

Static Backward Demand-Driven Slicing (Jan 2015)
Björn Lisper, Abu Naser Masud, Husni Khanfar
ACM Sigplan-Sigact Symposium on Partial Evaluation and Program Manipulation (PEPM)

Composing Thermostatically Controlled Loads to Determine the Reliability against Blackouts (May 2014)
Nils Müllner, Oliver Theel , Martin Fränzle
Advanced Information Networking and Applications Workshops (WAINA), 2014 28th International Conference on (WAINA2014)

Combining Decomposition and Lumping to Evaluate Semi-hierarchical Systems (May 2014)
Nils Müllner, Oliver Theel , Martin Fränzle
Advanced Information Networking and Applications 2014, 28th International Conference on (AINA2014)

Modeling options for demand side participation of thermostatically controlled loads (Aug 2013)
Maryam Kamgarpour , Christian Ellen , Sadegh Esmaeil Zadeh Soudjani , Sebastian Gerwinn , Johanna Mathieu , Nils Müllner, Alessandro Abate , Duncan Callaway , Martin Fränzle , John Lygeros
Bulk Power System Dynamics and Control-IX Optimization, Security and Control of the Emerging Power Grid (IREP), 2013 IREP (IREP2013)

Combining decomposition and reduction for state space analysis of a self-stabilizing system (Mar 2012) -- Best Paper Award--
Nils Müllner, Oliver Theel , Martin Fränzle
Advanced Information Networking and Applications (AINA), 2012 IEEE 26th International Conference on (AINA2012)

Report - MRTC (1)

An Industrial Study on Automated Test Generation and Manual Testing of IEC 61131-3 Software (Nov 2016)
Eduard Paul Enoiu, Adnan Causevic, Daniel Sundmark, Paul Pettersson

Items per page: