Zobrazeno 1 - 10
of 191
pro vyhledávání: '"Grunske, Lars"'
Autor:
Carwehl, Marc, Imrie, Calum, Vogel, Thomas, Rodrigues, Genaína, Calinescu, Radu, Grunske, Lars
In its quest for approaches to taming uncertainty in self-adaptive systems (SAS), the research community has largely focused on solutions that adapt the SAS architecture or behaviour in response to uncertainty. By comparison, solutions that reduce th
Externí odkaz:
http://arxiv.org/abs/2401.17187
Benchmarks are among the main drivers of progress in software engineering research. However, many current benchmarks are limited by inadequate system oracles and sparse unit tests. Our Tests4Py benchmark, derived from the BugsInPy benchmark, addresse
Externí odkaz:
http://arxiv.org/abs/2307.05147
Publikováno v:
Empir Software Eng 28, 125 (2023)
Context: Ensuring safety for any sophisticated system is getting more complex due to the rising number of features and functionalities. This calls for formal methods to entrust confidence in such systems. Nevertheless, using formal methods in industr
Externí odkaz:
http://arxiv.org/abs/2304.08950
To accurately make adaptation decisions, a self-adaptive system needs precise means to analyze itself at runtime. To this end, runtime verification can be used in the feedback loop to check that the managed system satisfies its requirements formalize
Externí odkaz:
http://arxiv.org/abs/2303.16530
Publikováno v:
Information and Software Technology, 2022
Context: The goal of specification pattern catalogs for real-time requirements is to mask the complexity of specifying such requirements in a timed temporal logic for verification. For this purpose, they provide frontends to express and translate pat
Externí odkaz:
http://arxiv.org/abs/2211.03817
Autor:
Weyns, Danny, Gerostathopoulos, Ilias, Buhnova, Barbora, Cardozo, Nicolas, Cioroaica, Emilia, Dusparic, Ivana, Grunske, Lars, Jamshidi, Pooyan, Julien, Christine, Michael, Judith, Moreno, Gabriel, Nejati, Shiva, Pelliccione, Patrizio, Quin, Federico, Rodrigues, Genaina, Schmerl, Bradley, Vieira, Marco, Vogel, Thomas, Wohlrab, Rebekka
Artifacts support evaluating new research results and help comparing them with the state of the art in a field of interest. Over the past years, several artifacts have been introduced to support research in the field of self-adaptive systems. While t
Externí odkaz:
http://arxiv.org/abs/2206.12492
Autor:
Nguyen, Hoang Lam, Grunske, Lars
A popular metric to evaluate the performance of fuzzers is branch coverage. However, we argue that focusing solely on covering many different branches (i.e., the richness) is not sufficient since the majority of the covered branches may have been exe
Externí odkaz:
http://arxiv.org/abs/2202.13114
Publikováno v:
Information and Software Technology, Volume 144, April 2022, 106809
Context: Identifying potential vulnerable code is important to improve the security of our software systems. However, the manual detection of software vulnerabilities requires expert knowledge and is time-consuming, and must be supported by automated
Externí odkaz:
http://arxiv.org/abs/2201.08441
Publikováno v:
Information and Software Technology, Volume 145, December 2021, 106800
Context: Safety is of paramount importance for cyber-physical systems in domains such as automotive, robotics, and avionics. Formal methods such as model checking are one way to ensure the safety of cyber-physical systems. However, adoption of formal
Externí odkaz:
http://arxiv.org/abs/2201.03061
Context: The complexity of modern safety-critical systems in industries keep on increasing due to the rising number of features and functionalities. This calls for formal methods in order to entrust confidence in such systems. Nevertheless, using for
Externí odkaz:
http://arxiv.org/abs/2108.06376