291 search results - page 25 / 59 » Generating Unit Tests from Formal Proofs |
IEAAIE
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
100
Voted
VLDB
1998
ACM
15 years 1 months ago
1998
ACM
Deterministic testing of SQL database systems is human intensive and cannot adequately cover the SQL input domain. A system (RAGS), was built to stochastically generate valid SQL ...
QSIC
2005
IEEE
15 years 3 months ago
2005
IEEE
Testing applications in service-oriented architecture (SOA) environments needs to deal with issues like the unknown communication partners until the service discovery, the impreci...
75
Voted
FATES
2005
Springer
15 years 3 months ago
2005
Springer
The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but cou...
DATE
2007
IEEE
15 years 4 months ago
2007
IEEE
A high-level test synthesis (HLTS) method targeted for delay fault testability is presented. The proposed method, when combined with hierarchical test pattern generation for embed...