6800 search results - page 150 / 1360 » Testing with Functions as Specifications |
SAINT
2003
IEEE
14 years 2 months ago
2003
IEEE
Vehicle environment is a good testbed to investigate Internet mobility technologies. Based on testing of building, protocol implementation details and problems to deploy it will b...
APPROX
2009
Springer
14 years 3 months ago
2009
Springer
Referring to the query complexity of property testing, we prove the existence of a rich hierarchy of corresponding complexity classes. That is, for any relevant function q, we prov...
KBSE
2002
IEEE
14 years 2 months ago
2002
IEEE
In this paper we present a concept for automated testing of object-oriented applications and a tool called SeDiTeC that implements these concepts for Java applications. SeDiTeC us...
ISCIS
2004
Springer
14 years 2 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
ESE
2006
13 years 9 months ago
2006
This research addresses the problem of statically analyzing input command syntax as defined in interface and requirements specifications and then generating test cases for dynamic ...