Mikael Lindvall

According to our database, Mikael Lindvall authored at least 92 papers between 1996 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Synthetic Generation of Dermatoscopic Images with GAN and Closed-Form Factorization.

Rohan Reddy Mekala, Frederik Pahde, Simon Baur, Sneha Chandrashekar, Madeline Diep, Markus Wenzel, Eric L. Wisotzky, Galip Ümit Yolcu, Sebastian Lapuschkin, Jackie Ma, Peter Eisert, Mikael Lindvall, Adam A. Porter, Wojciech Samek

CoRR, 2024

AI-Guided Feature Segmentation Techniques to Model Features from Single Crystal Diamond Growth.

Rohan Reddy Mekala, Elias Garratt, Matthias Muehle, Arjun Srinivasan, Adam Porter, Mikael Lindvall

CoRR, 2024

AI-Guided Defect Detection Techniques to Model Single Crystal Diamond Growth.

Rohan Reddy Mekala, Elias Garratt, Matthias Muehle, Arjun Srinivasan, Adam Porter, Mikael Lindvall

CoRR, 2024

2022

Metamorphic Testing in Bioinformatics Software: A Case Study on Metagenomic Assembly.

Brook Stacy, Jason Hauzel, Mikael Lindvall, Adam A. Porter, Mihai Pop

Proceedings of the IEEE/ACM 7th International Workshop on Metamorphic Testing, 2022

2021

Classifying User Requirements from Online Feedback in Small Dataset Environments using Deep Learning.

Rohan Reddy Mekala, Asif Irfan, Eduard C. Groen, Adam A. Porter, Mikael Lindvall

Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021

Metamorphic Testing for Image-based Calcium Imaging Analysis Pipelines.

Madeline Diep, Rohan Reddy Mekala, Ujjwal Ayyangar, Gudjon Magnusson, Adam A. Porter, Wolfgang Losert, Mikael Lindvall

Proceedings of the 6th IEEE/ACM International Workshop on Metamorphic Testing, 2021

2020

Metamorphic filtering of black-box adversarial attacks on multi-network face recognition models.

Rohan Reddy Mekala, Adam A. Porter, Mikael Lindvall

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Workshops, Seoul, Republic of Korea, 27 June, 2020

2019

Metamorphic detection of adversarial examples in deep learning models with affine transformations.

Rohan Reddy Mekala, Gudjon Einar Magnusson, Adam A. Porter, Mikael Lindvall, Madeline Diep

Proceedings of the 4th International Workshop on Metamorphic Testing, 2019

SeqScreen: a biocuration platform for robust taxonomic and biological process characterization of nucleic acid sequences of interest.

Dreycey Albin, Pravin Muthu, Gene Godbold, Mikael Lindvall, Madeline Diep, Adam A. Porter, Mihai Pop, Krista Ternus, Todd J. Treangen, Dan Nasko, Ryan A. Leo Elworth, Jacob Lu, Advait Balaji, Christian Diaz, Nidhi Shah, Jeremy D. Selengut, Chris Hulme-Lowe

Proceedings of the 2019 IEEE International Conference on Bioinformatics and Biomedicine, 2019

2018

Automated Specification Extraction and Analysis with Specstractor.

Christoph Schulze, Rance Cleaveland, Mikael Lindvall

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

A Metamorphic Testing Approach to NASA GMSEC's Flexible Publish and Subscribe Functionality.

Julian Rothermel, Mikael Lindvall, Adam A. Porter, Sigurthor Bjorgvinsson

Proceedings of the 3rd IEEE/ACM International Workshop on Metamorphic Testing, 2018

2017

Safety-Focused Security Requirements Elicitation for Medical Device Software.

Mikael Lindvall, Madeline Diep, Michele Klein, Paul L. Jones, Yi Zhang, Eugene Y. Vasserman

Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

Metamorphic Model-Based Testing of Autonomous Systems.

Mikael Lindvall, Adam A. Porter, Gudjon Magnusson, Christoph Schulze

Proceedings of the 2nd IEEE/ACM International Workshop on Metamorphic Testing, 2017

2016

Good Change and Bad Change: An Analysis Perspective on Software Evolution.

Mikael Lindvall, Martin Becker, Vasil L. Tenev, Slawomir Duszynski, Mike Hinchey

LNCS Trans. Found. Mastering Chang., 2016

Model-based Testing of Mobile Systems - An Empirical Study on QuizUp Android App.

