6800 search results - page 41 / 1360 » Testing with Functions as Specifications |
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Software Testing can take up to half of the resources of the development of new software. Although there has been a lot of work on automating the testing phase, fixing a bug after...
ASWSD
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Test processes in the automotive industry are tool-intensive and affected by technologically heterogeneous test infrastructures. In the industrial practice a product has ...
ISSTA
2000
ACM
14 years 5 days ago
2000
ACM
Increasing numbers of software developers are using the Unified Modeling Language (UML) and associated visual modeling tools as a basis for the design and implementation of their ...
FM
2005
Springer
14 years 1 months ago
2005
Springer
It has been recognised for a while that formal specifications can bring much to software testing. Numerous methods have been proposed for the derivation of test cases from various ...
APSEC
2004
IEEE
13 years 11 months ago
2004
IEEE
Unit testing is a methodology for testing small parts of an application independently of whatever application uses them. It is time consuming and tedious to write unit tests, and ...