2748 search results - page 165 / 550 » Generating Object-Z Specifications from Use Cases |
119
Voted
ADL
2000
Springer
15 years 5 months ago
2000
Springer
The goal of this work is to improve the accuracy (precision and recall) and communication effectiveness of a database system response to a user information request, by utilizing a...
76
Voted
FLAIRS
1998
15 years 2 months ago
1998
Wepresent an application designated to the calculation of probabilities in the card gamebridge. Theapplication can be used by bridge players to improvetheir decisions in the game....
121
Voted
ICSE
2005
IEEE-ACM
16 years 22 days ago
2005
IEEE-ACM
We present an automatic error-detection approach that combines static checking and concrete test-case generation. Our approach consists of taking the abstract error conditions inf...
100
click to vote
TAP
2008
Springer
15 years 17 days ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
121
Voted
WORDS
2002
IEEE
15 years 5 months ago
2002
IEEE
Certainly, in hard real-time systems, it is reasonable to argue that no hard real-time threads should behave in an unpredictable way and that schedulability should be guaranteed b...