The proceedings contain 11 papers. The special focus in this conference is on . The topics include: kProp: Multi-neuron Relaxation Method for Neural Network Robustness Verification;towards a Basic Theory for...
ISBN:
(纸本)9783031424403
The proceedings contain 11 papers. The special focus in this conference is on . The topics include: kProp: Multi-neuron Relaxation Method for Neural Network Robustness Verification;towards a Basic Theory for Partial Differentiation in the Prototype Verification System;case Studies of Development of Verified Programs with Dafny for Accessibility Assessment;TPGen: A Self-stabilizing GPU-Based Method for Test and Prime Paths Generation;an Optimised Complete Strategy for Testing Symbolic Finite State Machines;afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models;interaction-Based Offline Runtime Verification of Distributed Systems;genetic Algorithm for Program Synthesis;Template-Based Conjecturing for Automated Induction in Isabelle/HOL.
The proceedings contain 43 papers. The topics discussed include: fundamental ray tracing project based on OpenGL with acceleration;decoupling: image occlusion removal based on image segmentation and image inpainting;v...
The proceedings contain 43 papers. The topics discussed include: fundamental ray tracing project based on OpenGL with acceleration;decoupling: image occlusion removal based on image segmentation and image inpainting;virtual flight-based design and simulation of a quadrotor UAV;application of artificial intelligence in geography;learning to self-adaptive robust dehazing network for video detection in drainage pipeline;experimental evaluations of model-based reinforcement learning combined with MPC;an adaptive dehazing network based on dark channel prior and image segmentation;a sewer disease grading method based on entropy power theory;comparison of machine learning algorithms and feature visualization analysis for diabetes risk prediction;research on super resolution angle measurement based on esprit algorithm;and research on signal processing of upper limbs of three gestures.
The proceedings contain 126 papers. The topics discussed include: positive equilibrium global stability annotation for the Leslie-Gower predator prey model with self-feeding prey;joint inversion of TEM and CT by local...
ISBN:
(纸本)9781510668188
The proceedings contain 126 papers. The topics discussed include: positive equilibrium global stability annotation for the Leslie-Gower predator prey model with self-feeding prey;joint inversion of TEM and CT by local cross-gradient in full space;the principle and state-of-art applications of self-similar structure;statistical inference of integer valued time series based on signed thinning operator of symbolic generalized power series in random environment;a reliable climate model based on gaussian process;research on anti-breast cancer candidate drugs analysis based on random forest model and genetic algorithm;classification and prediction model of ancient glass based on AP-CART;dynamic risk assessment of oil and gas pipeline failure based on DBN model;information sharing in supply chain based on products return and game theory;risk assessment of shared electric vehicles participating in backup services;and research on categorical prediction of diabetes based on XGBoost.
The proceedings contain 17 papers. The topics discussed include: a new approach towards ensuring gender inclusive SE job advertisements;a review of how whistleblowing is studied in softwareengineering, and the implic...
详细信息
ISBN:
(纸本)9781665495943
The proceedings contain 17 papers. The topics discussed include: a new approach towards ensuring gender inclusive SE job advertisements;a review of how whistleblowing is studied in softwareengineering, and the implications for research and practice;an empirical investigation on the challenges faced by women in the software industry: a case study;attracting and retaining OSS contributors with a maintainer dashboard;detecting interpersonal conflict in issues and code review: cross pollinating open- and closed-source approaches;DRESS-ML: a domain-specific language for modelling exceptional scenarios and self-adaptive behaviors for drone-based applications;good fences make good neighbors? on the impact of cultural and geographical dispersion on community smells;and how to debug inclusivity bugs? a debugging process with information architecture.
The proceedings contain 197 papers. The topics discussed include: Aper: evolution-aware runtime permission misuse detection for android apps;learning to reduce false positives in analytic bug detectors;towards a green...
ISBN:
(纸本)9781450392211
The proceedings contain 197 papers. The topics discussed include: Aper: evolution-aware runtime permission misuse detection for android apps;learning to reduce false positives in analytic bug detectors;towards a green quotient for software projects;quality-driven machine learning-based data science pipeline realization: a softwareengineering approach;a framework to support software developers in implementing privacy features;let’s talk open-source — an analysis of conference talks and community dynamics;program translation using model-driven engineering;softwareengineering for responsible ai: an empirical study and operationalized patterns;students vs. professionals: improving the learning of software testing;industry's cry for tools that support large-scale refactoring;diversity in programming education: help underrepresented groups learn programming;to disengage or not to disengage: a look at contributor disengagement in open source software;and applying reconfiguration cost and control pattern modeling to self-adaptive systems.
The proceedings contain 53 papers. The topics discussed include: a cross-company ethnographic study on software teams for DeVos and microservices: organization, benefits, and issues;a software impact analysis tool bas...
ISBN:
(纸本)9781665495905
The proceedings contain 53 papers. The topics discussed include: a cross-company ethnographic study on software teams for DeVos and microservices: organization, benefits, and issues;a software impact analysis tool based on change history learning and its evaluation;a static analysis framework for data science notebooks;a unified code review automation for large-scale industry with diverse development environments;an empirical study on implicit constraints in smart contract static analysis;an industrial experience report on retro-inspection;automated labeling and classification of business rules from software requirement specifications;automated visual testing for mobile apps in an industrial setting;and automatic anti-pattern detection in microservice architectures based on distributed tracing.
The proceedings contain 27 papers. The topics discussed include: a longitudinal case study on the effects of an evidence-based softwareengineering training;a project-based collaboration between softwareengineering a...
ISBN:
(纸本)9781665495929
The proceedings contain 27 papers. The topics discussed include: a longitudinal case study on the effects of an evidence-based softwareengineering training;a project-based collaboration between softwareengineering and criminology students : building applications to understand racial injustice in the criminal justice system;academic and industry training for data modelling: ideas for mutual benefit;ASPA: a static analyzer to support learning and continuous feedback on programming courses. an empirical validation;can pre-class GitHub contributions predict success by student teams?;‘can you help me?’ an experience report of teamwork in a game coding camp for autistic high school students;CRS - a hybrid course recommendation system for softwareengineering education;debugging with stack overflow: web search behavior in novice and expert programmers;designing divergent thinking, creative problem solving exams;and exploring diversity in introductory programming classes: an experience report.
暂无评论