4.5 Article

Timed pattern-based analysis of collaboration failures in system-of-systems

Related references

Note: Only part of the references are listed.
Article Computer Science, Software Engineering

Effective fault localization and context-aware debugging for concurrent programs

Justin Chu et al.

Summary: Concurrent programs are hard to debug due to faults occurring under specific inputs and thread interleavings; previous fault localization techniques for sequential programs are ineffective for concurrency faults involving memory accesses across multiple threads; Coadec generates interthread control flow paths to diagnose concurrency bugs by linking memory access patterns.

SOFTWARE TESTING VERIFICATION & RELIABILITY (2022)

Proceedings Paper Computer Science, Software Engineering

Sound and Efficient Concurrency Bug Prediction

Yan Cai et al.

Summary: Concurrency bugs are difficult to detect, but a new technique called SEQCHECK has been proposed to accurately determine if a sequence of events can occur in a specified order, representing a potential bug. By explicitly analyzing branch events and utilizing efficient algorithms, SEQCHECK shows soundness and completeness in detecting concurrency bugs on two threads, outperforming existing detectors in terms of speed and accuracy.

PROCEEDINGS OF THE 29TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE '21) (2021)

Article Engineering, Industrial

Failure interaction model based on extreme shock and Markov processes

Toualith Jean-Marc Meango et al.

RELIABILITY ENGINEERING & SYSTEM SAFETY (2020)

Article Computer Science, Information Systems

Learning a graph-based classifier for fault localization

Hao Zhong et al.

SCIENCE CHINA-INFORMATION SCIENCES (2020)

Article Management

Smart factory in Industry 4.0

Zhan Shi et al.

SYSTEMS RESEARCH AND BEHAVIORAL SCIENCE (2020)

Proceedings Paper Computer Science, Software Engineering

Robust Log-Based Anomaly Detection on Unstable Log Data

Xu Zhang et al.

ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (2019)

Proceedings Paper Computer Science, Software Engineering

Efficient Scalable Thread-Safety-Violation Detection Finding thousands of concurrency bugs during testing

Guangpu Li et al.

PROCEEDINGS OF THE TWENTY-SEVENTH ACM SYMPOSIUM ON OPERATING SYSTEMS PRINCIPLES (SOSP '19) (2019)

Article Business

Towards the smart city 2.0: Empirical evidence of using smartness as a tool for tackling social challenges

Gregory Trencher

TECHNOLOGICAL FORECASTING AND SOCIAL CHANGE (2019)

Article Computer Science, Artificial Intelligence

A hybrid recommender system for e-learning based on context awareness and sequential pattern mining

John K. Tarus et al.

SOFT COMPUTING (2018)

Article Automation & Control Systems

An efficient approach for mining sequential patterns using multiple threads on very large databases

Bao Huynh et al.

ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE (2018)

Article Computer Science, Information Systems

Contextualizing spectrum-based fault localization

Higor A. de Souza et al.

INFORMATION AND SOFTWARE TECHNOLOGY (2018)

Article Computer Science, Software Engineering

Anomaly detection and diagnosis for cloud services: Practical experiments and lessons learned

Carla Sauvanaud et al.

JOURNAL OF SYSTEMS AND SOFTWARE (2018)

Article Computer Science, Information Systems

Hyperdimensional Computing in Industrial Systems: The Use-Case of Distributed Fault Isolation in a Power Plant

Denis Kleyko et al.

IEEE ACCESS (2018)

Article Computer Science, Information Systems

Dynamic log file analysis: An unsupervised cluster evolution approach for anomaly detection

Max Landauer et al.

COMPUTERS & SECURITY (2018)

Proceedings Paper Computer Science, Information Systems

A Heuristic Framework to Detect Concurrency Vulnerabilities

Changming Liu et al.

34TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE (ACSAC 2018) (2018)

Proceedings Paper Computer Science, Information Systems

DeepLog: Anomaly Detection and Diagnosis from System Logs through Deep Learning

Min Du et al.

CCS'17: PROCEEDINGS OF THE 2017 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY (2017)

Article Computer Science, Software Engineering

A Survey on Software Fault Localization

W. Eric Wong et al.

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2016)

Article Computer Science, Hardware & Architecture

The DStar Method for Effective Software Fault Localization

W. Eric Wong et al.

IEEE TRANSACTIONS ON RELIABILITY (2014)

Article Computer Science, Information Systems

A hybrid system of pedagogical pattern recommendations based on singular value decomposition and variable data attributes

Carlos Cobos et al.

INFORMATION PROCESSING & MANAGEMENT (2013)

Article Computer Science, Artificial Intelligence

Selective Subsequence Time Series clustering

Sura Rodpongpun et al.

KNOWLEDGE-BASED SYSTEMS (2012)

Article Engineering, Multidisciplinary

Cognitive map-based system modeling for identifying interaction failure modes

Manu Augustine et al.

RESEARCH IN ENGINEERING DESIGN (2012)

Article Computer Science, Software Engineering

A Model for Spectra-Based Software Diagnosis

Lee Naish et al.

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY (2011)

Article Computer Science, Artificial Intelligence

SPADE: An efficient algorithm for mining frequent sequences

MJ Zaki

MACHINE LEARNING (2001)