The proceedings contain 30 papers. The topics discussed include: optimizing away JavaScript obfuscation;does infrastructure as code adhere to semantic versioning? an analysis of ansible role evolution;MUTAMA: an autom...
ISBN:
(纸本)9781728192482
The proceedings contain 30 papers. The topics discussed include: optimizing away JavaScript obfuscation;does infrastructure as code adhere to semantic versioning? an analysis of ansible role evolution;MUTAMA: an automated multi-label tagging approach for software libraries on maven;static extraction of enforced authorization policies SEEAUTHZ;towards detecting inconsistent comments in java sourcecode automatically;does code review really remove coding convention violations?;failure of one, fall of many: an exploratory study of software features for defect prediction;adapting queries to database schema changes in hybrid polystores;and DCT: an scalable multi-objective module clustering tool.
The proceedings contain 28 papers. The topics discussed include: characterizing leveraged stack over?ow posts;MOAD: modeling observation-based approximate dependency;towards constructing the SSA form using reaching de...
ISBN:
(纸本)9781728149370
The proceedings contain 28 papers. The topics discussed include: characterizing leveraged stack over?ow posts;MOAD: modeling observation-based approximate dependency;towards constructing the SSA form using reaching definitions over dominance frontiers;automatically generating fix suggestions in response to static codeanalysis warnings;rebasing in code review considered harmful: a large-scale empirical investigation;automatically curated data sets;an exploratory study on automatic architectural change analysis using natural language processing techniques;contextualizing rename decisions using refactorings and commit messages;and no accounting for taste: supporting developers' individual choices of coding styles.
The proceedings contain 27 papers. The topics discussed include: combining obfuscation and optimizations in the real world;obfuscating java programs by translating selected portions of bytecode to native libraries;ena...
ISBN:
(纸本)9781538682906
The proceedings contain 27 papers. The topics discussed include: combining obfuscation and optimizations in the real world;obfuscating java programs by translating selected portions of bytecode to native libraries;enabling the continuous analysis of security vulnerabilities with VulData7;towards anticipation of architectural smells using link prediction techniques;periodic developer metrics in software defect prediction;which method-stereotype changes are indicators of code smells?;semantics-based code search using input/output examples;detecting evolutionary coupling using transitive association rules;the case for adaptive change recommendation;and on the use of machine learning techniques towards the design of cloud based automatic code clone validation tools.
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 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 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 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.
The proceedings contain 35 papers. The topics discussed include: effect of clone information on the performance of developers fixing cloned bugs;a comparative study of bug patterns in java cloned and non-cloned code;a...
ISBN:
(纸本)9780769553047
The proceedings contain 35 papers. The topics discussed include: effect of clone information on the performance of developers fixing cloned bugs;a comparative study of bug patterns in java cloned and non-cloned code;a change-type based empirical study on the stability of cloned code;toolset and program repository for code coverage-based test suite analysis and manipulation;the Ekeko/X program transformation tool;Flowgen: flowchart-based documentation framework for C++;PESTO: a tool for migrating DOM-based to visual web tests;Pangea: a workbench for statically analyzing multi-language software corpora;source meter sonar Qube plug-in;total ADS: automated software anomaly detection system;bulk fixing coding issues and its effects on software quality: is it worth refactoring?;instrumentation of annotated c programs for test generation;and impact of code refactoring using object-oriented methodology on a scientific computing application.
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.
In this paper, we present early work on the foundation of a program analysis framework for the Go programming language. This framework, named Go AiR (analysis in Rascal), currently provides support for extracting abst...
详细信息
暂无评论