Auflistung P320 - Software Engineering 2022 nach Erscheinungsdatum
1 - 10 von 38
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragExploring Web Search Engines to Find Architectural Knowledge(Software Engineering 2022, 2022) Soliman, Mohamed; Wiese, Marion; Li, Yikun; Riebisch, Matthias; Avgeriou, ParisSoftware engineers need relevant and up-to-date architectural knowledge (AK), in order to make well-founded design decisions. However, finding such AK is quite challenging. One pragmatic approach is to search for AK on the web using traditional search engines (e.g. Google); this is common practice among software engineers. Still, we know very little about what AK is retrieved, from where, and how useful it is. In this paper, we conduct an empirical study with 53 software engineers, who used Google to make design decisions using the Attribute-Driven-Design method. Based on how the subjects assessed the nature and relevance of the retrieved results, we determined how effective web search engines are to find relevant architectural information. Moreover, we identified the different sources of AK on the web and their associated AK concepts.
- KonferenzbeitragAssessing the Usefulness of a Visual Programming IDE for Large-Scale Automation Software(Software Engineering 2022, 2022) Wiesmayr, Bianca; Zoitl, Alois; Rabiser, RickThis is a summary of a paper (with the same title) that we published at the ACM/IEEE 24th International Conference on Model-Driven Engineering Languages and Systems (MODELS 2021) describing a study centered on a visual programming IDE for large-scale automation software development and maintenance.
- KonferenzbeitragWorkshop on Software Engineering in Cyber-Physical Production Systems (SECPPS), 2nd Edition(Software Engineering 2022, 2022) Rabiser, Rick; Vogel-Heuser, Birgit; Wimmer, Manuel; Wortmann, Andreas; Zoitl, AloisThis workshop focuses on Software Engineering in Cyber-Physical Production Systems (SECPPS). SECPPS is an interactive workshop opened by keynotes and lightning talks, followed by project showcase presentations, and concluded by extensive discussions in break-out groups. The main output of SECPPS 2022 is an updated research roadmap as well as concrete networking activities to further grow the community in this interdisciplinary field.
- KonferenzbeitragCoVEGI: Cooperative Verification via Externally Generated Invariants(Software Engineering 2022, 2022) Haltermann, Jan; Wehrheim, HeikeSoftware verification has recently made enormous progress. To keep their tools up to date with novel methods and enhanced techniques, tool developers integrate these within their own framework almost exclusively by re-implementation. While this allows for a conceptual re-use of methods, it nevertheless requires novel implementations. Our configurable framework named CoVEGI employs cooperative verification in order to avoid re-implementation and enable usage of novel tools as black-box components in verification. Specifically, cooperation is employed for invariant generation, which is key to the success of a verification run. CoVEGI allows a main verification tool to delegate the task of invariant generation to one or several specialized helper invariant generators, utilizing their results within its verification run. The experimental evaluation shows that the use of CoVEGI can increase the number of correctly verified tasks up to 17%, without increasing the used resources.
- Konferenzbeitrag4th Workshop on Avionics Systems and Software Engineering (AvioSE'22)(Software Engineering 2022, 2022) Annighöfer, Björn; Schweiger, Andreas; Reich, MarinaSoftware and systems engineering in aerospace is subject to special challenges. The AvioSE'22 workshop connects academia and industry with selected scientific presentations, motivating keynote talks, and an interactive panel discussion.
- KonferenzbeitragHow EvoStreets Are Observed in Three-Dimensional and Virtual Reality Environments(Software Engineering 2022, 2022) Koschke, Rainer; Steinbeck, MarcelWe present our paper published in the proceedings of the 27th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER). In an experiment in which 34 participants had to analyze cloning in existing software systems using the EvoStreets visualization, we found indications that the movement patterns of the participants differ depending on whether they are in a 2.5D (pseudo-3D; monitor with keyboard and mouse) or virtual reality (VR) environment. In a follow-up study, which we present in this work, we analyzed the results of this experiment in more details, to examine whether not only movement is affected by these environments, but also the way how EvoStreets are observed. Beyond that, the paper proposes six visualization and user interaction concepts that are specific to the kind of environment.
- KonferenzbeitragIDE Support for Cloud-Based Static Analyses(Software Engineering 2022, 2022) Luo, Linghui; Bodden, EricWe present a user study with developers at Amazon Web Services on their expectations of IDE support for cloud-based static analyses. The paper was originally presented at ESEC/FSE 2021. Many companies are providing Static Application Security Testing (SAST) tools as a service. These tools fit well into CI/CD, because CI/CD allows time for deep static analyses on large code bases and prevents vulnerabilities in the early stages of the development lifecycle. In CI/CD, the SAST tools usually run in the cloud and provide findings via a web interface. Recent studies show that developers prefer seeing the findings of these tools directly in their IDEs. Most tools with IDE integration run lightweight static analyses and can give feedback at coding time, but SAST tools take longer to run and usually are not able to do so. Can developers interact directly with a cloud-based SAST tool that is typically used in CI/CD through their IDE? We conducted a user study to explore how such IDE support should be designed. Through this study we identified the key design elements expected by developers and investigated whether an IDE solution fits better into developers’ workflow in comparison to a web-based solution.
- KonferenzbeitragData-Driven Design and Evaluation of SMT Meta-Solving Strategies(Software Engineering 2022, 2022) Mues, Malte; Howar, FalkThe 36th IEEE/ACM International Conference on Automated Software Engineering (2021) accepted the paper ‘Data-Driven Design and Evaluation of SMT Meta-Solving Strategies: Balancing Performance, Accuracy, and Cost’ [MH21a] and selected it for an ACM SIGSOFT Distinguished Paper Award. The paper presents four generally applicable patterns for the combination of multiple SMT decision procedures in a meta-solving strategy and demonstrates how a meta-solving strategy for string constraints can be developed in a data-driven approach based on these patterns: The paper cleans up and merges existing collections of SMT benchmarks in string theory solving to evaluate and compare derived meta-solving strategies. Notably, we can demonstrate on the available data that commonly used strategies as earliest returning SMT solver do not always return the most reliable result if all available SMT solvers are combined. Instead, cross-checking strategies work slightly better at moderate overhead.
- KonferenzbeitragA Large-Scale Longitudinal Study of Flaky Tests(Software Engineering 2022, 2022) Lam, Wing; Winter, Stefan; Wei, Anjiang; Xie, Tao; Marinov, Darko; Bell, JonathanFlaky tests that non-deterministically pass or fail without any code changes constitute an impediment to regression testing. To understand when and how flaky tests can be detected most efficiently, we analyzed the commit histories of known flaky tests. We find that 75% of flaky tests are flaky when added, indicating substantial value for developers to run detectors specifically on newly added tests. The percentage of flaky tests that can be detected early increases to 85% when detectors are run on both newly added and directly modified tests.
- KonferenzbeitragIdentifying Challenges for OSS Vulnerability Scanners - A Study & Test Suite (Short Summary)(Software Engineering 2022, 2022) Dann, Andreas; Plate, Henrik; Hermann, Ben; Ponta, Serena Elisa; Bodden, EricThis short paper presents a study investigating the impact of typical development practices, like re-compilation, re-bundling, on the performance of vulnerability scanners to detect known vulnerabilities in used open-source dependencies. In particular, the paper studies (i) types of modifications that affect the detection of vulnerable open-source dependencies and (ii) their impact on the performance of vulnerability scanners through an empirical study on 7024 Java projects developed at SAP.