NDLI: An empirical study on reducing omission errors in practice

Please wait, while we are loading the content...

Keynote talk: the logic of information design

Automated analysis of multithreaded programs for performance modeling

Continuous test generation: enhancing continuous integration with automated test generation

Seeking the user interface

Automated variability analysis and testing of an E-commerce site.: an experience report

Assertion guided abstraction: a cooperative optimization for dynamic partial order reduction

Automated synthesis and deployment of cloud applications

symMMU: symbolically executed runtime libraries for symbolic memory access

Program analysis for secure big data processing

Fine-grained and accurate source code differencing

An empirical evaluation and comparison of manual and automated test selection

Scaling exact multi-objective combinatorial optimization by parallelization

Statistical learning approach for mining API usage mappings for code migration

Validating ajax applications using a delay-based mutation technique

Improving the accuracy of oracle verdicts through automated model steering

Docovery: toward generic automatic document recovery

Tracking down root causes of defects in simulink models

Droidmarking: resilient software watermarking for impeding android application repackaging

Using visual dataflow programming for interactive model comparison

Search-based inference of polynomial metamorphic relations

Towards an intelligent domain-specific traceability solution

SymCrash: selective recording for reproducing crashes

Workspace updates of visual models

Model-driven development of content management systems based on Joomla

Keynote talk: EasyChair

Behavioral resource-aware model inference

Leveraging existing tests in automated test generation for web applications

Interrogative-guided re-ranking for question-oriented software text retrieval

PrefFinder: getting the right preference in configurable software systems

Symbolic state validation through runtime data

Concurrent transformation components using contention context sensors

Evaluation of string constraint solvers in the context of symbolic execution

Multi-objective optimization in rule-based design space exploration

Combining rule-based and information retrieval techniques to assign software change requests

Taming test inputs for separation assurance

42 variability bugs in the linux kernel: a qualitative analysis

Compatibility testing using patterns-based trace comparison

Static, lightweight includes resolution for PHP

Automated domain-specific C verification with mbeddr

Exact and approximate probabilistic symbolic execution for nondeterministic programs

The confidence in our k-tails

From out-place transformation evolution to in-place model patching

NeedFeed: taming change notifications by modeling code relevance

A dynamic analysis to support object-sharing code refactorings

Automated requirements analysis for a molecular watchdog timer

Potential biases in bug localization: do they matter?

Meta-Model validation and verification with MetaBest

Determining the most probable root causes of run-time errors in simulink models

Keynote talk: experiences from developing industrial software systems with long lifecycles

Targeted test input generation using symbolic-concrete backward execution

Automated unit test generation for classes with environment dependencies

An empirical study on reducing omission errors in practice

MiL testing of highly configurable continuous controllers: scalable search using surrogate models

Verifying self-adaptive applications suffering uncertainty

Assigning time budgets to component functions in the design of time-critical automotive systems

Incremental symbolic execution for automated test suite maintenance

Understanding performance stairs: elucidating heuristics

Recommendation system for software refactoring using innovization and interactive dynamic optimization

Transferring an automated test generation tool to practice: from pex to fakes and code digger

Automating the formalization of product comparison matrices

Personas in the middle: automated support for creating personas as focal points in feature gathering forums

Information flows as a permission mechanism

Pattern-based auto-completion of UML modeling activities

Derailer: interactive security analysis for web applications

Localization of concurrency bugs using shared memory access pairs

Active code search: incorporating user feedback to improve code search relevance

Language fuzzing using constraint logic programming

Formalisation of the integration of behavior trees

MIMIC: locating and understanding bugs by analyzing mimicked executions

A web based UML modeling tool with touch screens

Utilizing feature location techniques for feature addition and feature enhancement

Discriminating influences among instructions in a dynamic slice

Finding HTML presentation failures using image comparison techniques

Fusion fault localizers

Recommending refactorings based on team co-maintenance patterns

Angels and monsters: an empirical investigation of potential test effectiveness and efficiency improvement from strongly subsuming higher order mutation

Tracking load-time configuration options

Constructing adaptive configuration dialogs using crowd data

Abstraction-aware verifying compiler for yet another MDD

Towards self-healing smartphone software via automated patching

Resilient user interface level tests

Tracing software build processes to uncover license compliance inconsistencies

Automatic early defects detection in use case documents

SeSAME: modeling and analyzing high-quality service compositions

AugIR: the conceptual design and evaluation of an augmented interaction room

Dompletion: DOM-aware JavaScript code completion

Accelerated test execution using GPUs

Diver: precise dynamic impact analysis using dependence-based trace pruning

Minimal strongly unsatisfiable subsets of reactive system specifications

Studying task allocation decisions of novice agile teams with data from agile project management tools

Automatic verification of interactions in asynchronous systems with unbounded buffers

MPAnalyzer: a tool for finding unintended inconsistencies in program source code

A requirements monitoring infrastructure for systems of systems

Automating regression verification

PiE: programming in eliza

Firecrow: a tool for web application analysis and reus

Embrace your issues: compassing the software engineering landscape using bug reports

HUSACCT: architecture compliance checking with rich sets of module and rule types

Issues of automated software composition in AI planning

CoCoTest: a tool for model-in-the-loop testing of continuous controllers

A proposal for revisiting coverage testing metrics

8Cage: lightweight fault-based test generation for simulink

Variability-aware change impact analysis of multi-language product lines

PBGT tool: an integrated modeling and testing environment for pattern-based GUI testing

Improvement of applications' stability through robust APIs

A tool chain for generating the description files of highly available software

DupFinder: integrated tool support for duplicate bug report detection

An empirical study on reducing omission errors in practice

Content Provider	ACM Digital Library
Author	Bae, Doo-Hwan Park, Jihun Kim, Miryung
Abstract	Since studies based on mining software repositories sparked interests in the field of guiding software changes, many change recommendation techniques have been proposed to reduce omission errors. While these techniques only used existing software commit data sets to evaluate their effectiveness, we use the data set of supplementary patches which correct initial incomplete patches to investigate how much actual omission errors could be prevented in practice. We find that while a single trait is inadequate, combining multiple traits is limited as well for predicting supplementary change locations. Neither does a boosting approach improve accuracy significantly, nor filtering based on developer or package specific information necessarily improves the accuracy. Developers rarely repeat the same mistakes, making the potential value of history-based change prediction less promising. We share our skepticism that omission errors are hard to prevent in practice based on a systematic evaluation of a supplementary patch data set.
Starting Page	121
Ending Page	126
Page Count	6
File Format	PDF
ISBN	9781450330138
DOI	10.1145/2642937.2642956
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2014-09-15
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Supplementary patch Omission error Mining version history
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in