ConcBugAssist: constraint solving for diagnosis and repair of concurrency bugs

S Khoshnood, M Kusano, C Wang - Proceedings of the 2015 …, 2015 - dl.acm.org
Programmers often have to spend a significant amount of time in-specting the software code
and execution traces to identify the cause of a bug. For a multithreaded program, debugging …

The importance of being mobile: some social consequences of wearable augmented reality systems

SK Feiner - Proceedings 2nd IEEE and ACM International …, 1999 - ieeexplore.ieee.org
What are the consequences of mobility for augmented reality? This paper explores some of
the issues that I believe will be raised by the development and future commonplace …

A synergistic analysis method for explaining failed regression tests

Q Yi, Z Yang, J Liu, C Zhao… - 2015 IEEE/ACM 37th IEEE …, 2015 - ieeexplore.ieee.org
We propose a new automated debugging method for regression testing based on a
synergistic application of both dynamic and semantic analysis. Our method takes a failure …

Design and analysis of novel kernel measure for software fault localization

V RadhaKrishna - Proceedings of the The International Conference on …, 2015 - dl.acm.org
The problem of software fault localization may be viewed as an approach for finding hidden
faults or bugs in the existing program codes which are syntactically correct and give fault …

Fail Fast, Fail Small: Designing Resilient Systems for the Future of Software Engineering

J Willard, J Hutson - SSRG International Journal of …, 2024 - digitalcommons.lindenwood.edu
The principles of" fail fast, fail small" have emerged as critical in modern software and
system design. By planning for minor, manageable failures instead of catastrophic …

Method and Technology for Ensuring the Software Security by Identifying and Classifying the Failures and Vulnerabilities

T Hovorushchenko, PT Popov… - Information …, 2022 - openaccess.city.ac.uk
The conducted literature review on known methods and technologies for providing the
software security and for identifying the failures and vulnerabilities of software showed that …

Hardened flow-sensitive trace formula for fault localization

SM Lamraoui, S Nakajima… - 2015 20th International …, 2015 - ieeexplore.ieee.org
In formula-based fault localization methods, a program under test, which is unrolled to a
certain bound, is encoded in a trace formula (TF). The efficiency and precision of the fault …

Localizing exception faults in Android applications

H Mirzaei, A Heydarnoori - Scientia Iranica, 2019 - scientiairanica.sharif.edu
In software programs, most of the time, there is a chance of faults in general, and exception
faults in particular. Localizing those pieces of code which are responsible for a particular …

Improving automated fault localization using PageRank

M Zhang - 2017 - repositories.lib.utexas.edu
Manual debugging is notoriously tedious and time consuming. Therefore, various automated
fault localization techniques have been proposed to help with manual debugging. Among …

[PDF][PDF] Formula-based Fault Localization for Imperative Programs with Multiple Faults.

SM Lamraoui, L Mohamed - 2016 - ir.soken.ac.jp
Program debugging is a trial and error process of finding and eliminating bugs or defects in
a computer program, and thus making it behave as expected. As software and hardware …