2748 search results - page 49 / 550 » Generating Object-Z Specifications from Use Cases |
96
Voted
ICECCS
2000
IEEE
15 years 4 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...
109
click to vote
UML
2005
Springer
15 years 6 months ago
2005
Springer
Use cases have achieved wide use as specification tools for systems observable behavior, but there still remains a large gap between specifying behavior and determining the softwar...
90
Voted
ICAIL
2003
ACM
15 years 6 months ago
2003
ACM
Robust decision support systems (DSSs) for crime investigation are difficult to construct because of the almost infinite variation of plausible crime scenarios. Thus, existing ap...
98
Voted
FORMATS
2003
Springer
15 years 5 months ago
2003
Springer
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...
BMCBI
2008
15 years 24 days ago
2008
Background: A new algorithm has been developed for generating conservation profiles that reflect the evolutionary history of the subfamily associated with a query sequence. It is ...