Assessing Requirements Quality Through Requirements Coverage (original) (raw)
Related papers
Putting formal specifications under the magnifying glass: Model-based testing for validation
2009
Using model checking to generate tests from requirements specifications
1999
Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites
Lecture Notes in Computer Science, 2015
Model Validation using Automatically Generated Requirements-Based Tests
10th IEEE High Assurance Systems Engineering Symposium (HASE'07), 2007
Requirements Coverage as an Adequacy Measure for Conformance Testing
Lecture Notes in Computer Science, 2008
Linking Functional Requirements and Software Verification
2009 17th IEEE International Requirements Engineering Conference, 2009
Requirement-based testing through formal methods
A formal analysis of requirements-based testing
2009
Evaluating the use of model-based requirements verification method: A feasibility study
Workshop on Empirical Requirements Engineering (EmpiRE 2011), 2011
Abstract Testing: Connecting Source Code Verification with Requirements
Hendrik Post, Florian Merz, Thomas Kropf
2010 Seventh International Conference on the Quality of Information and Communications Technology, 2010
Tracing Requirements in a Model-Based Testing Approach
2009
TESTING AND VERIFICATION OF SOFTWARE MODEL THROUGH FORMAL SEMANTICS A SYSTEMATIC REVIEW
A Holistic Approach to Test-Driven Model Checking
Lecture Notes in Computer Science, 2005
Abstracting formal specifications to generate software tests via model checking
1999
A Taxonomy of Verification and Validation of Software Requirement and Specifications 1
2008
Guest Editorial: Special Issue on Model Checking in Requirements Engineering
Requirements Engineering, 2002
Testable requirements and specifications
Faraz Torshizi, Jonathan Ostroff
Tests and Proofs, 2007
Validating Specifications for Model-Based Testing
Rinus Plasmeijer, Peter Achten
Software Testing Based on Formal Specification
Lecture Notes in Computer Science, 2010
An Automated Approach to Validate Requirements Specification
2020
A Novel Model Based Testing (MBT) Approach for Software Validation
Applying testing to requirements inspection for software quality assurance
2006
Model Checking Complete Requirements Specifications Using Abstraction
1997
An evaluation of specification based test generation techniques using model checkers
2009
Unifying Models of Test Cases and Requirements
2008
Early Validation of Requirements Through Formal Methods
IDEAS05: Unifying Models of Test Cases and Requirements
IEEE Latin America Transactions, 2008
Test generation using model checking
European Conference on Software Maintenance and Reengineering, CSMR2001, http://www. cs. toronto. eduf~ chechik/courses00/csc2108/projects/4. pdf, 2001
Model-based Requirement Verification : A Case Study
Proceedings of the 9th International MODELICA Conference, September 3-5, 2012, Munich, Germany, 2012
Coverage Metrics for Requirements-Based Testing: Evaluation of Effectiveness ∗
2012
Abstraction based automated test generation from formal tabular requirements specifications
2011