Birgitta Lindström

A fuzzy logic approach to influence maximization in social networks

Yacine Atif, Kanna Al-Falahi, Tshering Wangchuk, Birgitta Lindström

Journal of Ambient Intelligence and Humanized Computing

2020. Artikel. https://doi.org/10.1007/s12652-019-01286-2 Open Access

Message from the TestEd 2020 Chairs

Birgitta Lindström, Jeff Offutt, Kesina Baral, András Márki

2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops: 23–27 March 2020 Porto, Portugal

2020. Konferensbidrag. https://doi.org/10.1109/ICSTW50294.2020.00016 Open Access

Special issue on testing extra-functional properties

Mehrdad Saadatmand, Birgitta Lindström, Bernhard K. Aichernig

Software testing, verification & reliability

2020. Artikel, editorial. https://doi.org/10.1002/stvr.1726 Open Access

On strong mutation and the theory of subsuming logic‐based mutants

Birgitta Lindström, András Márki

Software testing, verification & reliability

2019. Artikel. https://doi.org/10.1002/stvr.1667

Teaching an International Distributed Discussion-Based Course

Jeff Offutt, Birgitta Lindström, Kesina Baral

Proceedings of the 2019 International Conference on Frontiers in Education: Computer Science & Computer Engineering (FECS'19)

2019. Konferensbidrag. Open Access

Cyber-threat analysis for Cyber-Physical Systems: Technical report for Package 4, Activity 3 of ELVIRA project

Yacine Atif, Yuning Jiang, Manfred A. Jeusfeld, Jianguo Ding, Birgitta Lindström, Sten F. Andler, Christoffer Brax, Daniel Haglund, Björn Lindström

2018. Rapport.

Multi-agent Systems for Power Grid Monitoring: Technical report for Package 4.1 of ELVIRA project

Yacine Atif, Yuning Jiang, Birgitta Lindström, Jianguo Ding, Manfred Jeusfeld, Sten Andler, Eva Nero, Christoffer Brax, Daniel Haglund

2018. Rapport.

Using Mutant Stubbornness to Create Minimal and Prioritized Test Sets

Loreto González-Hernández, Birgitta Lindström, Jeff Offutt, Sten F. Andler, Pasqualina Potena, Markus Bohlin

2018 IEEE International Conference on Software Quality, Reliability and Security (QRS)

2018. Konferensbidrag. https://doi.org/10.1109/QRS.2018.00058

Complex Dependencies Analysis: Technical Description of Complex Dependencies in Critical Infrastructures, i.e. Smart Grids. Work Package 2.1 of the ELVIRA Project

Yuning Jiang, Jianguo Ding, Yacine Atif, Manfred Jeusfeld, Sten Andler, Birgitta Lindström, Christoffer Brax, Daniel Haglund

2018. Rapport.

Identifying Useful Mutants to Test Time Properties

Birgitta Lindström, Jeff Offutt, Loreto González-Hernández, Sten F. Andler

2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW)

2018. Konferensbidrag. https://doi.org/10.1109/ICSTW.2018.00030

Cyber-Threat Intelligence Architecture for Smart-Grid Critical Infrastructures Protection

Yacine Atif, Jianguo Ding, Birgitta Lindström, Manfred Jeusfeld, Sten F. Andler, Jiang Yuning, Christoffer Brax, Per M. Gustavsson

The International Conference on Critical Information Infrastructures Security, CRITIS 2017, Lucca, Italy, October 8-13, 2017

2017. Konferensbidrag, poster.

CPS-based Threat Modeling for Critical Infrastructure Protection

Jianguo Ding, Yacine Atif, Sten F. Andler, Birgitta Lindström, Manfred Jeusfeld

Performance Evaluation Review

2017. Artikel. https://doi.org/10.1145/3152042.3152080

Using mutation to design tests for aspect-oriented models

Birgitta Lindström, Jeff Offutt, Daniel Sundmark, Sten F. Andler, Paul Pettersson

Information and Software Technology

2017. Artikel. https://doi.org/10.1016/j.infsof.2016.04.007

Targeted Mutation: Efficient Mutation Analysis for Testing Non-Functional Properties

Björn Lisper, Birgitta Lindström, Pasqualina Potena, Mehrdad Saadatmand, Markus Bohlin

Proceedings: 10th IEEE International Conference on Software Testing, Verification and Validation: Workshops: ICSTW 2017

2017. Konferensbidrag. https://doi.org/10.1109/ICSTW.2017.18

Mutation tools for Java

András Márki, Birgitta Lindström

SAC '17 Proceedings of the Symposium on Applied Computing

2017. Konferensbidrag. https://doi.org/10.1145/3019612.3019825

UML Associations: Reducing the gap in test coverage between model and code

Anders Eriksson, Birgitta Lindström

Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development

2016. Konferensbidrag. https://doi.org/10.5220/0005745205890599

Testability and Software Performance: A Systematic Mapping Study

Mohammad Mahdi Hassan, Wasif Afzal, Birgitta Lindström, Syed Muhammad Ali Shah, Sten F. Andler, Martin Blom

