2419 search results - page 191 / 484 » A Formal Approach to Software Testing |
120
click to vote
PTS
1993
15 years 5 months ago
1993
The signal SAVE construct is one of the features distinguishing SDL from convent specification and programming languages. On the other hand, this feature increase testing SDL-spec...
139
click to vote
IASTEDSEA
2004
15 years 5 months ago
2004
We describe an object oriented approach to developing an Identity Based Encryption system. We show how an existing API was reused and extended to facilitate our development of the...
143
click to vote
ICST
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper presents a MOF-compliant metamodel for calculating software metrics and demonstrates how it is used to generate a metrics tool that calculates coupling and cohesion met...
128
click to vote
FATES
2003
Springer
15 years 9 months ago
2003
Springer
Generating effective tests and inferring likely program specifications are both difficult and costly problems. We propose an approach in which we can mutually enhance the tests and...
150
click to vote
HASE
1999
IEEE
15 years 8 months ago
1999
IEEE
Most complex systems today contain software, and systems failures activated by software faults can provide lessons for software development practices and software quality assuranc...