The proceedings contain 20 papers. The special focus in this conference is on Fundamental Approaches to softwareengineering. The topics include: Foundations for Query-based Runtime Monitoring of Temporal Properties o...
ISBN:
(纸本)9783031572586
The proceedings contain 20 papers. The special focus in this conference is on Fundamental Approaches to softwareengineering. The topics include: Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models;Probabilistic Runtime Enforcement of Executable BPMN Processes;combining Look-ahead Design-time and Run-time Control-synthesis for Graph Transformation Systems;Formal Specification of Trusted Execution Environment APIs;monitoring the Future of Smart Contracts;comprehending Object State via Dynamic Class Invariant Learning;smart Issue Detection for Large-Scale Online Service Systems Using Multi-Channel Data;Refinement Verification of OS Services based on a Verified Preemptive Microkernel;fuzzy quantitative attack tree analysis;Towards Reliable SQL Synthesis: Fuzzing-Based Evaluation and Disambiguation;invariant-based Program Repair;Can ChatGPT support software verification?;combining Deductive Verification with Shape Analysis;First Steps towards Deductive Verification of LLVM IR;FDSE: Enhance Symbolic Execution by Fuzzing-based Pre-Analysis (Competition Contribution);fizzer: New Gray-Box Fuzzer;KLEEF: Symbolic Execution Engine (Competition Contribution);tracerX: Pruning Dynamic Symbolic Execution with Deletion and Weakest Precondition Interpolation (Competition Contribution);ultimate TestGen: Test-Case Generation with Automata-based software Model Checking (Competition Contribution).
The proceedings contain 13 papers. The topics discussed include: a multi-task learning based interest fusion model for recommendation;a flexible approach for solving quality issues by means of collecting runtime data;...
ISBN:
(纸本)9798350324242
The proceedings contain 13 papers. The topics discussed include: a multi-task learning based interest fusion model for recommendation;a flexible approach for solving quality issues by means of collecting runtime data;design of cloud-based TT&C center system;redesigning the swine industry supply chain: a B2B e-marketplace platform;exploring the use of the Delphi method in visual search service effectiveness measurement research in e-commerce platform;and MEC – applications deployment and TCP testing using Simu5G.
The proceedings contain 29 papers. The topics discussed include: leveraging best industry practices to developing software for academic research;application and improvement of agile development in intelligent health h...
ISBN:
(纸本)9781665456067
The proceedings contain 29 papers. The topics discussed include: leveraging best industry practices to developing software for academic research;application and improvement of agile development in intelligent health hut software project;an empirical study on the influence of insurance innovation to corporate violations based on the crawler program by python;incentive mechanism design with gold standard questions based on approval voting in crowdsourcing;innovation of the higher education grassroots statistical reports system based on low-code development;cloud-client integrated designed financial robot based on artificial intelligence;seismic damage prediction and classification tool: utilizing adaptive neuro-fuzzy inference system (ANFIS) and geographic information system (GIS);a multi-graph joint learning network with side information for recommender systems;credit loan default prediction based on data mining;forecasting of long-term natural gas consumption using linear regression method: a study on natural gas sector in Bangladesh;and a synthesis of structural equation model-analytical hierarchy process, nonlinear autoregressive and backpropagation neural network-sensitivity analysis for construction and demolition waste assessment in the Philippines.
The proceedings contain 45 papers. The topics discussed include: enhancing testing at meta with rich-state simulated populations;the impact of bug localization based on crash report mining: a developers' perspecti...
ISBN:
(纸本)9798400705007
The proceedings contain 45 papers. The topics discussed include: enhancing testing at meta with rich-state simulated populations;the impact of bug localization based on crash report mining: a developers' perspective;on the difficulty of identifying incident-inducing changes;autonomous monitors for detecting failures early and reporting interpretable alerts in cloud operations;productive coverage: improving the actionability of code coverage;user-centric deployment of automated program repair at Bloomberg;code impact beyond disciplinary boundaries: constructing a multidisciplinary dependency graph and analyzing cross-boundary impact;the devil is in the command line: associating the compiler flags with the binary and build metadata;dynamic inference of likely symbolic tensor shapes in python machine learning programs;and mind the gap: what working with developers on fuzz tests taught us about coverage gaps.
The proceedings contain 28 papers. The topics discussed include: automated test case generation for service composition from event logs;test case recommendations with distributed representation of code syntactic featu...
ISBN:
(纸本)9798350330328
The proceedings contain 28 papers. The topics discussed include: automated test case generation for service composition from event logs;test case recommendations with distributed representation of code syntactic features;evaluating the effectiveness of neuroevolution for automated GUI-based software testing;modelling multi-party role-based access control policies for iContractML smart contracts;exploring early adopters’ perceptions of ChatGPT as a code generation tool;universal design for website authentication: views and experiences of senior citizens;an empirical study on the adoption of scripted GUI testing for android apps;automated negotiation - preliminary results of a systematic mapping study;and towards an understanding of developers’ perceptions of transparency in software development: a preliminary study.
The proceedings contain 208 papers. The topics discussed include: source code recommender systems: the practitioners’ perspective;GameRTS: a regression testing framework for video games;keeping pace with ever-increas...
ISBN:
(纸本)9781665457019
The proceedings contain 208 papers. The topics discussed include: source code recommender systems: the practitioners’ perspective;GameRTS: a regression testing framework for video games;keeping pace with ever-increasing data: towards continual learning of code intelligence models;fill in the blank: context-aware automated text input generation for mobile GUI testing;DIVER: Oracle-guided SMT solver testing with unrestricted random mutations;reachable coverage: estimating saturation in fuzzing;learning graph-based code representations for source-level functional similarity detection;SmallRace: static race detection for dynamic languages - a case on SmallTalk;towards understanding fairness and its composition in ensemble machine learning;CCRep: learning code change representations via pre-trained code model and query back;Sibyl: improving softwareengineering tools with SMT selection;and generating realistic and diverse tests for LiDAR-based perception systems.
The proceedings contain 7 papers. The topics discussed include: improve software development: an overview of program synthesis;comparison of methods for analyzing the correlation of user experience and information sec...
ISBN:
(纸本)9798400709463
The proceedings contain 7 papers. The topics discussed include: improve software development: an overview of program synthesis;comparison of methods for analyzing the correlation of user experience and information security;analysis and comparison of automatic code generation and transformation techniques on low-code platforms;research on the safety assurance framework for spacecraft embedded software;Mamamayan: a mobile community-based emergency reporting and notification system for the city of Makati in the Philippines;W-Kernel: an OS kernel architecture designed with isolation and customizability;and analysis of the evaluation and influencing factors for innovation ability in sub-provincial cities based on the BP neural network.
The proceedings contain 71 papers. The topics discussed include: multi-class failure prediction for distributed systems based on KPI data and feature selection;accelerating high-precision vulnerability detection in c ...
ISBN:
(纸本)9798350306378
The proceedings contain 71 papers. The topics discussed include: multi-class failure prediction for distributed systems based on KPI data and feature selection;accelerating high-precision vulnerability detection in c programs with parallel graph summarization;PointStack: a point cloud processing network with enhanced global feature aggregation;improving visual speech recognition for small-scale datasets via speaker embedding;GNN and encoder integrated model for distributed solar and wind power forecasting;automatic detection method for software requirements text with language processing model;MAFF: a novel MobileNetV3 attention feature fusion network for automatic vehicle classification;and interval-valued Z-number aggregation operators and its application in airbus type selection problem.
The proceedings contain 32 papers. The topics discussed include: on the formal verification of smart contracts;an approach of a migration process from a legacy web management system with a monolithic architecture to a...
ISBN:
(纸本)9798350328837
The proceedings contain 32 papers. The topics discussed include: on the formal verification of smart contracts;an approach of a migration process from a legacy web management system with a monolithic architecture to a modern microservices-based architecture of a tourism services company;conceptual modeling of the V gene annotation process in antibodies;domain-driven design for microservices architecture systems development: a systematic mapping study;detection of phishing in mobile instant messaging using natural language processing and machine learning;and ensemble classifiers in software defect prediction: a systematic literature review.
暂无评论