Are Coverage Criteria Meaningful Metrics for DNNs?

2020 ◽

Author(s):

Jinyi Zhou ◽

Kun Qiu ◽

Zheng Zheng ◽

Tsong Yueh Chen ◽

Pak-Lok Poon

Keyword(s):

Metamorphic Testing ◽

Coverage Criteria

Download Full-text

The Effectiveness of Test Coverage Criteria for Relational Database Schema Integrity Constraints

ACM Transactions on Software Engineering and Methodology ◽

10.1145/2818639 ◽

2015 ◽

Vol 25 (1) ◽

pp. 1-49 ◽

Cited By ~ 20

Author(s):

Phil Mcminn ◽

Chris J. Wright ◽

Gregory M. Kapfhammer

Keyword(s):

Relational Database ◽

Integrity Constraints ◽

Database Schema ◽

Test Coverage ◽

Coverage Criteria ◽

Relational Database Schema

Download Full-text

Correlations between deep neural network model coverage criteria and model quality

Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering ◽

10.1145/3368089.3409671 ◽

2020 ◽

Author(s):

Shenao Yan ◽

Guanhong Tao ◽

Xuwei Liu ◽

Juan Zhai ◽

Shiqing Ma ◽

...

Keyword(s):

Neural Network ◽

Network Model ◽

Neural Network Model ◽

Deep Neural Network ◽

Model Quality ◽

Coverage Criteria

Download Full-text

Coverage Criteria based Testing of Industrial Robots

2020 IEEE 16th International Conference on Automation Science and Engineering (CASE) ◽

10.1109/case48305.2020.9217031 ◽

2020 ◽

Author(s):

Ameena K Ashraf ◽

Meenakshi D'Souza ◽

Raoul Jetley

Keyword(s):

Industrial Robots ◽

Coverage Criteria

Download Full-text

26: Reduction Mammaplasty: A Review of Managed Care Medical Policy Coverage Criteria

Plastic & Reconstructive Surgery ◽

10.1097/00006534-200609151-00027 ◽

2006 ◽

Vol 118 (Supplement) ◽

pp. 22

Author(s):

Jesse T. Nguyen ◽

Michael J. Wheatley ◽

Tuan A. Nguyen ◽

Paul L. Schnur

Keyword(s):

Managed Care ◽

Reduction Mammaplasty ◽

Coverage Criteria ◽

Medical Policy

Download Full-text

On Using Decision Tree Coverage Criteria forTesting Machine Learning Models

10.1145/3482909.3482911 ◽

2021 ◽

Author(s):

Sebastião Santos ◽

Beatriz Silveira ◽

Vinicius Durelli ◽

Rafael Durelli ◽

Simone Souza ◽

...

Keyword(s):

Machine Learning ◽

Decision Tree ◽

Learning Models ◽

Coverage Criteria ◽

Tree Coverage ◽

Machine Learning Models

Download Full-text

Discovering instructions for robust binary-level coverage criteria

Proceedings of the 1st ACM SIGSOFT International Workshop on Testing Embedded and Cyber-Physical Systems - TECPS 2017 ◽

10.1145/3107091.3107092 ◽

2017 ◽

Cited By ~ 1

Author(s):

Vaibhav Sharma ◽

Taejoon Byun ◽

Stephen McCamant ◽

Sanjai Rayadurgam ◽

Mats P. E. Heimdahl

Keyword(s):

Coverage Criteria

Download Full-text

Coverage criteria for logical expressions

14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003. ◽

10.1109/issre.2003.1251034 ◽

2005 ◽

Cited By ~ 34

Author(s):

P. Ammann ◽

J. Offutt ◽

Hong Huang

Keyword(s):

Coverage Criteria

Download Full-text

Investigating Subsumption Relationship on Path Coverage Criteria for Software Architecture Testing

2010 International Conference on Computational Intelligence and Software Engineering ◽

10.1109/cise.2010.5676826 ◽

2010 ◽

Author(s):

Lijun Lun ◽

Xin Chi

Keyword(s):

Software Architecture ◽

Coverage Criteria ◽

Path Coverage

Download Full-text

Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators

Formal Methods for Industrial Critical Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03240-0_6 ◽

2009 ◽

pp. 23-36 ◽

Cited By ~ 1

Author(s):

Virginia Papailiopoulou ◽

Laya Madani ◽

Lydie du Bousquet ◽

Ioannis Parissis

Keyword(s):

Test Coverage ◽

Coverage Criteria ◽

Structural Test

Download Full-text

Are Coverage Criteria Meaningful Metrics for DNNs?

Using Metamorphic Testing to Evaluate DNN Coverage Criteria

The Effectiveness of Test Coverage Criteria for Relational Database Schema Integrity Constraints

Correlations between deep neural network model coverage criteria and model quality

Coverage Criteria based Testing of Industrial Robots

26: Reduction Mammaplasty: A Review of Managed Care Medical Policy Coverage Criteria

On Using Decision Tree Coverage Criteria forTesting Machine Learning Models

Discovering instructions for robust binary-level coverage criteria

Coverage criteria for logical expressions

Investigating Subsumption Relationship on Path Coverage Criteria for Software Architecture Testing

Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators

Export Citation Format