Vignir Gudmundsson, Mikael Lindvall, Luca Aceto, Johann Bergthorsson, Dharmalingam Ganesan

Proceedings of the Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques, 2016

Resolving complex research data management issues in biomedical laboratories: Qualitative study of an industry-academia collaboration.

Sahiti Myneni, Vimla L. Patel, G. Steven Bova, Jian Wang, Christopher Ackermann, Cynthia A. Berlinicke, Steve H. Chen, Mikael Lindvall, Donald J. Zack

Comput. Methods Programs Biomed., 2016

Experience Report: Model-Based Test Automation of a Concurrent Flight Software Bus.

Dharmalingam Ganesan, Mikael Lindvall, Stefan Hafsteinsson, Rance Cleaveland, Susanne L. Strege, Walter Moleski

Proceedings of the 27th IEEE International Symposium on Software Reliability Engineering, 2016

Agile metamorphic model-based testing.

Mikael Lindvall, Dharmalingam Ganesan, Sigurthor Bjorgvinsson, Kristjan Jonsson, Haukur Steinn Logason, Frederik Dietrich, Robert E. Wiegand

Proceedings of the 1st International Workshop on Metamorphic Testing, 2016

2015

Model-based testing of NASA's GMSEC, a reusable framework for ground system software.

Vignir Gudmundsson, Christoph Schulze, Dharmalingam Ganesan, Mikael Lindvall, Robert Wiegand

Innov. Syst. Softw. Eng., 2015

Model generation to support model-based testing applied on the NASA DAT Web-application - An experience report.

Christoph Schulze, Mikael Lindvall, Sigurthor Bjorgvinsson, Robert Wiegand

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

Metamorphic Model-Based Testing Applied on NASA DAT - An Experience Report.

Mikael Lindvall, Dharmalingam Ganesan, Ragnar Ardal, Robert E. Wiegand

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

2014

ADAM: External dependency-driven architecture discovery and analysis of quality attributes.

Dharmalingam Ganesan, Mikael Lindvall

ACM Trans. Softw. Eng. Methodol., 2014

GQM+Strategies: A Comprehensive Methodology for Aligning Business Strategies with Software Measurement.

Victor R. Basili, Jens Heidrich, Mikael Lindvall, Jürgen Münch, Myrna Regardie, H. Dieter Rombach, Carolyn B. Seaman, Adam Trendowicz

CoRR, 2014

Assessing model-based testing: an empirical study conducted in industry.

Christoph Schulze, Dharmalingam Ganesan, Mikael Lindvall, Rance Cleaveland, Daniel Goldman

Proceedings of the 36th International Conference on Software Engineering, 2014

2013

An analysis of unit tests of a flight software product line.

Dharmalingam Ganesan, Mikael Lindvall, David McComas, Maureen Bartholomew, Steve Slegel, Barbara Medina, René L. Krikhaar, Chris Verhoef, Lisa P. Montgomery

Sci. Comput. Program., 2013

Model-based testing of NASA's OSAL API - An experience report.

Christoph Schulze, Dharmalingam Ganesan, Mikael Lindvall, Dave Mcf Omas, Alan Cudmore

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

An initial evaluation of model-based testing.

Vignir Gudmundsson, Christoph Schulze, Dharmalingam Ganesan, Mikael Lindvall, Robert Wiegand

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Detecting inconsistencies in wrappers: a case study.

Henning Femmer, Dharmalingam Ganesan, Mikael Lindvall, David McComas

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Connecting research and practice: an experience report on research infusion with software architecture visualization and evaluation.

Mikael Lindvall, William C. Stratton, Deane E. Sibol, Christopher Ackermann, W. Mark Reid, Dharmalingam Ganesan, David McComas, Maureen Bartholomew, Sally Godfrey

Innov. Syst. Softw. Eng., 2012

2011

Architecture Reconstruction and Analysis of Medical Device Software.

Dharmalingam Ganesan, Mikael Lindvall, Rance Cleaveland, Raoul Praful Jetley, Paul L. Jones, Yi Zhang

Proceedings of the 9th Working IEEE/IFIP Conference on Software Architecture, 2011

2010

Linking Software Development and Business Strategy Through Measurement.

Victor R. Basili, Mikael Lindvall, Myrna Regardie, Carolyn B. Seaman, Jens Heidrich, Jürgen Münch, H. Dieter Rombach, Adam Trendowicz

Computer, 2010

