The Interplay between Model Coverage and Code Coverage (original) (raw)
Related papers
Systematic Model based Testing with Coverage Analysis
Towards preserving model coverage and structural code coverage
EURASIP Journal on Embedded Systems, 2009
Coverage Analysis and Chinese Postman Algorithm for Efficient Model-Based Test Generation
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), 2017
The effect of program and model structure on mc/dc test adequacy coverage
Proceedings of the 13th international conference on Software engineering - ICSE '08, 2008
Test Coverage Analysis Based on An Object-Oriented Program Model
Journal of Software Maintenance and Evolution: Research and Practice, 2011
A Global Algorithm for Model-Based Test Suite Generation
Electronic Notes in Theoretical Computer Science, 2007
Using model transformation to support model-based test coverage measurement
Proceedings of the 3rd international workshop on Automation of software test - AST '08, 2008
Automatic calculation of coverage profiles for coverage-based testings
In: Procs of Kolloquium Programmiersprachen …, 2009
Achieving both model and code coverage with automated gray-box testing
Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST '07, 2007
Optimization of Test case and Coverage Analysis for Model Based Design
A survey on model-based testing approaches
Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007 - WEASELTech '07, 2007
Coverage-based Approach for Model-based Testing in Software Product Line
International journal of engineering & technology, 2018
High-Level Decision Diagrams based coverage metrics for verification and test
2009 10th Latin American Test Workshop, 2009
A study in coverage-driven test generation
1999
AutoMOTGen: Automatic Model Oriented Test Generator for Embedded Control Systems
Lecture Notes in Computer Science
A Taxonomy of Model-Based Testing for Embedded Systems from Multiple Industry Domains
Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes
2012
A survey on model-based testing approaches: a systematic review
2007
2006
Test Coverage Analysis for Object Oriented Programs
Software integration testing based on communication coverage criteria and partial model generation
Model driven automatic unit testing technology tool architecture
Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033), 1999
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, 2004
Coverage Criteria for UML State Chart Diagram in Model-based Testing
Journal of Telecommunication, Electronic and Computer Engineering, 2017
A Comparative Evaluation of approaches for Model Testability
INTERNATIONAL JOURNAL OF COMPUTERS & TECHNOLOGY, 2013
Empirical Evaluation on FBD Model-Based Test Coverage Criteria Using Mutation Analysis
Model Driven Engineering Languages and Systems, 2012
Model-Based Testing: The New Revolution in Software Testing
Database Systems Journal, 2014
Model Checking for Generation of Test Suites in Software Unit Testing
2010
11 Evaluating Coverage Based Testing
Lecture Notes in Computer Science, 2005