Linear-time temporal logic guided greybox fuzzing
Software model checking as well as runtime verification are verification techniques which
are widely used for checking temporal properties of software systems. Even though they are …
are widely used for checking temporal properties of software systems. Even though they are …
An interview study about the use of logs in embedded software engineering
Context Execution logs capture the run-time behavior of software systems. To assist
developers in their maintenance tasks, many studies have proposed tools to analyze …
developers in their maintenance tasks, many studies have proposed tools to analyze …
An interview study of how developers use execution logs in embedded software engineering
Execution logs capture the run-time behavior of software systems. To assist developers in
their maintenance tasks, many studies have proposed tools to analyze execution information …
their maintenance tasks, many studies have proposed tools to analyze execution information …
Model-driven system-performance engineering for cyber-physical systems
B Van der Sanden, Y Li, J van den Aker… - Proceedings of the …, 2021 - dl.acm.org
System-Performance Engineering (SysPE) encompasses modeling formalisms, methods,
techniques, and industrial practices to design systems for performance, where performance …
techniques, and industrial practices to design systems for performance, where performance …
[BOEK][B] RERS 2019: combining synthesis with real-world models
This paper covers the Rigorous Examination of Reactive Systems (RERS) Challenge 2019.
For the first time in the history of RERS, the challenge features industrial tracks where …
For the first time in the history of RERS, the challenge features industrial tracks where …
Adaptive behavioral model learning for software product lines
Behavioral models enable the analysis of the functionality of software product lines (SPL),
eg, model checking and model-based testing. Model learning aims to construct behavioral …
eg, model checking and model-based testing. Model learning aims to construct behavioral …
[PDF][PDF] Constructive Model Inference: Model Learning for Component-based Software Architectures.
Model learning, learning a state machine from software, can be an effective model-based
engineering technique, especially to understand legacy software. However, so far the …
engineering technique, especially to understand legacy software. However, so far the …
Interface protocol inference to aid understanding legacy software components
High-tech companies are struggling today with the maintenance of legacy software. Legacy
software is vital to many organizations as it contains the important business logic. To …
software is vital to many organizations as it contains the important business logic. To …
A systematic approach for interfacing component-based software with an active automata learning tool
Abstract Applying Model-Driven Engineering can improve development efficiency. But
gaining such benefits for legacy software requires models, and creating them manually is …
gaining such benefits for legacy software requires models, and creating them manually is …
IDLIQ: An Incremental Deterministic Finite Automaton Learning Algorithm Through Inverse Queries for Regular Grammar Inference
We present an efficient incremental learning algorithm for Deterministic Finite Automaton
(DFA) with the help of inverse query (IQ) and membership query (MQ). This algorithm is an …
(DFA) with the help of inverse query (IQ) and membership query (MQ). This algorithm is an …