The proceedings contain 19 papers. The topics discussed include: working around loops for infeasible path detection in binary programs;revisiting exception handling practices with exception flow analysis;tree-oriented...
ISBN:
(纸本)9781538632383
The proceedings contain 19 papers. The topics discussed include: working around loops for infeasible path detection in binary programs;revisiting exception handling practices with exception flow analysis;tree-oriented vs. line-oriented observation-based slicing;an exploratory study of functional redundancy in code repositories;how do scratch programmers name variables and procedures?;contextual recommendation of relevant program elements in an interactive feature location process;harvesting the wisdom of the crowd to infer method nullness in Java;investigating the use of codeanalysis and NLP to promote a consistent usage of identifiers;a methodology for relating software structure with energy consumption;and on the relationships between stability and bug-proneness of code clones: an empirical study.
The proceedings contain 30 papers. The topics discussed include: ORBS and the limits of static slicing;intent, tests, and release dependencies: pragmatic recipes for sourcecode integration;the use of C++ exception ha...
ISBN:
(纸本)9781467375290
The proceedings contain 30 papers. The topics discussed include: ORBS and the limits of static slicing;intent, tests, and release dependencies: pragmatic recipes for sourcecode integration;the use of C++ exception handling constructs: a comprehensive study;multi-layer software configuration: empirical study on wordpress;can the use of types and query expansion help improve large-scale code search?;using changeset descriptions as a data source to assist feature location;automatically identifying focal methods under test in unit test cases;navigating sourcecode with words;recommending insightful comments for sourcecode using crowdsourced knowledge;data tainting and obfuscation: improving plausibility of incorrect taint;and a grammar for spreadsheet formulas evaluated on two large datasets.
The proceedings contain 24 papers. The topics discussed include: empirical investigation of SEA-based dependence cluster properties;characterization and assessment of the Linux configuration complexity;criticality of ...
ISBN:
(纸本)9781467357395
The proceedings contain 24 papers. The topics discussed include: empirical investigation of SEA-based dependence cluster properties;characterization and assessment of the Linux configuration complexity;criticality of defects in cyclic dependent components;code clustering workbench;empirical evidence of large-scale diversity in API usage of object-oriented software;aspectual sourcecodeanalysis with GASR;driving a sound static software analyzer with branch-and-bound;PtrTracker: pragmatic pointer analysis;tracing with minimal number of probes;a state alteration and inspection-based interactive debugger;Proteum/FL: a mutation-based fault localization Tool;Gecos: an extensible source-to-source compiler for embedded hardware;review efforts reduction by partitioning of static analysis warnings;determining coupling in JavaScript using object type inference;MetricMiner: supporting researchers in mining software repositories;and fix-it: an extensible code auto-fix component in review Bot.
The proceedings contain 28 papers. The topics discussed include: calibrating deep learning-based code smell detection using human feedback;change pattern detection for optimizing incremental static analysis;how they r...
ISBN:
(纸本)9798350305067
The proceedings contain 28 papers. The topics discussed include: calibrating deep learning-based code smell detection using human feedback;change pattern detection for optimizing incremental static analysis;how they relate and leave: understanding atoms of confusion in open-source java projects;on developing and improving tools for architecture-smell tracking in Java systems;the docker hub image inheritance network: construction and empirical insights;leveraging user-defined identifiers for counterfactual data generation in sourcecode vulnerability detection;do code quality and style issues differ across (non-)machine learning notebooks? yes!;quality assurance awareness in open source software projects on GitHub;explaining transformer-based code models: what do they learn? when they do not work?;can we trust the default vulnerabilities severity?;and CIGAR: contrastive learning for GitHub action recommendation.
The proceedings contain 30 papers. The topics discussed include: JICER: simplifying cooperative android app analysis tasks;formal definition and automatic generation of semantic metrics: an empirical study on bug pred...
ISBN:
(纸本)9781665448970
The proceedings contain 30 papers. The topics discussed include: JICER: simplifying cooperative android app analysis tasks;formal definition and automatic generation of semantic metrics: an empirical study on bug prediction;into the woods: experiences from building a dataflow analysis framework for C/C++;leveraging unsupervised learning to summarize APIs discussed in stack overflow;QSES: quasi-static executable slices;towards a taxonomy for annotation of data science experiment repositories;improving readability of scratch programs with search-based refactoring;and D-REX: static detection of relevant runtime exceptions with location aware transformer.
The proceedings contain 33 papers. The topics discussed include: pruning Boolean expressions to shorten dynamic slices;benchmark fuzzing for android taint analyses;plug and analyze: usable dynamic taint tracker for an...
ISBN:
(纸本)9781665496094
The proceedings contain 33 papers. The topics discussed include: pruning Boolean expressions to shorten dynamic slices;benchmark fuzzing for android taint analyses;plug and analyze: usable dynamic taint tracker for android apps;test transplantation through dynamic test slicing;assessing the impact of execution environment on observation-based slicing;revisiting the impact of anti-patterns on fault-proneness: a differentiated replication;a preliminary evaluation on the relationship among architectural and test smells;an empirical study of code smells in transformer-based code generation techniques;checking refactoring detection results using code changes encoding for improved accuracy;removing dependencies from large software projects: are you really sure?;mining for framework instantiation pattern interplays;multi-modal code summarization with retrieved summary;and the devil is in the details: unwrapping the cryptojacking malware ecosystem on android.
The proceedings contain 22 papers. The topics discussed include: collections frameworks for points-to analysis;building useful program analysis tools using an extensible java compiler;impact analysis in the presence o...
ISBN:
(纸本)9780769547831
The proceedings contain 22 papers. The topics discussed include: collections frameworks for points-to analysis;building useful program analysis tools using an extensible java compiler;impact analysis in the presence of dependence clusters using static execute after in webkit;closed symbolic execution for verifying program termination;alias-aware propagation of simple pattern-based properties in PHP applications;folding repeated instructions for improving token-based code clone detection;evolution of near-miss clones;optimizing expression selection for lookup table program transformation;cross-language codeanalysis and refactoring;when does a refactoring induce bugs? an empirical study;aucsmith-like obfuscation of java bytecode;dynamic trace-based data dependency analysis for parallelization of C programs;and bakar alir: supporting developers in construction of information flow contracts in SPARK.
The proceedings contain 24 papers. The topics discussed include: software quality assurance analytics: enabling software engineers to reflect on QA practices;an empirical analysis of git commit logs for potential inco...
ISBN:
(纸本)9798331528508
The proceedings contain 24 papers. The topics discussed include: software quality assurance analytics: enabling software engineers to reflect on QA practices;an empirical analysis of git commit logs for potential inconsistency in code clones;PROZE: generating parameterized unit tests informed by runtime data;experiment using partial evaluation for transformational debugging;the fault in our stars: quality assessment of code generation benchmarks;FRANC: a lightweight framework for high-quality code generation;an empirical analysis of git commit logs for potential inconsistency in code clones;an empirical investigation into the use of dockerfile preprocessors for docker image management;and breaking-Good: explaining breaking dependency updates with build analysis.
In the domain of Industry 4.0 Cyber-Physical Production Systems (CPPSs), Reinforcement Learning (RL) has gained momentum as an effective strategy for training intelligent agents in digital twins. Whilst the practice o...
详细信息
ISBN:
(数字)9798331520908
ISBN:
(纸本)9798331520915
In the domain of Industry 4.0 Cyber-Physical Production Systems (CPPSs), Reinforcement Learning (RL) has gained momentum as an effective strategy for training intelligent agents in digital twins. Whilst the practice of Machine Learning Operations (MLOps) has become established as a holistic approach to automating workflows in supervised and unsupervised Machine Learning (ML), the extent to which MLOps practices are applicable to RL, particularly due to major differences between ML and RL concerning model deployment and model training, are not currently well-understood. The literature on RLOps as a paradigm is scarce. We tackle this open question by conducting an exploratory, qualitative, deductive-inductive industry case study on a CPPS, performing content analysis of CPPS artefacts, such as architectural schematics and sourcecode, and understanding their relation to 22 known Architectural Design Decisions and 86 associated decision options through classification into four distinct emergent categories. Our findings help bridge the gap between MLOps and RLOps architectures, contributing novel insights into understanding the application of MLOps to RL and providing practical insights and inspiration for further research.
作者：
Harman, MarkUCL
Dept Comp Sci CREST Ctr Malet Pl London WC1E 6BT England
This paper(1) makes a case for sourcecodeanalysis and manipulation. The paper argues that it will not only remain important, but that its importance will continue to grow. This argument is partly based on the 'l...
详细信息
ISBN:
(纸本)9780769541785
This paper(1) makes a case for sourcecodeanalysis and manipulation. The paper argues that it will not only remain important, but that its importance will continue to grow. This argument is partly based on the 'law' of tendency to executability, which the paper introduces. The paper also makes a case for sourcecodeanalysis purely for the sake of analysis. analysis for its own sake may not be merely indulgent introspection. The paper argues that it may ultimately prove to be hugely important as sourcecode gradually gathers together all aspects of human socioeconomic and governmental processes and systems.
暂无评论