Architectural Analysis of Systems Based on the Publisher-Subscriber Style.

Dharmalingam Ganesan, Mikael Lindvall, Lamont Ruley, Robert Wiegand, Vuong Ly, Tina Tsui

Proceedings of the 17th Working Conference on Reverse Engineering, 2010

Architecture-Based Unit Testing of the Flight Software Product Line.

Dharmalingam Ganesan, Mikael Lindvall, David McComas, Maureen Bartholomew, Steve Slegel, Barbara Medina

Proceedings of the Software Product Lines: Going Beyond - 14th International Conference, 2010

2009

Using Semantic Networks and Context in Search for Relevant Software Engineering Artifacts.

George Karabatis, Zhiyuan Chen, Vandana Pursnani Janeja, Tania Lobo, Monish Advani, Mikael Lindvall, Raimund L. Feldmann

J. Data Semant., 2009

Evaluating the Modifiability of Software Architectural Designs.

Moshood Omolade Saliu, Günther Ruhe, Mikael Lindvall, Christopher Ackermann

Adv. Comput., 2009

Determining the Impact of Business Strategies Using Principles from Goal-oriented Measurement.

Victor R. Basili, Jens Heidrich, Mikael Lindvall, Jürgen Münch, Carolyn Seanian, Myrna Regardie, Adam Trendowicz

Proceedings of the Business Services: Konzepte, 2009

Recovering Views of Inter-System Interaction Behaviors.

Christopher Ackermann, Mikael Lindvall, Rance Cleaveland

Proceedings of the 16th Working Conference on Reverse Engineering, 2009

Verifying architectural design rules of the flight software product line.

Dharmalingam Ganesan, Mikael Lindvall, Christopher Ackermann, David McComas, Maureen Bartholomew

Proceedings of the Software Product Lines, 13th International Conference, 2009

Searching for relevant software change artifacts using semantic networks.

Mikael Lindvall, Raimund L. Feldmann, George Karabatis, Zhiyuan Chen, Vandana Pursnani Janeja

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Towards Behavioral Reflexion Models.

Christopher Ackermann, Mikael Lindvall, Rance Cleaveland

Proceedings of the ISSRE 2009, 2009

SAVE: Software Architecture Visualization and Evaluation.

Slawomir Duszynski, Jens Knodel, Mikael Lindvall

Proceedings of the 13th European Conference on Software Maintenance and Reengineering, 2009

Redesign for Flexibility and Maintainability: A Case Study.

Christopher Ackermann, Mikael Lindvall, Greg Dennis

Proceedings of the 13th European Conference on Software Maintenance and Reengineering, 2009

Why Developers Insert Security Vulnerabilities into Their Code.

Kaarina Karppinen, Lyly Yonkwa, Mikael Lindvall

Proceedings of the Second International Conference on Advances in Computer-Human Interaction, 2009

2008

Bridging the Software Architecture Gap.

Mikael Lindvall, Dirk Muthig

Computer, 2008

Anything You Want to Ask about Software Reliability Engineering.

Michael G. Hinchey, Karama Kanoun, Mikael Lindvall, Michael R. Lyu, Tiziana Margaria, Veena B. Mendiratta, Paul Pettersson, Norman F. Schneidewind, W. Eric Wong

Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

An Analysis Framework for Inter-system Interaction Behavior.

Christopher Ackermann, Deane E. Sibol, William C. Stratton, Mikael Lindvall, Sally Godfrey

Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

Detecting Security Vulnerabilities with Software Architecture Analysis Tools.

Kaarina Karppinen, Mikael Lindvall, Lyly Yonkwa

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

2007

Experimenting with software testbeds for evaluating new technologies.

Mikael Lindvall, Ioana Rus, Paolo Donzelli, Atif M. Memon, Marvin V. Zelkowitz, Aysu Betin-Can, Tevfik Bultan, Christopher Ackermann, Bettina Anders, Sima Asgari, Victor R. Basili, Lorin Hochstein, Jörg Fellmann, Forrest Shull, Roseanne Tesoriero Tvedt, Daniel Pech, Daniel Hirschbach

Empir. Softw. Eng., 2007

Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers.

Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp

Autom. Softw. Eng., 2007

The SAVE Tool and Process Applied to Ground Software Development at JHU/APL: An Experience Report on Technology Infusion.

William C. Stratton, Deane E. Sibol, Mikael Lindvall, Patricia Costa

Proceedings of the 31st Annual IEEE / NASA Software Engineering Workshop (SEW-31 2007), 2007

