MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Testing with Functions as Specifications." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

14 documents found, showing 1 through 10. Next 10 →

ATOM

Testing with Functions as Specifications
by Pieter Koopman, Rinus Plasmeijer
…Testing with Functions as Specifications Pieter Koopman and Rinus Plasmeijer Institute…
Cited by 1 (1 self) – Add To MetaCart

Fully Automatic Testing with Functions as Specifications
by Pieter Koopman, Rinus Plasmeijer
…Fully Automatic Testing with Functions as Specifications Pieter Koopman and Rinus Plasmeijer…
Cited by 1 (1 self) – Add To MetaCart

Approaches to Specification-Based Testing
by Debra J. Richardson, T. Owen O'Malley, Cindy Tittle — 1989 — In Proceedings of the ACM SIGSOFT '89 Third Symposium on Software Testing, Analysis, and Verification (TAV3
… specifications enables testing intended behavior as well as actual functionality. Specification-based testing…
Cited by 31 (4 self) – Add To MetaCart

Local Search, Multiobjective Optimization and the Pareto Archived Evolution Strategy
by Joshua Knowles, David Corne — 1999 — Ashikaga Institute of Technology
… for creating tunable test functions with specific problem features is presented. First, two tasks that any…
Cited by 1 (1 self) – Add To MetaCart

Testing Techniques for Data-Flow Synchronous Programs
by Farid Ouabdesselam, Ioannis Parissis — 1995 — In Proceedings of the Second International Workshop on Automated and Algorithmic Debugging (AADEBUG’95
…. This analysis may result, in specific cases, in automatic generators of relevant test data. The third approach…
Cited by 4 (0 self) – Add To MetaCart

Network Processor Workshop (NP-1), 8th International Symposium on High Performance Computer Architectures (HPCA), 2002.
by Benchmarking Methodology For, Mel Tsai, Chidamber Kulkarni, Christian Sauer, Niraj Shah, Kurt Keutzer — 2002 — Network Processor Design: Issues and Practices
…-level. Hardware-level benchmarks are designed to test functionality specific to a particular NPU (memory latencies…
Add To MetaCart

Self-Test in Embedded Systems (STES)
by Joint Project Of
… of controllers of self-test execution and of dedicated self-test functions for specific types of infrastructure 3…
Add To MetaCart

Regression Spline Smoothing using the Minimum Description Length Principle
by Thomas Lee Department, Thomas C. M. Lee — 2000 — Statistics and Probability Letters
…(x; 0:6; 0:2 2 )=4 --- Table 1: Specification of test functions. Range of x is [0; 1], I E…
Add To MetaCart

Evolutionary Operators In Global Optimization With Dynamic Search Trajectories
by E. C. Laskari, K. E. Parsopoulos, M. N. Vrahatis — 2003
… performance relative to the plain algorithm, on various well-known test functions. Specifically, the mean…
Cited by 1 (1 self) – Add To MetaCart

Polymer and Fock representations for a Scalar field
by Abhay Ashtekar, Jerzy Lewandowski, Hanno Sahlmann — 2002
… of all test functions, this specification suffices. Next, let us specify the action of the image…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB