Lars Grunske

Proceedings of the 15th IEEE/ACM International Workshop on Search-Based Software Testing, 2022

A Consolidated View on Specification Languages for Data Analysis Workflows.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022

BEDIVFUZZ: Integrating Behavioral Diversity into Generator-based Fuzzing.

[BibT_eX]

[DOI]

Hoang Lam Nguyen

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Automatically finding Metamorphic Relations in Computational Material Science Parsers.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on e-Science, 2022

2021

Benchmark Set for Program Repair Based on Partial Fixes.

[BibT_eX]

[DOI]

Dataset, July, 2021

History-based Model Repair Recommendations.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2021

A comprehensive empirical evaluation of generating test suites for mobile applications with diversity.

[BibT_eX]

[DOI]

Chinh Tran

Inf. Softw. Technol., 2021

Quantitative Verification of Stochastic Regular Expressions.

[BibT_eX]

[DOI]

Sinem Getir Yaman

Esteban Pavese

Fundam. Informaticae, 2021

The Collaborative Research Center FONDA.

[BibT_eX]

[DOI]

Datenbank-Spektrum, 2021

A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation.

[BibT_eX]

[DOI]

Arut Prakash Kaleeswaran

Arne Nordmann

Ridwan Salihin Shariffdeen

CoRR, 2021

Towards a Benchmark Set for Program Repair Based on Partial Fixes.

[BibT_eX]

[DOI]

CoRR, 2021

Probabilistic Grammar-based Test Generation.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2021, 2021

MoFuzz: A Fuzzer Suite for Testing Model-Driven Software Engineering Tools.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2021, 2021

Concolic program repair.

[BibT_eX]

[DOI]

Yannic Noller

Abhik Roychoudhury

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Scalable N-Way Model Matching Using Multi-Dimensional Search Trees.

[BibT_eX]

[DOI]

Alexander Schultheiß

Paul Maximilian Bittner

Thomas Thüm

Timo Kehrer

Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems, 2021

Sampling What Matters: Relevance-guided Sampling of Event Logs.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Process Mining, 2021

Evaluating Fault Localization Techniques with Bug Signatures and Joined Predicates.

[BibT_eX]

[DOI]

Roman Milewski

Simon Heiden

Proceedings of the 29th International Workshop on Concurrency, 2021

2020

The Java Pathfinder Workshop 2019.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2020

Bet and Run for Test Case Generation.

[BibT_eX]

[DOI]

Sebastian Müller

Proceedings of the Search-Based Software Engineering - 12th International Symposium, 2020

Evolutionary Grammar-Based Fuzzing.

[BibT_eX]

[DOI]

Proceedings of the Search-Based Software Engineering - 12th International Symposium, 2020

Counterexample Interpretation for Contract-Based Design.

[BibT_eX]

[DOI]

Arut Prakash Kaleeswaran

Arne Nordmann

Proceedings of the Model-Based Safety and Assessment - 7th International Symposium, 2020

HyDiff: hybrid differential software analysis.

[BibT_eX]

[DOI]

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

2019

An evaluation of pure spectrum-based fault localization techniques for large-scale software systems.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2019

Complete Shadow Symbolic Execution with Java PathFinder.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2019

Does Diversity Improve the Test Suite Generation for Mobile Applications?

[BibT_eX]

[DOI]

Chinh Tran

Proceedings of the Search-Based Software Engineering - 11th International Symposium, 2019

Challenges for verifying and validating scientific software in computational materials science.

[BibT_eX]

[DOI]

Proceedings of the 14th International Workshop on Software Engineering for Science, 2019

Learning from Evolution for Evolution.

[BibT_eX]

[DOI]

Proceedings of the Managed Software Evolution., 2019

2018

Mapping the Effectiveness of Automated Test Suite Generation Techniques.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2018

Hora: Architecture-aware online failure prediction.

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

Supporting semi-automatic co-evolution of architecture and fault tree models.

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

Inputs from Hell: Generating Uncommon Inputs from Common Samples.

[BibT_eX]

[DOI]

CoRR, 2018

Guest editorial: advanced topics in automated software engineering.

[BibT_eX]

[DOI]

Mike Whalen

Autom. Softw. Eng., 2018

Architecture-Aware Online Failure Prediction for Distributed Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering und Software Management 2018, 2018

Semantic program repair using a reference implementation.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering, 2018

Formal Semantics for Probabilistic Verification of Stochastic Regular Expressions.

[BibT_eX]

[DOI]

Sinem Getir

Esteban Pavese

Proceedings of the 27th International Workshop on Concurrency, 2018

How Much Event Data Is Enough? A Statistical Framework for Process Discovery.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering, 2018

2017

Analysing the fitness landscape of search-based software testing problems.

[BibT_eX]

[DOI]

Irene Moser

Priya Krishnan Sundararajan

Autom. Softw. Eng., 2017

A Critical Evaluation of Spectrum-Based Fault Localization Techniques on a Large-Scale Software System.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Quality, 2017

Online Workload Forecasting.

[BibT_eX]

[DOI]

Proceedings of the Self-Aware Computing Systems., 2017

2016

Empirische Forschung zu Software-Evolution - Bestandsaufnahme und Vision aus dem DFG-Schwerpunktprogramm Design for Future - Managed Software Evolution.

[BibT_eX]

[DOI]

Inform. Spektrum, 2016

An Architecture-Aware Approach to Hierarchical Online Failure Prediction.

[BibT_eX]

[DOI]

Proceedings of the 12th International ACM SIGSOFT Conference on Quality of Software Architectures, 2016

A learning-to-rank based fault localization approach using likely invariants.

[BibT_eX]

[DOI]

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

2015

Specifying model transformations by direct manipulation using concrete visual notations and interactive recommendations.

[BibT_eX]

[DOI]

Iman Avazpour

John Grundy

J. Vis. Lang. Comput., 2015

Aligning Qualitative, Real-Time, and Probabilistic Property Specification Patterns Using a Structured English Grammar.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2015

Test data generation with a Kalman filter-based adaptive genetic algorithm.

[BibT_eX]

[DOI]

J. Syst. Softw., 2015

Lightweight Adaptive Filtering for Efficient Learning and Updating of Probabilistic Models.

[BibT_eX]

[DOI]

Antonio Filieri

Alberto Leva

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

CoWolf - A Generic Framework for Multi-view Co-evolution and Evaluation of Models.

[BibT_eX]

[DOI]

Sinem Getir

Christian Karl Bernasko

Verena Käfer

Tim Sanwald

Matthias Tichy

Proceedings of the Theory and Practice of Model Transformations, 2015

2014

Evaluating probabilistic models with uncertain model parameters.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2014

Choosing the Appropriate Forecasting Model for Predictive Parameter Control.

[BibT_eX]

[DOI]

Evol. Comput., 2014

Reactive vs. Proactive Detection of Quality of Service Problems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

metaFMEA-A Framework for Reusable FMEAs.

[BibT_eX]

[DOI]

Kai Höfig

Marc Zeller

Proceedings of the Model-Based Safety and Assessment - 4th International Symposium, 2014

Increasing Dependability of Component-Based Software Systems by Online Failure Prediction (Short Paper).

[BibT_eX]

[DOI]

Teerat Pitakrat

André van Hoorn

Proceedings of the 2014 Tenth European Dependable Computing Conference, 2014

Dimensions and Metrics for Evaluating Recommendation Systems.

[BibT_eX]

[DOI]

Proceedings of the Recommendation Systems in Software Engineering, 2014

2013

Software Architecture Optimization Methods: A Systematic Literature Review.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2013

Quality optimisation of software architectures and design specifications.

[BibT_eX]

[DOI]

J. Syst. Softw., 2013

An approach to software reliability prediction based on time series modeling.

[BibT_eX]

[DOI]

J. Syst. Softw., 2013

Model-based performance analysis of software architectures under uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 9th international ACM SIGSOFT conference on Quality of Software Architectures, 2013

Co-Evolution of Software Architecture and Fault Tree models: An Explorative Case Study on a Pick and Place Factory Automation System.

[BibT_eX]

[DOI]

