The proceedings contain 14 papers. The topics discussed include: contract automata: a specification language for mode-based systems;finite automata synthesis from interactions;preprocessing is what you need: understan...
ISBN:
(纸本)9798400705892
The proceedings contain 14 papers. The topics discussed include: contract automata: a specification language for mode-based systems;finite automata synthesis from interactions;preprocessing is what you need: understanding and predicting the complexity of sat-based uniform random sampling;diagnosing violations of time-based properties captured in iCFTL;time for networks: mutation testing for timed automata networks;verifying opacity of discrete-timed automata;automated repair of violated eventually properties in concurrent programs;compositional analysis of parametric cooperative cyber-physical systems;formal methods in requirements engineering: survey and future directions;and a semantics of structures, unions, and underspecified terms for formal specification.
The proceedings contain 237 papers. The topics discussed include: shedding light on softwareengineering-specific metaphors and idioms;scalable relational analysis via relational bound propagation;VeRe: verification g...
ISBN:
(纸本)9798400702174
The proceedings contain 237 papers. The topics discussed include: shedding light on softwareengineering-specific metaphors and idioms;scalable relational analysis via relational bound propagation;VeRe: verification guided synthesis for repairing deep neural networks;analyzing and debugging normative requirements via satisfiability checking;investigating white-box attacks for on-device models;streamlining java programming: uncovering well-formed idioms with IdioMine;understanding transaction bugs in database systems;FuzzSlice: pruning false positives in static analysis warnings through function-level fuzzing;DeMistify: identifying on-device machine learning models stealing and reuse vulnerabilities in mobile apps;inferring data preconditions from deep learning models for trustworthy prediction in deployment;and object graph programming.
The proceedings contain 15 papers. The topics discussed include: deep multiple assertions generation;MeTMaP: metamorphic testing for detecting false vector matching problems in LLM augmented generation;the emergence o...
ISBN:
(纸本)9798400706097
The proceedings contain 15 papers. The topics discussed include: deep multiple assertions generation;MeTMaP: metamorphic testing for detecting false vector matching problems in LLM augmented generation;the emergence of large language models in static analysis: a first look through micro-benchmarks;reality bites: assessing the realism of driving scenarios with large language models;assessing the impact of GPT-4 turbo in generating defeaters for assurance cases;exploring the impact of the output format on the evaluation of large language models for code translation;is attention all you need? toward a conceptual model for social awareness in large language models;and an exploratory investigation into code license infringements in large language model training datasets.
The proceedings contain 44 papers. The topics discussed include: a design analysis of a web-based 2D virtual laboratory application for phlebotomy learning;automated waste classification using convolutional neural net...
ISBN:
(纸本)9798350378955
The proceedings contain 44 papers. The topics discussed include: a design analysis of a web-based 2D virtual laboratory application for phlebotomy learning;automated waste classification using convolutional neural network;SFTCS: multiform semantic fusion based on transformer for code summarization;advancements in skin cancer detection: a comprehensive review of convolutional neural network approaches;elevating healthcare efficiency and patient engagement: speech-to- text solutions with multilingual medical consultations in the Philippines;defining metrics for evaluating transparency in softwareengineering process;a study of modified mobile church application for Filipino Catholics;and an in-depth analysis on systems integration and architectural design and implementation on security.
The proceedings contain 79 papers. The topics discussed include: live code smell detection of data clumps in an integrated development environment;visualizing dynamic data-flow analysis of object-oriented programs bas...
ISBN:
(纸本)9789897586477
The proceedings contain 79 papers. The topics discussed include: live code smell detection of data clumps in an integrated development environment;visualizing dynamic data-flow analysis of object-oriented programs based on the language server protocol;multivocal literature review on non-technical debt in software development: an exploratory study;compaction of spacecraft operational models with metamodeling domain knowledge;predictive power of two data flow metrics in software defect prediction;requirements elicitation and modelling of artificial intelligence systems: an empirical study;a distance-based feature selection approach for software anomaly detection;rethinking certification for higher trust and ethical safeguarding of autonomous systems;managing domain analysis in software product lines with decision tables: an approach for decision representation, anomaly detection and resolution;towards automated prediction of software bugs from textual description;and features and supervised machine learning based method for singleton design pattern variants detection.
The proceedings contain 95 papers. The topics discussed include: AI-based code generation: achievements and open problems;insights into test code quality prediction: managing machine learning techniques;evidence-based...
ISBN:
(纸本)9798400717017
The proceedings contain 95 papers. The topics discussed include: AI-based code generation: achievements and open problems;insights into test code quality prediction: managing machine learning techniques;evidence-based research for supporting secure software development: methodological challenges and strategies;the role of software measurement in assured LLM-based softwareengineering;a catalog of transformations to remove smells from natural language tests;adversarial attack and robustness improvement on code summarization;analyzing prerequisites of known deserialization vulnerabilities on Java applications;an empirically grounded reference architecture for software supply chain metadata management;and an empirical study on the energy usage and performance of pandas and polars data analysis python libraries.
The proceedings contain 23 papers. The topics discussed include: research on food price prediction based on BP neural network optimized by immune algorithm-particle swarm optimization hybrid algorithm;test-driven deve...
ISBN:
(纸本)9798350393705
The proceedings contain 23 papers. The topics discussed include: research on food price prediction based on BP neural network optimized by immune algorithm-particle swarm optimization hybrid algorithm;test-driven development: ensuring code quality in integration with CI/CD;H company refrigerator box production line balancing problem optimization study;methods for detecting XSS attacks based on BERT and BiLSTM;multimodal understanding and personalized dispatching for property service orders via pre-training based fusion;modeling analysis and improvement of 5G ambulance-based emergency medical service system;and study on service quality evaluation of H college canteen based on data mining.
The proceedings contain 8 papers. The special focus in this conference is on Model-Based software and Systems engineering. The topics include: Behaviour-Oriented OPC UA Information Model Development for CPPS;Abst...
ISBN:
(纸本)9783031663383
The proceedings contain 8 papers. The special focus in this conference is on Model-Based software and Systems engineering. The topics include: Behaviour-Oriented OPC UA Information Model Development for CPPS;Abstracting Complexity in MBSE Models: InTra - A Practical Approach for Rule-Based Model Transformation;UMLDS: A Round-Trip engineering Support Tool to Avoid Unintended Design Changes;an Expression Language for Model Transformations;challenges in Modeling and Unmodeling Complex Reactive Systems: Interaction Networks, Reaction to Emergent Effects, Reactive Rule Composition, and Multiple Time Scales;improving Requirements in Model-Based Systems engineering Through Multi-layer Goal Models.
The proceedings contain 158 papers. The topics discussed include: GitBug-Actions: building reproducible bug-fix benchmarks with GitHub actions;DronLomaly: runtime log-based anomaly detector for DJI Drones;nvshare: pra...
ISBN:
(纸本)9798400705021
The proceedings contain 158 papers. The topics discussed include: GitBug-Actions: building reproducible bug-fix benchmarks with GitHub actions;DronLomaly: runtime log-based anomaly detector for DJI Drones;nvshare: practical GPU sharing without memory size constraints;Daedalux: an extensible platform for variability-aware model checking;verifying and displaying move smart contract source code for the sui blockchain;TestSpark: IntelliJ IDEA's ultimate test generation companion;TypeEvalPy: a micro-benchmarking framework for Python type inference tools;can my microservice tolerate an unreliable database? resilience testing with fault injection and visualization;refinery: graph solver as a service;AntiCopyPaster 2.0: whitebox just-in-time code duplicates extraction;GitHubInclusifier: finding and fixing non-inclusive language in GitHub repositories;and OpenSBT: a modular framework for search-based testing of automated driving systems.
The proceedings contain 87 papers. The topics discussed include: designing an e-voting framework using blockchain: a secure and transparent attendance approach;SODIBOT: a two in one real-time human monitoring system u...
ISBN:
(纸本)9798350310931
The proceedings contain 87 papers. The topics discussed include: designing an e-voting framework using blockchain: a secure and transparent attendance approach;SODIBOT: a two in one real-time human monitoring system using YOLO algorithms;priority based fair scheduling: enhancing efficiency in cloud job distribution;a survey on supervised machine learning in intrusion detection systems for Internet of Things;machine learning regression models for real-time touchless interaction applications;knowledge of the utilization of telegram for learning among primary students in Kuantan;exploring machine learning in IoT smart home automation;predicting mental health disorder on twitter using machine learning techniques;improving sarcasm detection in mash-up language through hybrid pretrained word embedding;and an overview of part-of-speech tagging methods and datasets for Malay language.
暂无评论