Software Architecture-Driven Detection of Security Vulnerabilities.

Kaarina Karppinen, Mikael Lindvall

Proceedings of the 2007 International Conference on Software Engineering Research & Practice, 2007

Bridging the Gap between Business Strategy and Software Development.

Victor R. Basili, Jens Heidrich, Mikael Lindvall, Jürgen Münch, Myrna Regardie, H. Dieter Rombach, Carolyn B. Seaman, Adam Trendowicz

Proceedings of the International Conference on Information Systems, 2007

GQM⁺ Strategies - Aligning Business Strategies with Software Measurement.

Victor R. Basili, Jens Heidrich, Mikael Lindvall, Jürgen Münch, Myrna Regardie, Adam Trendowicz

Proceedings of the First International Symposium on Empirical Software Engineering and Measurement, 2007

Assessing the Quality Impact of Design Inspections.

Christopher Ackermann, Forrest Shull, Ralf Carbon, Christian Denger, Mikael Lindvall

Proceedings of the First International Symposium on Empirical Software Engineering and Measurement, 2007

2006

Case Studies of Static Software Architecture Evaluations.

Jens Knodel, Mikael Lindvall, Dirk Muthig, Matthias Naab

Softwaretechnik-Trends, 2006

Understanding Change Requests to Predict Software Impact.

Christopher Ackermann, Mikael Lindvall

Proceedings of the 30th Annual IEEE / NASA Software Engineering Workshop (SEW-30 2006), 2006

Static Evaluation of Software Architectures.

Jens Knodel, Dirk Muthig, Matthias Naab, Mikael Lindvall

Proceedings of the 10th European Conference on Software Maintenance and Reengineering (CSMR 2006), 2006

2005

An evolutionary testbed for software technology evaluation.

Mikael Lindvall, Ioana Rus, Forrest Shull, Marvin V. Zelkowitz, Paolo Donzelli, Atif M. Memon, Victor R. Basili, Patricia Costa, Roseanne Tesoriero Tvedt, Lorin Hochstein, Sima Asgari, Christopher Ackermann, Daniel Pech

Innov. Syst. Softw. Eng., 2005

Combating architectural degeneration: a survey.

Lorin Hochstein, Mikael Lindvall

Inf. Softw. Technol., 2005

Static Evaluation of Software Architectures - A Short Summary.

Jens Knodel, Mikael Lindvall, Dirk Muthig

Proceedings of the Fifth Working IEEE / IFIP Conference on Software Architecture (WICSA 2005), 2005

Experimenting with Software Architecture Flexibility Using an Implementation of the Tactical Separation Assisted Flight Environment.

Bettina Anders, Jörg Fellmann, Mikael Lindvall, Ioana Rus

Proceedings of the 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 2005

Towards Reusable Measurement Patterns.

Mikael Lindvall, Paolo Donzelli, Sima Asgari, Victor R. Basili

Proceedings of the 11th IEEE International Symposium on Software Metrics (METRICS 2005), 2005

Application of design for verification with concurrency controllers to air traffic control software.

Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

2004

Agile Software Development in Large Organizations.

Mikael Lindvall, Dirk Muthig, Aldo Dagnino, Christina Wallin, Michael Stupperich, David Kiefer, John May, Tuomo Kähkönen

Computer, 2004

Evaluating software architectures.

Roseanne Tesoriero Tvedt, Patricia Costa, Mikael Lindvall

Adv. Comput., 2004

An introduction to agile methods.

David Cohen, Mikael Lindvall, Patricia Costa

Adv. Comput., 2004

2003

Process diversity.

Ioana Rus, Carolyn B. Seaman, Mikael Lindvall

J. Softw. Maintenance Res. Pract., 2003

Software systems support for knowledge management.

Mikael Lindvall, Ioana Rus, Sachin Suman Sinha

J. Knowl. Manag., 2003

An Empirically-Based Process for Software Architecture Evaluation.

Mikael Lindvall, Roseanne Tesoriero Tvedt, Patricia Costa

Empir. Softw. Eng., 2003

Impact Analysis in Software Evolution.

Mikael Lindvall

Adv. Comput., 2003

Lessons Learned from Building Experience Factories for Software Organizations.

Mikael Lindvall, Ioana Rus

Proceedings of the WM 2003: Professionelles Wissensmanagement, 2003

Diagnosing architectural degeneration.

