The proceedings contain 20 papers. The special focus in this conference is on Fundamental Approaches to softwareengineering. The topics include: SixthSense: Debugging Convergence Problems in Probabilistic Programs vi...
ISBN:
(纸本)9783030994280
The proceedings contain 20 papers. The special focus in this conference is on Fundamental Approaches to softwareengineering. The topics include: SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning;quantitative Program Sketching using Lifted Static Analysis;estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing;construction of Verifier Combinations Based on Off-the-Shelf Verifiers;a Survey-driven Feature Model for software Traceability Approaches;QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants;SMT-Based Planning Synthesis for Distributed System Reconfigurations;aequeVox: Automated Fairness Testing of Speech Recognition Systems;PEQtest: Testing Functional Equivalence;information-flow Interfaces;advances in Automatic software Testing: Test-Comp 2022;semantic Clone Detection via Probabilistic software Modeling;symbolic Predictive Cache Analysis for Out-of-Order Execution;An Institutional Approach to Communicating UML State Machines;FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing: (Competition Contribution);veriFuzz: Good Seeds for Fuzzing (Competition Contribution);on the Detection of Doped software by Falsification.
The proceedings contain 29 papers. The topics discussed include: automatic COVID-19 diagnosis using deep learning features and support vector machines based on Bayesian optimization;deep learning-based image restorati...
ISBN:
(纸本)9781665492027
The proceedings contain 29 papers. The topics discussed include: automatic COVID-19 diagnosis using deep learning features and support vector machines based on Bayesian optimization;deep learning-based image restoration for low-power and lossy networks;analysis of students’ emotions in an online learning environment;detection of leaks through exception mechanisms;a model driven approach for web service composition;a formal modelling language for digital electronic systems design;enhanced honey badger algorithm for mesh routers placement problem in wireless mesh networks;collaborative learning environment over internet using augmented reality and voice interaction;integrating jess rules in renew tool for smart car guidance;transfer learning-based ensemble deep learning for road cracks detection;region of interest and redundancy problem in migratory birds wild life surveillance;new recommender system for enhancing predictions’ performances in e-learning systems using learning analytics indicators;and analysis of the effect of audio data augmentation techniques on phone digit recognition for Algerian Arabic dialect.
The proceedings contain 49 papers. The topics discussed include: analysis of e-learning Indonesian student acceptance behavior in online practicum using tam and flow theory;factors affecting information assurance for ...
ISBN:
(纸本)9781665473033
The proceedings contain 49 papers. The topics discussed include: analysis of e-learning Indonesian student acceptance behavior in online practicum using tam and flow theory;factors affecting information assurance for big data;automatic hand sanitizer and body temperature measurement system with low liquid hand sanitizer condition notification;study of multi-modal diary service using spoken dialogue agent for self-care in elderly people;an optimized clustering model for heterogeneous cross-project defect prediction using quantum crow search;evaluation and improvement of user interface for online passport service application using user centered design approach;systematic literature review of artificial intelligence in malware detection;evaluation and user interface design recommendation using user centered design method in Finpay money application;extended finite state machine-model based testing on mobile application;analysis and redesign web navigation Telkom University using usability testing and trunk test;and user interface design pattern selection and implementation for designing a web-based transaction and goods record-keeping application for micro, small and medium enterprises.
The proceedings contain 60 papers. The topics discussed include: a numerical study for a novel super-time-stepping method with one- dimensional nonlinear parabolic equations;the application of residue theorem in Melli...
ISBN:
(纸本)9781510657625
The proceedings contain 60 papers. The topics discussed include: a numerical study for a novel super-time-stepping method with one- dimensional nonlinear parabolic equations;the application of residue theorem in Mellin transform integrals;solved horses-in-pursuing problem with complex analysis;on the solutions of space-time KdV type fractional differential equations;the prime number theorem via Fourier transformation;application of the residue theorem in a special kind of real integral;Taylor’s way of continuity random variable;interval-valued intuitionistic fuzzy (1,2)-ideals of semigroups;applications of singular value decomposition in data reduction;and newton iteration finite volume element approximation for the Cahn-Hilliard Equation.
Blockchain is a distributed ledger that provides an open, decentralized, and fault-tolerant transaction mechanism. Blockchain technology has attracted considerable attention from both industry and academia since it is...
详细信息
ISBN:
(纸本)9781665412193
Blockchain is a distributed ledger that provides an open, decentralized, and fault-tolerant transaction mechanism. Blockchain technology has attracted considerable attention from both industry and academia since it is originally introduced for Bitcoin [7] to support the exchange of cryptocurrency. Blockchain technology evolves to facilitate generalpurpose computations with a wide range of decentralized applications. The Smart contract technology is one appealing decentralized application that enables the computations on top of a blockchain.
The proceedings contain 48 papers. The topics discussed include: research on modeling method of network attack chain efficiency;audio adversarial attack: his attack;a measure for enhancing Hreik network lookup;a priva...
ISBN:
(纸本)9781510655980
The proceedings contain 48 papers. The topics discussed include: research on modeling method of network attack chain efficiency;audio adversarial attack: his attack;a measure for enhancing Hreik network lookup;a privacy-preserving data collection scheme for smart agriculture based on edge blockchain;a conformance check method for evaluating the fitness of a process model with duplicate tasks;a de-obfuscation system based on Markov models;research on the construction method of encrypted malicious traffic detection system based on machine learning;a fast and robust mesh construction method for medial axis transform;research on the aggregation of V2G security authentication and privacy data based on blockchain;network intrusion monitoring based on improved ant colony algorithm;and toward more efficient iris recognition using a lightweight CNN framework with attention mechanism.
The proceedings contain 14 papers. The topics discussed include: MediaPipe-based LSTM-autoencoder sarcopenia anomaly detection and requirements for improving detection accuracy;the application of machine learning on t...
The proceedings contain 14 papers. The topics discussed include: MediaPipe-based LSTM-autoencoder sarcopenia anomaly detection and requirements for improving detection accuracy;the application of machine learning on the injury prediction of soccer players;real-time twist rebar detection system exploiting GAN-based data augmentation technique;performance evaluation of fire and smoke detection with object based DNN algorithm;business process model annotation techniques: identification, classification and analysis;automatic testing of OCE, a human-centered reinforcement learning system for automated software composition;towards automated open source assessment - an empirical study;load balancing in cloud computing using nature-inspired algorithms: a systematic literature review;and quality assurance in MLOps setting: an industrial perspective.
The proceedings contain 22 papers. The special focus in this conference is on softwareengineering and Formal Methods. The topics include: Neural Network Verification Using Residual Reasoning;training Agents to S...
ISBN:
(纸本)9783031171079
The proceedings contain 22 papers. The special focus in this conference is on softwareengineering and Formal Methods. The topics include: Neural Network Verification Using Residual Reasoning;training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Learning;information Flow Control-by-Construction for an Object-Oriented Language;specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts;SKLEE: A Dynamic Symbolic Analysis Tool for Ethereum Smart Contracts (Tool Paper);weighted Games for User Journeys;safety Controller Synthesis for a Mobile Manufacturing Cobot;timely Specification Repair for Alloy 6;behaVerify: Verifying Temporal Logic Specifications for Behavior Trees;auto-Active Verification of Floating-Point Programs via Nonlinear Real Provers;CHA: Supporting SVA-Like Assertions in Formal Verification of Chisel Programs (Tool Paper);runtime Verification with Imperfect Information Through Indistinguishability Relations;Runtime Enforcement for IEC 61499 Applications;information Exchange Between Over- and Underapproximating software Analyses;a Query Language for Language Analysis;field-Sensitive Program Slicing;SPouT: Symbolic Path Recording During Testing - A Concolic Executor for the JVM;cooperation Between Automatic and Interactive software Verifiers;strategy Switching: Smart Fault-Tolerance for Weakly-Hard Resource-Constrained Real-Time Applications;a Program Slicer for Java (Tool Paper).
The proceedings contain 10 papers. The topics discussed include: introducing software system course to engineering undergraduate students - an experience report;mining and detecting bugs in introductory programs;teach...
The proceedings contain 10 papers. The topics discussed include: introducing software system course to engineering undergraduate students - an experience report;mining and detecting bugs in introductory programs;teaching softwareengineering virtually during COVID-19 pandemic era: lessons learned;the perceived effects of introducing coaching on the development of student’s soft skills managing software quality;applying softwareengineering to teach online project-based softwareengineering courses;report on the 9th international workshop on quantitative approaches to software quality (QuASoQ 2021);the impacts of requirements relationships knowledge on requirements quality and software development project success;and predicting requirements volatility: an industry case study.
暂无评论