SAC '16: Proceedings of the 31st Annual ACM Symposium on Applied Computing April 2016

2016. Konferensbidrag. https://doi.org/10.1145/2851613.2851978

On Strong Mutation and Subsuming Mutants

Birgitta Lindström, András Márki

Proceedings: 2016 IEEE International Conference on Software Testing, Verification and Validation Workshops

2016. Konferensbidrag. https://doi.org/10.1109/ICSTW.2016.28

Robustness Testing of Embedded Software Systems: An Industrial Interview Study

Syed Muhammad Ali Shah, Daniel Sundmark, Birgitta Lindström, Sten F. Andler

IEEE Access

2016. Artikel. https://doi.org/10.1109/ACCESS.2016.2544951 Open Access

Towards Threat Modeling for CPS-based Critical Infrastructure Protection

Jianguo Ding, Birgitta Lindström, Gunnar Mathiason, Sten F. Andler

Proceedings of the International Emergency Management Society (TIEMS), 22nd TIEMS Annual Conference: Evolving threats and vulnerability landscape: new challenges for the emergency management

2015. Konferensbidrag.

Testability and Software Robustness: A Systematic Literature Review

Mohammad Mahdi Hassan, Wasif Afzal, Martin Blom, Birgitta Lindström, Sten F. Andler, Sigrid Eldh

Proceedings 41st Euromicro Conference on Software Engineering and Advanced Applications SEAA 2015

2015. Konferensbidrag. https://doi.org/10.1109/SEAA.2015.47

Mutating Aspect-Oriented Models to Test Cross-Cutting Concerns

Birgitta Lindström, Sten F. Andler, Jeff Offutt, Paul Pettersson, Daniel Sundmark

2015 IEEE 8th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2015 - Proceedings

2015. Konferensbidrag. https://doi.org/10.1109/ICSTW.2015.7107456

On redundant mutants and strong mutation

Birgitta Lindström, András Márki

2015. Rapport.

Transformation rules for platform independent testing: An empirical study

Anders Eriksson, Birgitta Lindström, Jeff Offutt

Proceedings of the Sixth IEEE International Conference on Software Testing, Verification and Validation, ICST 2013

2013. Konferensbidrag. https://doi.org/10.1109/ICST.2013.28 Open Access

Model transformation impact on test artifacts: An empirical study

Anders Eriksson, Birgitta Lindström, Sten F. Andler, Jeff Offutt

Proceedings of the Workshop on Model-Driven Engineering, Verification and Validation, MoDeVVa 2012

2012. Konferensbidrag. https://doi.org/10.1145/2427376.2427378

Testability of Dynamic Real-Time Systems

Birgitta Lindström

2009. Doktorsavhandling.

Testability of Dynamic Real-Time Systems: An Empirical Study of Constrained Execution Environment Implications

Birgitta Lindström, Jeff Offutt, Sten F. Andler

Proceedings of the First International Conference on Software Testing, Verification and Validation: ICST 2008

2008. Konferensbidrag. https://doi.org/10.1109/ICST.2008.21

Six Issues in Testing Event-Triggered Real-Time Systems

Birgitta Lindström, Robert Nilsson, AnnMarie Ericsson, Mats Grindal, Sten F. Andler, Bengt Eftring, Jeff Offutt

2007. Rapport.

Generating Trace-Sets for Model-Based Testing

Birgitta Lindström, Paul Pettersson, Jeff Offutt

Proceedings 18th IEEE International Symposiumon Software Reliability Engineering: ISSRE 2007

2007. Konferensbidrag. https://doi.org/10.1109/ISSRE.2007.15

An Evaluation of Combination Strategies for Test Case Selection

Mats Grindal, Birgitta Lindström, Jeff Offutt, Sten F. Andler

Empirical Software Engineering

2006. Artikel. https://doi.org/10.1007/s10664-006-9024-2

Model-Checking with Insufficient Memory Resources

Birgitta Lindström, Paul Pettersson

2006. Rapport. Open Access

Using an Existing Suite of Test Objects: Experience from a Testing Experiment

Birgitta Lindström, Mats Grindal, Jeff Offutt

ACM SIGSOFT Software Engineering Notes: SECTION: Workshop on empirical research in software testing papers

2004. Konferensbidrag. https://doi.org/10.1145/1022494.1022535

An Evaluation of Combination Strategies for Test Case Selection

Mats Grindal, Birgitta Lindström, Jeff Offutt, Sten F Andler

2003. Rapport.

Testability of dynamic real-time systems

Birgitta Lindström, Jonas Mellin, Sten F. Andler

Proceedings of Eigth International Conference on Real-Time Computing Systems and Applications (RTCSA2002)

2002. Konferensbidrag.

Sökträffar

Söktips

Genvägar

Hur kan vi hjälpa dig?

Forskning

2020

2019

2018

2017

2016

2015

2013

2012

2009

2008

2007

2006

2004

2003

2002

DOMINO: Dominator-mutanter

Platform Independent Level of Testing (PILOT)

TOCSYC: Testning av kritiska egenskaper i komplexa system

Infrastrukturers motståndskraft – ELVIRA

Möt Högskolan