Proceedings of the 5th International Workshop Non-functional Properties in Modeling: Analysis, 2013

Tool support for automatic model transformation specification using concrete visualisations.

[BibT_eX]

[DOI]

Iman Avazpour

John Grundy

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

A comparison of machine learning algorithms for proactive hard disk drive failure detection.

[BibT_eX]

[DOI]

Teerat Pitakrat

André van Hoorn

Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems, 2013

Perpetual Assurances for Self-Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

Software Engineering for Self-Adaptive Systems: Research Challenges in the Provision of Assurances.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering for Self-Adaptive Systems III. Assurances, 2013

2012

Architecture-driven reliability optimization with uncertain model parameters.

[BibT_eX]

[DOI]

Indika Meedeniya

J. Syst. Softw., 2012

Statistical detection of QoS violations based on CUSUM control charts.

[BibT_eX]

[DOI]

Proceedings of the Third Joint WOSP/SIPEW International Conference on Performance Engineering, 2012

An automated approach to forecasting QoS attributes based on linear and non-linear time series modeling.

[BibT_eX]

[DOI]

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

An Approach to Forecasting QoS Attributes of Web Services Based on ARIMA and GARCH Models.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

2011

Dynamic QoS Management and Optimization in Service-Based Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2011

Monitoring of Probabilistic Timed Property Sequence Charts.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2011

Experience with fault injection experiments for FMEA.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2011

Reliability-driven deployment optimization for embedded systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2011

An effective sequential statistical test for probabilistic monitoring.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2011

PSPWizard: machine-assisted definition of temporal logical properties with specification patterns.

[BibT_eX]

[DOI]

Markus Lumpe

Indika Meedeniya

Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011

Architecture-based reliability evaluation under uncertainty.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on the Quality of Software Architectures, 2011

Using Automated Control Charts for the Runtime Evaluation of QoS Attributes.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

Using Models at Runtime to Address Assurance for Self-Adaptive Systems.

[BibT_eX]

[DOI]

