488 search results - page 1 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
85
Voted
ESEC
1999
Springer
15 years 5 months ago
1999
Springer
138
Voted
ICST
2009
IEEE
14 years 11 months ago
2009
IEEE
Under certain constraints the test case generation problem can be represented as a model checking problem, thus enabling the use of powerful model checking tools to perform the te...
134
Voted
RE
2008
Springer
15 years 18 days ago
2008
Springer
Early phases of software development are known to be problematic, difficult to manage and errors occurring during these phases are expensive to correct. Many systems have been deve...
128
Voted
CORR
2010
Springer
2010
Springer
Reliable Mining of Automatically Generated Test Cases from Software Requirements Specification (SRS)
15 years 1 months ago
Writing requirements is a two-way process. In this paper we use to classify Functional Requirements (FR) and Non Functional Requirements (NFR) statements from Software Requirement...
108
Voted
IICAI
2007
15 years 2 months ago
2007
The paper presents first results of a project that aims at building a model-based tool for functional testing of control software for passenger vehicles. The objective is that this...