The proceedings contain 23 papers. The topics discussed include: Re(gEx|DoS)Eval: evaluating generated regular expressions and their proneness to dos attacks;expert monitoring: human-centered concept drift detection i...
ISBN:
(纸本)9798400705007
The proceedings contain 23 papers. The topics discussed include: Re(gEx|DoS)Eval: evaluating generated regular expressions and their proneness to dos attacks;expert monitoring: human-centered concept drift detection in machine learning operations;ITG: trace generation via iterative interaction between LLM query and trace checking;synthesis of allowlists for runtime protection against SQLi;coding with a creative twist: investigating the link between creativity scores and problem-solving strategies;locating buggy segments in quantum program debugging;beyond a joke: dead code elimination can delete live code;leveraging large language models to improve REST API testing;LogExpert: log-based recommended resolutions generation using large language model;large language model for vulnerability detection: emerging results and future directions;and decomposing and measuring trust in open-source software.
The proceedings contain 19 papers. The topics discussed include: cooperative specification via composition control;aconite: towards generating Sirius-based graphical editors from annotated metamodels;towards an in-con...
ISBN:
(纸本)9798400711800
The proceedings contain 19 papers. The topics discussed include: cooperative specification via composition control;aconite: towards generating Sirius-based graphical editors from annotated metamodels;towards an in-context LLM-based approach for automating the definition of model views;concrete syntax metapatterns;efficient demand evaluation of fixed-point attributes using static analysis;the design of a self-compiling C transpiler targeting POSIX shell;DSLs in racket: you want it how, now?;design of software representation languages: a historical perspective;trading runtime for energy efficiency: leveraging power caps to save energy across programming languages;cloud programming languages and infrastructure from code: an empirical study;and statically and dynamically delayed sampling for typed probabilistic programming languages.
The proceedings contain 33 papers. The topics discussed include: interplay of human factors and secure architecture design using model-driven engineering;how do developers reuse StackOverflow answers in their GitHub p...
ISBN:
(纸本)9798400712494
The proceedings contain 33 papers. The topics discussed include: interplay of human factors and secure architecture design using model-driven engineering;how do developers reuse StackOverflow answers in their GitHub projects?;logical square-driven and state-oriented generation of behavioral models;automatic generation of logical specifications for behavioral models;MorphQ++: a reproducibility study of metamorphic testing on quantum compilers;taxonomy of security-related issues in android apps: an empirical study;redundancy and concept analysis for code-trained language models;using static analysis to aid monolith to microservice system transformation: tuning fuzzy C-means in a VAE-based GNN approach;automated generation of ethical profile-building questionnaires;everything everywhere all at once: efficient cross-service program analysis with OverSeer;and a preliminary study of multilingual code language models for code generation task using translated benchmarks.
The proceedings contain 25 papers. The special focus in this conference is on Requirements engineering: Foundation for software Quality. The topics include: Requirements Classification Using FastText and BETO in&...
ISBN:
(纸本)9783031297854
The proceedings contain 25 papers. The special focus in this conference is on Requirements engineering: Foundation for software Quality. The topics include: Requirements Classification Using FastText and BETO in Spanish Documents;exploring Requirements for software that Learns: A Research Preview;requirements engineering for Automotive Perception Systems: An Interview Study;An Investigation of Challenges Encountered When Specifying Training Data and Runtime Monitors for Safety Critical ML Applications;A Requirements engineering Perspective to AI-Based Systems Development: A Vision Paper;out-of-Distribution Detection as Support for Autonomous Driving Safety Lifecycle;automatically Classifying Kano Model Factors in App Reviews;data-Driven Persona Creation, Validation, and Evolution;towards a Cross-Country Analysis of software-Related Tweets;an Empirical Study of the Intuitive Understanding of a Formal Pattern Language;integrating Implicit Feedback into Crowd Requirements engineering – A Research Preview;authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft;knowns and Unknowns: An Experience Report on Discovering Tacit knowledge of Maritime Surveyors;feel It, Code It: Emotional Goal Modelling for Gender-Inclusive Design;A Product Owner’s Navigation in Power Imbalance Between Business and IT: An Experience Report;eliciting Security Requirements – An Experience Report;supporting Shared Understanding in Asynchronous Communication Contexts;bringing Stakeholders Along for the Ride: Towards Supporting Intentional Decisions in software Evolution;understanding the Role of Human-Related Factors in Security Requirements Elicitation;scope Determined (D) and Scope Determining (G) Requirements: A New Categorization of Functional Requirements;using Language Models for Enhancing the Completeness of Natural-Language Requirements;requirement or Not, That is the Question: A Case from the Railway Industry;summarization of Elicitation Conversations to Locate Re
The proceedings contain 15 papers. The topics discussed include: a study on the battery usage of deep learning frameworks on iOS devices;an empirical study on the impact of CSS prefixes on the energy consumption and p...
ISBN:
(纸本)9798400705892
The proceedings contain 15 papers. The topics discussed include: a study on the battery usage of deep learning frameworks on iOS devices;an empirical study on the impact of CSS prefixes on the energy consumption and performance of mobile web apps;an empirical evaluation of the energy consumption of using web push APIs in mobile web apps – the case of telegram;how have iOS development technologies changed over time? a study in open-source;detection of inconsistencies between guidance pages and actual data collection of third-party SDKs;generating rate features for mobile applications;toward an android static analysis approach for data protection;are your android app analyzers still relevant?;and towards benchmarking the coverage of automated testing tools in android against manual testing.
The proceedings contain 15 papers. The special focus in this conference is on Evaluation of Novel Approaches to softwareengineering. The topics include: Impact Analysis of Disruptions on Composite Resources...
ISBN:
(纸本)9783031641817
The proceedings contain 15 papers. The special focus in this conference is on Evaluation of Novel Approaches to softwareengineering. The topics include: Impact Analysis of Disruptions on Composite Resources;Requirements Elicitation in the Age of AI: A Tool’s Multi-system Journey;A Deep Contextual Product Recommender System for SO-DSPL Framework;Beyond the Systematic: Forecasting Importance and Emergence of Research Areas in Applications of software Traceability Using NLP;a Method for Model-Driven IoT Application Development;operationalizing Decision Tables: A Step-by-Step Framework for Efficient software Product Line Customization;singleton and Factory Design Patterns Detection Based on Features and Machine Learning;future Vision of Dynamic Certification Schemes for Autonomous Systems;advancing Code Smell Detection: Live Global Data Detection and Data Clumps Testcases;dynamic Data-Flow Analysis with Dacite: Evaluating an Integrated Data-Flow Visualization Approach;enhancing software Defect Prediction: Exploring the Predictive Power of Two Data Flow Metrics;adaptive Strategies Metric Suite;Enhancing Collaboration and Agility in Data-Centric AI Projects.
The proceedings contain 18 papers. The special focus in this conference is on Fundamental Approaches to softwareengineering. The topics include: Parallel Program Analysis via Range Splitting;runtime Enforcement Using...
ISBN:
(纸本)9783031308253
The proceedings contain 18 papers. The special focus in this conference is on Fundamental Approaches to softwareengineering. The topics include: Parallel Program Analysis via Range Splitting;runtime Enforcement Using knowledge Bases;specification and Validation of Normative Rules for Autonomous Agents;towards Log Slicing;vamos: Middleware for Best-Effort Third-Party Monitoring;yet Another Model! A Study on Model’s Similarities for Defect and Code Smells;software Testing: 5th Comparative Evaluation: Test-Comp 2023;FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation: (Competition Contribution);A Modeling Concept for Formal Verification of OS-Based Compositional software;compositional Automata Learning of Synchronous Systems;concolic Testing of Front-end JavaScript;democratizing Quality-Based Machine Learning Development through Extended Feature Models;Efficient Bounded Exhaustive Input Generation from Program APIs;feature-Guided Analysis of Neural Networks;JavaBIP meets VerCors: Towards the Safety of Concurrent software Systems in Java;model-based Player Experience Testing with Emotion Pattern Verification.
The proceedings contain 22 papers. The special focus in this conference is on Requirements engineering: Foundation for software Quality. The topics include: Assessing the Understandability and Acceptance of&...
ISBN:
(纸本)9783031573262
The proceedings contain 22 papers. The special focus in this conference is on Requirements engineering: Foundation for software Quality. The topics include: Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements;learning to Rank Privacy Design Patterns: A Semantic Approach to Meeting Privacy Requirements;a New Usability Inspection Method: Experience-Based Analysis;governance-Focused Classification of Security and Privacy Requirements from Obligations in softwareengineering Contracts;what Impact Do My Preferences Have?;Candidate Solutions for Defining Explainability Requirements of AI Systems;Opportunities and Limitations of AI in Human-Centered Design a Research Preview;A Tertiary Study on AI for Requirements engineering;Exploring LLMs’ Ability to Detect Variability in Requirements;Designing NLP-Based Solutions for Requirements Variability Management: Experiences from a Design Science Study at Visma;Natural2CTL: A Dataset for Natural Language Requirements and Their CTL Formal Equivalents;Towards a Comprehensive Ontology for Requirements engineering for AI-Powered Systems;Operationalizing Machine Learning Using Requirements-Grounded MLOps;unveiling Competition Dynamics in Mobile App Markets Through User Reviews;exploring the Automatic Classification of Usage Information in Feedback;channeling the Voice of the Crowd: Applying Structured Queries in User Feedback Collection;requirements Information in Backlog Items: Content Analysis;Requirements engineering for No-Code Development (RE4NCD);behavior-Driven Specification in Practice: An Experience Report;the Return of Formal Requirements engineering in the Era of Large Language Models.
The proceedings contain 187 papers. The topics discussed include: research and design of process automation robots based on BiLSTM-CRF;an improved genetic algorithm for predicting road roughness coefficient;an innovat...
ISBN:
(纸本)9798331506612
The proceedings contain 187 papers. The topics discussed include: research and design of process automation robots based on BiLSTM-CRF;an improved genetic algorithm for predicting road roughness coefficient;an innovative study on the design of Silankappu cultural creation under the threshold of service design;urban drainage network overflow risk prediction based on fuzzy brain emotional learning;airborne reconfigurable data processing and analysis technology based on air-ground bidirectional link;context-aware grammatical error correction model;a review of key technologies for time-series data storage in embedded environments;multi-relational network layer node immunization strategy based on multi-particle random walk;a gesture recognition algorithm based on deep learning;and an improved UAV image small target detection method based on YOLOv8.
The proceedings contain 8 papers. The topics discussed include: report on the 12th international Workshop on Quantitative Approaches to software Quality;an automated evaluation approach for Jupyter notebook code cell ...
The proceedings contain 8 papers. The topics discussed include: report on the 12th international Workshop on Quantitative Approaches to software Quality;an automated evaluation approach for Jupyter notebook code cell recommender systems;a report on sentiment report on sentiment analysis of requirements engineering analysis of requirements engineering artifacts created in university course;understanding the occurrences of test smells in open source and industrial software systems: an empirical study on python projects;F-IKOS: an abstract interpretation-based static analyzer for Fortran programs;challenges in adopting LLaMA: an empirical study of discussions on stack overflow;requirements engineering practices model to incorporate 'power' human value;and a novel approach to automated test script generation using large language models for domain-specific languages.
暂无评论