An evaluation of change-based coverage criteria

Proceedings of the 10th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools - PASTE '11 ◽

10.1145/2024569.2024575 ◽

2011 ◽

Author(s):

Marc Fisher ◽

Jan Wloka ◽

Frank Tip ◽

Barbara G. Ryder ◽

Alexander Luchansky

Keyword(s):

Coverage Criteria

Using Metamorphic Testing to Evaluate DNN Coverage Criteria

2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) ◽

10.1109/issrew51248.2020.00055 ◽

2020 ◽

Author(s):

Jinyi Zhou ◽

Kun Qiu ◽

Zheng Zheng ◽

Tsong Yueh Chen ◽

Pak-Lok Poon

Keyword(s):

Metamorphic Testing ◽

Coverage Criteria

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

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

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

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

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

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

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

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

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