the proceedings contain 25 papers. the topics discussed include: the effect of weighted moving windows on security vulnerability prediction;where Does LDA sit for Github?;mining text in incident repositories: experien...
ISBN:
(纸本)9781728141367
the proceedings contain 25 papers. the topics discussed include: the effect of weighted moving windows on security vulnerability prediction;where Does LDA sit for Github?;mining text in incident repositories: experiences and perspectives on adopting machine learning solutions in practice;challenges in secure engineering of critical infrastructure systems;and a hybrid editor for fast robot mission prototyping.
the proceedings contain 154 papers. the topics discussed include: lancer: your code tell me what you need;trusted software supply chain;XRaSE: towards virtually tangible software using augmented reality;automated trai...
ISBN:
(纸本)9781728125084
the proceedings contain 154 papers. the topics discussed include: lancer: your code tell me what you need;trusted software supply chain;XRaSE: towards virtually tangible software using augmented reality;automated trainability evaluation for smart software functions;an industrial experience report on performance-aware refactoring on a database-centric web application;improving the decision-making process of self-adaptive systems by accounting for tactic volatility;understanding exception-related bugs in large-scale cloud systems;efï¬ücient transaction-based deterministic replay for multi-threaded programs;and RENN: efï¬ücient reverse execution with neural-network-assisted alias analysis.
the proceedings contain 91 papers. the topics discussed include: mining branching-time scenarios;measuring the structural complexity of feature models;scalable product line configuration: a straw to break the camel...
ISBN:
(纸本)9781479902156
the proceedings contain 91 papers. the topics discussed include: mining branching-time scenarios;measuring the structural complexity of feature models;scalable product line configuration: a straw to break the camel's back;software analytics for incident management of online services: an experience report;a comparative analysis of software architecture recovery techniques;towards contextual and on-demand code clone management by continuous monitoring;the potential of polyhedral optimization: an empirical study;automated unit testing of large industrial embedded software using concolic testing;minimizing CPU time shortage risks in integrated embedded software;SBFR: a search based approach for reproducing failures of programs with grammar based input;adding context to fault localization with integration coverage;and a pattern-based approach to parametric specification mining.
the proceedings contain 22 papers. the topics discussed include: extending manual GUI testing beyond defects by building mental models of software behavior;software development analytics: experiences and the way forwa...
ISBN:
(纸本)9781467397759
the proceedings contain 22 papers. the topics discussed include: extending manual GUI testing beyond defects by building mental models of software behavior;software development analytics: experiences and the way forward;a conceptual framework for the comparison of fully automated GUI testing techniques;testing approach for mobile applications through reverse engineering of UI patterns;data mining methods and cost estimation models;empirical analysis on parallel tasks in crowdsourcing software development;analytics for software project management - where are we and where do we go?;a method to evaluate estimates produced by the capture-recapture model;using collective intelligence to support multi-objective decisions: collaborative and online preferences;RepMine: a system for transferrable analyses of collaboration activities in softwareengineering;an automated contextual collaboration approach for distributed agile delivery;and comparing model coverage and code coverage in model driven testing: an exploratory study.
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 110 papers. the topics discussed include: wikipedia and how to use it for semantic document representation;unifying testing and analysis through behavioral coverage;automated web application te...
ISBN:
(纸本)9781457716393
the proceedings contain 110 papers. the topics discussed include: wikipedia and how to use it for semantic document representation;unifying testing and analysis through behavioral coverage;automated web application testing using search based softwareengineering;scaling up automated test generation: automatically generating maintainable regression unit tests for programs;automatic generation of load tests;symbolic search-based testing;automated documentation inference to explain failed tests;generating program inputs for database application testing;prioritizing tests for fault localization through ambiguity group reduction;identifying future field accesses in exhaustive state space traversal;model checking distributed systems by combining caching and process checkpointing;supporting domain-specific state space reductions through local partial-order reduction;and a rule-based approach to the semantic lifting of model differences in the context of model versioning.
the proceedings contain 8 papers. the topics discussed include: learning system abstractions for human operators;software fault localization using feature selection;the inductive softwareengineering manifesto: princi...
ISBN:
(纸本)9781450310222
the proceedings contain 8 papers. the topics discussed include: learning system abstractions for human operators;software fault localization using feature selection;the inductive softwareengineering manifesto: principles for industrial data mining;do better IR tools improve the accuracy of engineers' traceability recovery?;evolution of legacy system comprehensibility through automated refactoring;ProbPoly - a probabilistic inductive logic programming framework with application in model checking;towards learning to detect meaningful changes in software;and software analytics as a learning case in practice: approaches and experiences.
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 104 papers. the topics discussed include: derailer: interactive security analysis for web applications;tracking down root causes of defects in simulink models;the confidence in our k-tails;loca...
ISBN:
(纸本)9781450330138
the proceedings contain 104 papers. the topics discussed include: derailer: interactive security analysis for web applications;tracking down root causes of defects in simulink models;the confidence in our k-tails;localization of concurrency bugs using shared memory access pairs;minimal strongly unsatisfiable subsets of reactive system specifications;from out-place transformation evolution to in-place model patching;NeedFeed: taming change notifications by modeling code relevance;resilient user interface level tests;studying task allocation decisions of novice agile teams with data from agile project management tools;search-based inference of polynomial metamorphic relations;a dynamic analysis to support object-sharing code refactorings;and tracing software build processes to uncover license compliance inconsistencies.
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.
暂无评论