2419 search results - page 15 / 484 » A Formal Approach to Software Testing |
COMPSAC
2007
IEEE
14 years 2 months ago
2007
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It has the advantages of highly automated testing process and independence of t...
ET
1998
13 years 7 months ago
1998
Defining information required by automatic test systems frequently involves a description of system behavior. To facilitate capturing the required behavior information in the cont...
CODES
2000
IEEE
14 years 12 days ago
2000
IEEE
In current design practice synthesis tools play a key role, letting designers to concentrate on the specificationof the system being designed by carrying out repetitive tasks such...
UML
2001
Springer
14 years 12 days ago
2001
Springer
The work presented here is part of a project that aims at the definition of a methodology for developing realtime software systems based on UML. In fact, being relatively easy to ...
ACSE
2000
ACM
14 years 11 days ago
2000
ACM
Although testing accounts for 50% of the cost of software, it receives little treatment in most curricula. This paper presents some approaches to giving all students multiple, inc...