Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2018Automated specification extraction and analysis with specstractor
Schulze, C.; Cleaveland, R.; Lindvall, M.
Konferenzbeitrag
2018A metamorphic testing approach to NASA GMSEC's flexible publish and subscribe functionality
Rothermel, J.; Lindvall, M.; Porter, A.; Bjorgvinsson, S.
Konferenzbeitrag
2017Metamorphic model-based testing of autonomous systems
Lindvall, M.; Porter, A.; Magnusson, G.; Schulze, C.
Konferenzbeitrag
2017Safety-focused security requirements elicitation for medical device software
Lindvall, M.; Diep, M.; Klein, M.; Jones, P.; Zhang, Y.; Vasserman, E.
Konferenzbeitrag
2016Agile metamorphic model-based testing
Lindvall, M.; Ganesan, D.; Bjorgvinsson, S.; Jonsson, K.; Logason, H.S.; Dietrich, F.; Wiegand, R.E.
Konferenzbeitrag
2016Experience Report: Model-based test automation of a concurrent flight software bus
Ganesan, D.; Lindvall, M.; Hafsteinsson, S.; Cleaveland, R.; Strege, S.L.; Moleski, W.
Konferenzbeitrag
2016Good change and bad change: An analysis perspective on software evolution
Lindvall, Mikael; Becker, Martin; Tenev, Vasil; Duszynski, Slawomir; Hinchey, Mike
Aufsatz in Buch
2016Model-based testing of mobile systems - an empirical study on QuizUp Android app
Gudmundsson, V.; Lindvall, M.; Aceto, L.; Bergthorsson, J.; Ganesan, D.
Konferenzbeitrag
2016Resolving complex research data management issues in biomedical laboratories: Qualitative study of an industry-academia collaboration
Myneni, S.; Patel, V.L.; Bova, G.S.; Wang, J.; Ackerman, C.F.; Berlinicke, C.A.; Chen, S.H.; Lindvall, M.; Zack, D.J.
Zeitschriftenaufsatz
2015Metamorphic model-based testing applied on NASA DAT - an experience report
Lindvall, M.; Ganesan, D.; Ardal, R.; Wiegand, R.E.
Konferenzbeitrag
2015Model generation to support model-based testing applied on the NASA DAT Web-application - An experience report
Schulze, C.; Lindvall, M.; Bjorgvinsson, S.; Wiegand, R.
Konferenzbeitrag
2015Model-based testing of NASA’s GMSEC, a reusable framework for ground system software
Gudmundsson, V.; Schulze, C.; Ganesan, D.; Lindvall, M.; Wiegand, R.
Zeitschriftenaufsatz
2014ADAM: External dependency-driven architecture discovery and analysis of quality attributes
Ganesan, D.; Lindvall, M.
Zeitschriftenaufsatz
2014Assessing model-based testing: An empirical study conducted in industry
Schulze, C.; Ganasan, D.; Lindvall, M.; Cleaveland, R.; Goldman, D.
Konferenzbeitrag
2013An analysis of unit tests of a flight software product line
Ganesan, D.; Lindvall, M.; McComas, D.; Bartholomew, M.; Slegel, S.; Medina, B.; Krikhaar, R.; Verhoef, C.; Montgomery, L.P.
Zeitschriftenaufsatz, Konferenzbeitrag
2013Detecting inconsistencies in wrappers: A case study
Femmer, H.; Ganesan, D.; Lindvall, M.; McComas, D.
Konferenzbeitrag
2013An initial evaluation of model-based testing
Gudmundsson, V.; Schulze, C.; Ganesan, D.; Lindvall, M.; Wiegand, R.
Konferenzbeitrag
2013Model-based testing of NASA's OSAL API - an experience report
Schulze, C.; Ganesan, D.; Lindvall, M.; McComas, D.; Cudmore, A.
Konferenzbeitrag
2012Connecting research and practice: An experience report on research infusion with software architecture visualization and evaluation
Lindvall, M.; Stratton, W.C.; Sibol, D.E.; Ackermann, C.; Reid, W.M.; Ganesan, D.; McComas, D.; Bartholomew, M.; Godfrey, S.
Zeitschriftenaufsatz
2012High-content screening data management for drug discovery in a small- to medium-size laboratory
Berlinicke, C.A.; Ackermann, C.F.; Chen, S.H.; Schulze, C.; Shafranovich, Y.; Myneni, S.; Patel, V.L.; Wang, J.; Zack, D.J.; Lindvall, M.; Bova, G.
Zeitschriftenaufsatz
2011Architecture reconstruction and analysis of medical device software
Ganesan, D.; Lindvall, M.; Cleaveland, R.; Jetley, R.; Jones, P.; Zhang, Y.
Konferenzbeitrag
2011NASA goddard space flight centercore flight system product line
McComas, D.; Ganesan, D.; Lindvall, M.
Konferenzbeitrag
2010Architectural analysis of systems based on the publisher-subscriber style
Ganesan, D.; Lindvall, M.; Ruley, L.; Wiegand, R.; Ly, V.; Tsui, T.
Konferenzbeitrag
2010Architecture-based unit testing of the flight software product line
Ganesan, D.; Lindvall, M.; McComas, D.; Bartholomew, M.; Slegel, S.; Medina, B.
Konferenzbeitrag
2010Linking software development and business strategy through measurement
Basili, Victor R.; Lindvall, Mikael; Regardie, Myrna; Seaman, Carolyn B.; Heidrich, Jens; Münch, Jürgen; Rombach, H. Dieter; Trendowicz, Adam
Zeitschriftenaufsatz
2009Determining the impact of business strategies using principles from goal-oriented measurement
Basili, Victor R.; Heidrich, Jens; Lindvall, Mikael; Münch, Jürgen; Seaman, Carolyn B.; Regardie, Myrna; Trendowicz, Adam
Konferenzbeitrag
2009Developing an approach for analyzing and verifying system communication
Stratton, W.C.; Sibol, D.E.; Lindvall, M.; Ackermann, C.; Godfrey, S.
Konferenzbeitrag
2009Evaluating the modifiability of software architectural designs
Saliu, M.O.; Ruhe, G.; Lindvall, M.; Ackermann, C.
Aufsatz in Buch
2009Recovering views of inter-system interaction behaviors
Ackermann, C.; Lindvall, M.; Cleaveland, R.
Konferenzbeitrag
2009Redesign for flexibility and maintainability: a case study
Ackermann, C.; Lindvall, M.; Dennis, G.
Konferenzbeitrag
2009Redesign for Increased Flexibility and Maintainability
Ackermann, C.; Lindvall, M.; Dennis, G.
Konferenzbeitrag
2009Reference architectures for software analysis platform extensions
Rost, Dominik
: Knauber, Peter (Supervisor); Knodel, Jens (Supervisor); Lindvall, Mikael (Supervisor)
Master Thesis
2009SAVE: Software Architecture Visualization and Evaluation
Duszynski, Slawomir; Knodel, Jens; Lindvall, Mikael
Konferenzbeitrag
2009Searching for relevant software change artifacts using semantic networks
Lindvall, M.; Feldmann, R.L.; Karabatis, G.; Chen, Z.; Janeja, V.P.
Konferenzbeitrag
2009Towards behavioral reflexion models
Ackermann, C.; Lindvall, M.; Cleaveland, R.
Konferenzbeitrag
2009Using semantic networks and context in search for relevant software engineering artifacts
Karabatis, G.; Chen, Z.; Janeja, V.P.; Lobo, T.; Advani, M.; Lindvall, M.; Feldmann, R.L.
Aufsatz in Buch
2009Why developers insert security vulnerabilities into their code
Karppinen, K.; Yonkwa, L.; Lindvall, M.
Konferenzbeitrag
2008An Analysis Framework for Inter-system Interaction Behavior
Ackermann, C.; Sibol, D.E.; Stratton, W.C.; Lindvall, M.; Godfrey, S.
Konferenzbeitrag
2008Analyzing and Detecting Problems in Systems of Systems
Lindvall, M.; Ackermann, C.; Stratton, W.C.; Sibol, D.E.; Godfrey, S.
Konferenzbeitrag, Bericht
2008Analyzing the Core Flight Software (CFS) with SAVE
Ganesan, D.; Lindvall, M.; McComas, D.
Konferenzbeitrag, Bericht
2008Bridging the Software Architecture Gap
Lindvall, M.; Muthig, D.
Zeitschriftenaufsatz
2008Detecting Security Vulnerabilities with Software Architecture Analysis Tools
Karppinen, K.; Lindvall, M.; Yonkwa, L.
Konferenzbeitrag
2008Using Sequence Diagrams to Detect Communication Problems between Systems
Lindvall, M.; Ackermann, C.; Stratton, W.C.; Sibol, D.E.; Ray, A.; Yonkwa, L.; Kresser, J.; Godfrey, S.; Knodel, J.
Konferenzbeitrag
2007Assessing the quality impact of design inspections
Ackermann, C.; Shull, F.; Carbon, R.; Denger, C.; Lindvall, M.
Konferenzbeitrag
2007Bridging the gap between business strategy and software development
Basili, V.; Lindvall, M.; Regardie, M.; Seaman, C.; Heidrich, J.; Münch, J.; Rombach, D.; Trendowicz, A.
Konferenzbeitrag
2007Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers
Can, A.B.; Bultan, T.; Lindvall, M.; Lux, B.; Topp, S.
Zeitschriftenaufsatz, Konferenzbeitrag
2007Experimenting with software testbeds for evaluating new technologies
Lindvall, M.; Rus, I.; Donzelli, P.; Memon, A.; Zelkowitz, M.V.; Ackermann, B.; Anders, S.; Asgari, S.; Basili, V.; Costa, P.; Fellmann, J.; Hirschbach, D.; Hochstein, L.; Shull, F.; Tvedt, R.; Pech, D.
Zeitschriftenaufsatz
2007GQM strategies®: A comprehensive methodology for aligning business strategies with software measurement
Basili, Victor R.; Heidrich, Jens; Lindvall, Mikael; Münch, Jürgen; Regardie, Myrna; Rombach, H. Dieter; Seaman, Carolyn B.; Trendowicz, Adam
Konferenzbeitrag
2007GQM+Strategies - Aligning business strategies with software measurement
Basili, V.; Heidrich, J.; Lindvall, M.; Münch, J.; Regardie, M.; Trendowicz, A.
Konferenzbeitrag
2007Model-based validation & verification integrated with SW architecture analysis
Morschhäuser, I.; Lindvall, M.
Konferenzbeitrag
2007On reverse engineering of structural and behavioral views for architecture compliance checking
Weinmann, Jörg
: Rombach, H. Dieter (Supervisor); Lindvall, Mikael (Supervisor); Ganesan, Dharmalingam (Supervisor); Knodel, Jens (Supervisor)
Diplomarbeit
2007The SAVE tool and process applied to ground software development at JHU/APL
Stratton, W.C.; Sibol, D.E.; Lindvall, M.; Costa, P.
Konferenzbeitrag
2007Software architecture-driven detection of security vulnerabilities
Karppinen, K.; Lindvall, M.
Konferenzbeitrag
2007Technology infusion of SAVE into the ground software development process H for NASA missions at JHU/APL
Stratton, W.C.; Sibol, D.E.; Lindvall, M.; Costa, P.
Konferenzbeitrag
2006Case studies of static software architecture evaluations
Knodel, J.; Lindvall, M.; Muthig, D.; Naab, M.
Zeitschriftenaufsatz
2006Static evaluation of software architectures
Knodel, J.; Lindvall, M.; Muthig, D.; Naab, M.
Konferenzbeitrag
2006Static evaluation of software architectures - a short summary
Knodel, J.; Lindvall, M.; Muthig, D.
Konferenzbeitrag
2006Understanding change requests to predict software impact
Ackermann, C.; Lindvall, M.
Konferenzbeitrag
2005Application of design for verification with concurrency controllers to air traffic control software
Betin-Can, A.; Bultan, T.; Lindvall, M.; Lux, B.; Topp, S.
Konferenzbeitrag
2005Combating architectural degeneration: A survey
Hochstein, L.; Lindvall, M.
Zeitschriftenaufsatz
2005Developing a conceptual model and simulator for dependable software engineering
Angelova, L.
: Rombach, H.D. (Prüfer); Rus, I. (Prüfer); Lindvall, M. (Prüfer); Muthig, D. (Prüfer); Lehner, T. (Prüfer)
Diplomarbeit
2005An evolutionary testbed for software technology evaluation
Lindvall, M.; Rus, I.; Shull, F.; Zelkowitz, M.; Donzelli, P.; Memon, A.; Basili, V.; Costa, P.; Tvedt, R.; Hochstein, L.; Asgari, S.; Ackermann, C.; Pech, D.
Zeitschriftenaufsatz
2005Experimenting with software architecture flexibility using an implementation of the tactical separation assisted flight environment
Anders, B.; Fellmann, J.; Lindvall, M.; Rus, I.
Konferenzbeitrag
2005Impact analysis
Jönsson, P.; Lindvall, M.
Aufsatz in Buch
2005Inspections and pair programming - competing or complementary?
Carbon, R.; Ciolkowski, M.; Denger, C.; Lindvall, M.; Shull, F.; Costa, P.; Rombach, H.D.; Basili, V.R.
Bericht
2005Static evaluation of software architectures
Knodel, J.; Lindvall, M.; Muthig, D.; Naab, M.
Bericht
2005Towards reusable measurement patterns
Lindvall, M.; Donzelli, P.; Asgari, S.; Basili, V.
Konferenzbeitrag
2004Agile software development in large organizations
Lindvall, M.; Muthig, D.; Dagnino, A.; Wallin, C.; Stupperich, M.; Kiefer, D.; May, J.; Kähkönen, T.
Zeitschriftenaufsatz
2004Evaluating software architectures
Tvedt, R.T.; Costa, P.; Lindvall, M.
Aufsatz in Buch
2004Evaluation of software architectures with eclipse
Miodonski, P.
: Rombach, H.D. (Prüfer); Muthig, D. (Prüfer); Lindvall, M. (Prüfer); Knodel, J. (Prüfer); Forster, T. (Prüfer)
Diplomarbeit
2004Evaluation of software architectures with eclipse
Miodonski, P.; Forster, T.; Knodel, J.; Lindvall, M.; Muthig, D.
Bericht
2004An introduction to agile methods
Cohen, D.; Lindvall, M.; Costa, P.
Aufsatz in Buch
2003An empirically-based process for software architecture evaluation
Lindvall, M.; Tvedt, R.T.; Costa, P.
Zeitschriftenaufsatz
2003Impact analysis in software evolution
Lindvall, M.
Zeitschriftenaufsatz
2003Process diversity
Rus, I.; Seaman, C.; Lindvall, M.
Zeitschriftenaufsatz
2003Technology support for knowledge management
Lindvall, M.; Rus, I.; Sinha, S.S.
Konferenzbeitrag
2002An experience management system for a software engineering research organization
Basili, V.; Costa, P.; Lindvall, M.; Mendonca, M.; Seaman, C.; Tesoriero, R.; Zelkowitz, M.
Konferenzbeitrag
2002A light-weight process for capturing and evolving defect reduction experience
Basili, V.R.; Lindvall, M.; Shull, F.
Konferenzbeitrag
2002What we have learned about fighting defects
Shull, F.; Basili, V.; Boehm, B.; Brown, A.W.; Costa, P.; Lindvall, M.; Port, D.; Rus, I.; Tesoriero, R.; Zelkowitz, M.
Konferenzbeitrag
2001Analyzing and Combining Classification Schemes for Reuse Repositories
Frey, M.
: Rombach, H.D. (Prüfer); Feldmann, R.L. (Prüfer); Lindvall, M. (Prüfer)
Diplomarbeit
2001Building an experience base for software engineering
Basili, V.R.; Tesoriero, R.; Costa, P.; Lindvall, M.; Rus, I.; Shull, F.; Zelkowitz, M.V.
Konferenzbeitrag
2000Process diversity in software development
Lindvall, M.; Rus, I.
Zeitschriftenaufsatz

 

<