488 search results - page 13 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
87
Voted
ICECCS
2000
IEEE
15 years 3 months ago
2000
IEEE
This paper compares three specification-based testing criteria using Mathur and Wong's PROBSUBSUMES measure. The three criteria are specification-mutation coverage, full pred...
102
click to vote
APSEC
2004
IEEE
15 years 3 months ago
2004
IEEE
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...
RE
2005
Springer
15 years 5 months ago
2005
Springer
Defect reports generated for faults found during testing provide a rich source of information regarding problematic phrases used in requirements documents. These reports indicate ...
100
Voted
ASE
2005
14 years 11 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
81
Voted
SIGSOFT
2003
ACM
16 years 12 days ago
2003
ACM
This paper describes a compositional proof strategy for verifying properties of requirements specifications. The proof strategy, which may be applied using either a model checker ...