Citation Impact
Citing Papers
Enriching Intrusion Alerts Through Multi-Host Causality.
2005
MulVAL: a logic-based network security analyzer
2005 Standout
Model-based testing for software safety: a systematic mapping study
2017
A Review on Artificial Intelligence in Education
2021 Standout
The Anatomy of a Design Theory
2007 Standout
Detection and classification of intrusions and faults using sequences of system calls
2001
Computer vision based method for real-time fire and flame detection
2005 Standout
A survey of deep learning techniques for autonomous driving
2019 Standout
Ensuring Distributed Accountability for Data Sharing in the Cloud
2012
DART
2005 Standout
Progressive retry for software failure recovery in message-passing applications
1997
A Fault Threshold Policy to Manage Software Development Projects
2004
Obstacles and features of Farm Management Information Systems: A systematic literature review
2019 Standout
Conceptual modeling of coincident failures in multiversion software
1989
Regression testing minimization, selection and prioritization: a survey
2012 Standout
An Analysis of ISO 26262: Machine Learning and Safety in Automotive Software
2018
An overview of anomaly detection techniques: Existing solutions and latest technological trends
2007 Standout
Artificial intelligence test: a case study of intelligent vehicles
2018
An Analysis and Survey of the Development of Mutation Testing
2010 Standout
A survey of rollback-recovery protocols in message-passing systems
2002 Standout
Anomaly detection
2009 Standout
A semantic model of program faults
1996
Space reclamation for uncoordinated checkpointing in message-passing systems
1993
An Improved Ant Colony Optimization Algorithm Based on Hybrid Strategies for Scheduling Problem
2019 Standout
MeDShare: Trust-Less Medical Data Sharing Among Cloud Service Providers via Blockchain
2017 Standout
Design of effective neural network ensembles for image classification purposes
2001 Standout
Structural test data generation using a memetic ant colony optimization based on evolution strategies
2017
Robustness of the Markov-Chain Model for Cyber-Attack Detection
2004
An extended fault class hierarchy for specification-based testing
2005
Parameter adaptation-based ant colony optimization with dynamic hybrid mechanism
2022 Standout
Voting algorithms
1994
Works of Paul Ammann being referenced
An experimental evaluation of simple methods for seeding program errors
1985
A SPECIFICATION-BASED COVERAGE METRIC TO EVALUATE TEST SETS
2001
Testing with model checkers: a survey
2008
Generating test data from state‐based specifications
2003
Data diversity: an approach to software fault tolerance
1988
Introduction to Software Testing
2008
Surviving information warfare attacks
1999
Distributed timestamp generation in planar lattice networks
1993
The effect of imperfect error detection on reliability assessment via life testing
1994
Trusted recovery
1999
Introduction to Software Testing
2016
Recovery from malicious transactions
2002