Locating bugs in Java programs - first results of the Java diagnosis experiments project
IEA/AIE '00 Proceedings of the 13th international conference on Industrial and engineering applications of artificial intelligence and expert systems: Intelligent problem solving: methodologies and approaches
On the relationship between model-based debugging and program slicing
Artificial Intelligence
Debugging Hardware Designs Using a Value-Based Model
Applied Intelligence
DiKe: a model-based diagnosis kernel and its application
AI Communications - Special issue on KI-2001
Using Design Information to Identify Structural Software Faults
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Using Multiple Models for Debugging VHDL Designs
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
Model-Based Debugging or How to Diagnose Programs Automatically
IEA/AIE '02 Proceedings of the 15th international conference on Industrial and engineering applications of artificial intelligence and expert systems: developments in applied artificial intelligence
Comparing Two Models for Software Debugging
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
DiKe - A Model-Based Diagnosis Kernel and Its Application
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Hierarchical Diagnosis of Large Configurator Knowledge Bases
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Model-Based Diagnosis or Reasoning from First Principles
IEEE Intelligent Systems
Consistency-based diagnosis of configuration knowledge bases
Artificial Intelligence
Debugging VHDL Designs: Introducing Multiple Models and First Empirical Results
Applied Intelligence
Error traces in model-based debugging of hardware description languages
Proceedings of the sixth international symposium on Automated analysis-driven debugging
Debugging user interface descriptions of knowledge-based recommender applications
Proceedings of the 11th international conference on Intelligent user interfaces
Debugging VHDL designs using temporal process instances
IEA/AIE'2003 Proceedings of the 16th international conference on Developments in applied artificial intelligence
Fault localization based on abstract dependencies
IEA/AIE'2005 Proceedings of the 18th international conference on Innovations in Applied Artificial Intelligence
Model-based debugging with high-level observations
Intelligent information processing II
Improving Robustness of Mobile Robots Using Model-based Reasoning
Journal of Intelligent and Robotic Systems
Fuzzy theory approach for temporal model-based diagnosis: An application to medical domains
Artificial Intelligence in Medicine
Using abstract dependences to localize faults from procedural programs
AIAP'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: artificial intelligence and applications
Towards Automated Online Diagnosis of Robot Navigation Software
SIMPAR '08 Proceedings of the 1st International Conference on Simulation, Modeling, and Programming for Autonomous Robots
Automated debugging of recommender user interface descriptions
Applied Intelligence
Detect and Localize Faults in Alias-Free Programs Using Specification Knowledge
IEA/AIE '09 Proceedings of the 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: Next-Generation Applied Intelligence
Detecting and locating faults in the control software of autonomous mobile robots
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
An algorithm for diagnosing system with structured description
ICCSA'03 Proceedings of the 2003 international conference on Computational science and its applications: PartII
ICIC'10 Proceedings of the Advanced intelligent computing theories and applications, and 6th international conference on Intelligent computing
Exception handling in web service processes
The evolution of conceptual modeling
Using AI techniques for fault localization in component-oriented software systems
MICAI'06 Proceedings of the 5th Mexican international conference on Artificial Intelligence
Fault tolerant web service orchestration by means of diagnosis
EWSA'06 Proceedings of the Third European conference on Software Architecture
Towards lightweight fault localization in procedural programs
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
Diagnosing faulty transitions in recommender user interface descriptions
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
Automated error localization and correction for imperative programs
Proceedings of the International Conference on Formal Methods in Computer-Aided Design
Interactive ontology debugging: Two query strategies for efficient fault localization
Web Semantics: Science, Services and Agents on the World Wide Web
Personalized diagnoses for inconsistent user requirements
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
A dynamic code coverage approach to maximize fault localization efficiency
Journal of Systems and Software
Hi-index | 0.00 |