the proceedings contain 266 papers. the topics discussed include: PatUntrack: automated generating patch examples for issue reports without tracked insecure code;can cooperative multi-agent reinforcement learning boos...
ISBN:
(纸本)9798400712487
the proceedings contain 266 papers. the topics discussed include: PatUntrack: automated generating patch examples for issue reports without tracked insecure code;can cooperative multi-agent reinforcement learning boost automatic web testing? an exploratory study;SLIM: a scalable and interpretable light-weight fault localization algorithm for imbalanced data in microservice;to tag, or not to tag: translating C's unions to rust's tagged unions;general and practical property-based testing for android apps;preference-guided refactored tuning for retrieval augmented code generation;language-agnostic static analysis of probabilistic programs;beyond manual modeling: automating GUI model generation using design documents;and test case generation for Simulink models using model fuzzing and state solving.
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 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: BUGSC++: a highly usable real world defect benchmark for C/C++;an automated and flexible multilingual bug-fix dataset construction system;learning to l...
ISBN:
(纸本)9798350329964
the proceedings contain 208 papers. the topics discussed include: BUGSC++: a highly usable real world defect benchmark for C/C++;an automated and flexible multilingual bug-fix dataset construction system;learning to locate and describe vulnerabilities;ASTER: automatic speech recognition system accessibility testing for stutterers;NaturalFuzz: natural input generation for big data analytics;ReuNify: a step towards whole program analysis for react native android apps;towards a knowledge base of common sustainability weaknesses in green software development;function-level vulnerability detection through fusing multi-modal knowledge;symbolic fixpoint algorithms for logical LTL games;and an empirical study of parameter-efficient fine-tuning methods for pre-trained code models.
the proceedings contain 46 papers. the topics discussed include: automatic repair of java code with timing side-channel vulnerabilities;statistical analysis of refactoring bug reports in eclipse Bugzilla;an empirical ...
ISBN:
(纸本)9781665435833
the proceedings contain 46 papers. the topics discussed include: automatic repair of java code with timing side-channel vulnerabilities;statistical analysis of refactoring bug reports in eclipse Bugzilla;an empirical study on code smells co-occurrences in android applications;android malware detection: looking beyond Dalvik bytecode;accelerating symbolic analysis for android apps;automated game testing using computer vision methods;rebuilding games at runtime;towards a framework to assist iterative and adaptive design in gameful systems;metrics for assessing gamers’ satisfaction: exploring the graphics factor;and task distribution and human resource management using reinforcement learning.
the proceedings contain 166 papers. the topics discussed include: learning GraphQL query cost;mining cross-domain apps for software evolution: a feature-based approach;binary code similarity detection;intelligent chan...
ISBN:
(纸本)9781665403375
the proceedings contain 166 papers. the topics discussed include: learning GraphQL query cost;mining cross-domain apps for software evolution: a feature-based approach;binary code similarity detection;intelligent change operators for multi-objective refactoring;subtle bugs everywhere: generating documentation for data wrangling code;Beafix: an automated repair tool for faulty alloy models;learning patterns in configuration;PY2SRC: towards the automatic (and reliable) identification of sources for PYPI package;JTDOG: a Gradle plugin for dynamic test smell detection;using version control and issue tickets to detect code debt and economical cost;learning-based assistant for data migration of enterprise information systems;and on the real-world effectiveness of static bug detectors at finding null pointer exceptions.
the proceedings contain 158 papers. the topics discussed include: Styx: a data-oriented mutation framework to improve the robustness of DNN;team discussions and dynamics during DevOps tool adoptions in OSS projects;FI...
ISBN:
(纸本)9781450367684
the proceedings contain 158 papers. the topics discussed include: Styx: a data-oriented mutation framework to improve the robustness of DNN;team discussions and dynamics during DevOps tool adoptions in OSS projects;FILO: FIx-LOcus localization for backward incompatibilities caused by android framework upgrades;SAT-based arithmetic support for alloy;automated implementation of windows-related security-configuration guides;SmartBugs: a framework to analyze solidity smart contracts;scaling client-specific equivalence checking via impact boundary search;edge4real: a cost-effective edge computing based human behavior recognition system for human-centric softwareengineering;when deep learning meets smart contracts;and BiLO-CPDP: bi-level programming for automated model discovery in cross-project defect prediction.
the proceedings contain 28 papers. the topics discussed include: emotion detection in Roman Urdu text using machine learning;mapping textual feedback to process model elements;Zimbabwean non-uptake of protective point...
ISBN:
(纸本)9781450381284
the proceedings contain 28 papers. the topics discussed include: emotion detection in Roman Urdu text using machine learning;mapping textual feedback to process model elements;Zimbabwean non-uptake of protective point-of-sale behaviors: is this a risk homeostasis response?;characterizing co-located insecure coding patterns in infrastructure as code scripts;autoeprs-20: extracting business process redesign suggestions from natural language text;a framework for the automatic execution of measurement-based experiments on android devices;designing a serious game: teaching developers to embed privacy into software systems;KnowledgeZooClient: constructing knowledge graph for android;and exploring the requirements of pandemic awareness systems: a case study of COVID-19 using social media data.
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 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.
暂无评论