Lorin Hochstein, Mikael Lindvall

Proceedings of the 28th Annual IEEE / NASA Software Engineering Workshop (SEW-28 2003), 2003

Measuring Software Sustainability.

Robert C. Seacord, Joseph Elm, Wolf Goethert, Grace A. Lewis, Daniel Plakosh, John E. Robert, Lutz Wrage, Mikael Lindvall

Proceedings of the 19th International Conference on Software Maintenance (ICSM 2003), 2003

2002

Guest Editors' Introduction: Knowledge Management in Software Engineering.

Ioana Rus, Mikael Lindvall

IEEE Softw., 2002

Empirical Findings in Agile Methods.

Mikael Lindvall, Victor R. Basili, Barry W. Boehm, Patricia Costa, Kathleen Coleman Dangle, Forrest Shull, Roseanne Tesoriero Tvedt, Laurie A. Williams, Marvin V. Zelkowitz

Proceedings of the Extreme Programming and Agile Methods, 2002

What We Have Learned About Fighting Defects.

Forrest Shull, Victor R. Basili, Barry W. Boehm, A. Winsor Brown, Patricia Costa, Mikael Lindvall, Daniel Port, Ioana Rus, Roseanne Tesoriero, Marvin V. Zelkowitz

Proceedings of the 8th IEEE International Software Metrics Symposium (METRICS 2002), 2002

Avoiding Architectural Degeneration: An Evaluation Process for Software Architecture.

Mikael Lindvall, Roseanne Tesoriero Tvedt, Patricia Costa

Proceedings of the 8th IEEE International Software Metrics Symposium (METRICS 2002), 2002

Technology Support for Knowledge Management.

Mikael Lindvall, Ioana Rus, Sachin Suman Sinha

Proceedings of the Advances in Learning Software Organizations, 4th International Workshop, 2002

Does the Code Match the Design? A Process for Architecture Evaluation.

Roseanne Tesoriero Tvedt, Patricia Costa, Mikael Lindvall

Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

A Light-Weight Process for Capturing and Evolving Defect Reduction Experience.

Victor R. Basili, Mikael Lindvall, Forrest Shull

Proceedings of the 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2002

2001

An Industrial Survey of Requirements Interdependencies in Software Product Release Plannin.

Pär Carlshamre, Kristian Sandahl, Mikael Lindvall, Björn Regnell, Johan Natt och Dag

Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001

Building an Experience Base for Software Engineering: A Report on the First CeBASE eWorkshop.

Victor R. Basili, Roseanne Tesoriero, Patricia Costa, Mikael Lindvall, Ioana Rus, Forrest Shull, Marvin V. Zelkowitz

Proceedings of the Product Focused Software Process Improvement, 2001

Lessons Learned about Structuring and Describing Experience for Three Experience Bases.

Mikael Lindvall, Michael Frey, Patricia Costa, Roseanne Tesoriero

Proceedings of the Advances in Learning Software Organizations, 2001

2000

Guest Editors' Introduction: Process Diversity in Software Development.

Mikael Lindvall, Ioana Rus

IEEE Softw., 2000

1999

Measurement of Change: Stable and Change-Prone Constructs in a Commercial C++ System.

Mikael Lindvall

Proceedings of the 6th IEEE International Software Metrics Symposium (METRICS 1999), 1999

1998

Monitoring and measuring the change-prediction process at different granularity levels: an empirical study.

Mikael Lindvall

Softw. Process. Improv. Pract., 1998

Traceability aspects of impact analysis in object-oriented systems.

Mikael Lindvall, Kristian Sandahl

J. Softw. Maintenance Res. Pract., 1998

How well do experienced software developers predict software change?

Mikael Lindvall, Kristian Sandahl

J. Syst. Softw., 1998

An Extended Replication of an Experiment for Assessing Methods for Software Requirements Inspections.

Kristian Sandahl, Ola Blomkvist, Joachim Karlsson, Christian Krysander, Mikael Lindvall, Niclas Ohlsson

Empir. Softw. Eng., 1998

The Visibility of Maintenance in Object Models: An Empirical Study.

Mikael Lindvall, Magnus Runesson

Proceedings of the 1998 International Conference on Software Maintenance, 1998

1997

Evaluating Impact Analysis - A Case Study.

Mikael Lindvall

Empir. Softw. Eng., 1997

1996

Practical Implications of Traceability.

Mikael Lindvall, Kristian Sandahl

Softw. Pract. Exp., 1996