Results 131 to 140 of about 414,553 (176)
Human-centered evaluation of statistical parametric mapping and explainable machine learning for outlier detection in plantar pressure data. [PDF]
Sci RepDindorf C +9 more
europepmc +1 more source
From Trust in Automation to Trust in AI in Healthcare: A 30-Year Longitudinal Review and an Interdisciplinary Framework. [PDF]
Bioengineering (Basel)Wong KKL +5 more
europepmc +1 more source
Application of program slicing in algorithmic debugging
Information and Software Technology, 1998 Abstract Debugging has always been a costly part of software development and software maintenance, which makes it important to find methods and tools to support this activity. Algorithmic program debugging is an interactive process where the debugging system acquires knowledge about the intended behavior of the debugged program and uses this ...
Mariam Kamkar
semanticscholar +3 more sources
Bug localization by algorithmic debugging and program slicing
Symposium on Programming Language Implementation and Logic Programming, 2005 This paper presents a generalized version of algorithmic debugging, a method for semi-automatic bug localization. The method is generally applicable to procedural languages, and is not dependent on any ad hoc assumptions regarding the subject program. The original form of algorithmic debugging, introduced by Shapiro [Shapiro-83], is however limited to ...
Mariam Kamkar +2 more
semanticscholar +3 more sources
, 1983 Productively combines elements of programming languages, environments, logic, and inductive inference to produce effective debugging aids. Its use of the PROLOG language provides an efficient implementation of the debugging algorithms.
Ehud Shapiro
semanticscholar +3 more sources
Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming, 2009 We propose a higher-order logical framework for declarative programming as an extension to the setting of the simply typed lambda calculus of a first-order rewriting logic, where programs are now presented by conditional pattern rewrite systems on lambda abstractions.
Rafael del Vado Vírseda
semanticscholar +3 more sources
A framework of an assertion-based algorithmic debugging for distributed programs
Proceedings 15th International Conference on Information Networking, 2002 The article presents a framework and an assertion based prototype system of an algorithmic debugging for distributed programs written in procedural languages. First, an abstraction of previous related works is presented and we argue that an algorithmic debugging is a pruning process of a directed graph.
T. Ohta +3 more
semanticscholar +3 more sources
Towards an algorithmic debugging for distributed programs
Proceedings Sixth Asia Pacific Software Engineering Conference (ASPEC'99) (Cat. No.PR00509), 2003 The article presents a framework for algorithmic debugging of distributed programs written in procedural languages. It also gives an overview of a prototype system based on this framework and explains how to debug with this system, using an example of the dining philosophers' problem.
T. Ohta, T. Mizuno
openaire +2 more sources
Combining Program Slicing and Algorithmic Debugging to Diagnose a PLC program
2019 16th International Multi-Conference on Systems, Signals & Devices (SSD), 2019 Program logic controllers are widely used in industry either to control the manufacturing process or the processing plant. Thus, any faulty behavior in the program logic controller will have a crucial effect on both of the industry or/and labors. Therefore, it is important to be able to detect and diagnose any fault in the program logic controller ...
Mohammed Baniyounis +1 more
openaire +2 more sources