Proceedings of the Models@run.time - Foundations, Applications, and Roadmaps [Dagstuhl Seminar 11481, November 27, 2011

2010

Generalizable safety annotations for specification of failure patterns.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2010

Timed Property Sequence Chart.

[BibT_eX]

[DOI]

Pengcheng Zhang

Bixin Li

J. Syst. Softw., 2010

Capture and reuse of composable failure patterns.

[BibT_eX]

[DOI]

Int. J. Crit. Comput. Based Syst., 2010

Architecture-Driven Reliability and Energy Optimization for Complex Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Research into Practice, 2010

An Efficient Method for Architecture-Based Reliability Evaluation for Evolving Systems with Changing Parameters.

[BibT_eX]

[DOI]

Indika Meedeniya

Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

First International Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (QUOVADIS 2010).

[BibT_eX]

[DOI]

Carlo Ghezzi

Raffaela Mirandola

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

2009

Monitoring probabilistic properties.

[BibT_eX]

[DOI]

Pengcheng Zhang

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines.

[BibT_eX]

[DOI]

Stefan Björnander

Kristina Lundqvist

Proceedings of the Architectures for Adaptive Software Systems, 2009

Safety Analysis of an Airbag System Using Probabilistic FMEA and Probabilistic Counterexamples.

[BibT_eX]

[DOI]

Florian Leitner-Fischer

Stefan Leue

Proceedings of the QEST 2009, 2009

ArcheOpterix: An extendable tool for architecture optimization of AADL models.

[BibT_eX]

[DOI]

Proceedings of the ICSE 2009 Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2009

A Formal Syntax for Probabilistic Timed Property Sequence Charts.

[BibT_eX]

[DOI]

Proceedings of the ASE 2009, 2009

Let the Ants Deploy Your Software - An ACO Based Deployment Optimisation Strategy.

[BibT_eX]

[DOI]

Proceedings of the ASE 2009, 2009

2008

Defining the abstract syntax of visual languages with advanced graph grammars - A case study based on behavior trees.

[BibT_eX]

[DOI]

Nisansala Yatapanage

J. Vis. Lang. Comput., 2008

Quantitative risk-based security prediction for component-based systems with explicitly modeled attack profiles.

[BibT_eX]

[DOI]

David Joyce

J. Syst. Softw., 2008

Timed Behavior Trees for Failure Mode and Effects Analysis of time-critical systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2008

Specification patterns for probabilistic quality properties.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

A Comparative Study into Architecture-Based Safety Evaluation Methodologies Using AADL's Error Annex and Failure Propagation Models.

[BibT_eX]

[DOI]

Jun Han

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

State Space Reduction Techniques for Component Interfaces.

[BibT_eX]

[DOI]

Markus Lumpe

Jean-Guy Schneider

Proceedings of the Component-Based Software Engineering, 11th International Symposium, 2008

2007

Early quality prediction of component-based systems - A generic framework.

[BibT_eX]

[DOI]

J. Syst. Softw., 2007

Systems engineering, test and evaluation: maximising customer satisfaction.

[BibT_eX]

[DOI]

Roger McCowan

Innov. Syst. Softw. Eng., 2007

Probabilistic Model-Checking Support for FMEA.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on the Quantitative Evaluaiton of Systems (QEST 2007), 2007

Probabilistic Timed Behavior Trees.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Evaluating Dependability Attributes of Component-Based Specifications.

[BibT_eX]

[DOI]

Ivica Crnkovic

Proceedings of the 29th International Conference on Software Engineering (ICSE 2007), 2007

Timed Behavior Trees and Their Application to Verifying Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the 18th Australian Software Engineering Conference (ASWEC 2007), 2007

2006

Towards an Integration of Standard Component-Based Safety Evaluation Techniques with SaveCCM.

[BibT_eX]

[DOI]

Proceedings of the Quality of Software Architectures, 2006

An Outline of an Architecture-Based Method for Optimizing Dependability Attributes of Software-Intensive Systems.

[BibT_eX]

[DOI]

Proceedings of the Architecting Dependable Systems IV [the book is a result of DSN 2006 workshops, 2006

Identifying "good" architectural design alternatives with multi-objective optimization strategies.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

2005

Behavioral Types for Embedded Software - A Survey.

[BibT_eX]

[DOI]

Walter Maydl

Proceedings of the Component-Based Software Development for Embedded Systems, 2005

Specification and Evaluation of Safety Properties in a Component-Based Software Engineering Process.

[BibT_eX]

[DOI]

Ralf H. Reussner

Proceedings of the Component-Based Software Development for Embedded Systems, 2005

Formalizing Architectural Refactorings as Graph Transformation Systems.

[BibT_eX]

[DOI]

Proceedings of the 6th ACIS International Conference on Software Engineering, 2005

Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), 2005

An Automated Failure Mode and Effect Analysis Based on High-Level Design Specification with Behavior Trees.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods, 5th International Conference, 2005

An Automated Dependability Analysis Method for COTS-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the COTS-Based Software Systems, 4th International Conference, 2005

A Graphical Specification of Model Transformations with Triple Graph Grammars.

[BibT_eX]

[DOI]

Leif Geiger

Michael Lawley

Proceedings of the Model Driven Architecture, 2005

Model-Driven Safety Evaluation with State-Event-Based Component Failure Annotations.

[BibT_eX]

[DOI]

Yiannis Papadopoulos

Proceedings of the Component-Based Software Engineering, 8th International Symposium, 2005

Using Graph Transformation for Practical Model-Driven Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Software Development, 2005

2004

Strukturorientierte Optimierung der Qualitätseigenschaften von softwareintensiven technischen Systemen im Architekturentwurf.

[BibT_eX]

[DOI]

PhD thesis, 2004

Applicaton of Behavior-Preserving Transformations to Improve Non-Functional Properties of an Architecture Specification.

[BibT_eX]

Einar Lueck

ACIS Int. J. Comput. Inf. Sci., 2004

Performance Prediction of Component-Based Systems - A Survey from an Engineering Perspective.

[BibT_eX]

[DOI]

Proceedings of the Architecting Systems with Trustworthy Components, 2004

2003

Application of Behavior-Preserving Transformations to Improve Non-Functional Properties of an Architecture Specification.

[BibT_eX]