The software-testing tag has no wiki summary.
0
votes
1answer
16 views
How to test and create ANN models?
I am learning artificial neural networks and i am very new to artificial neural networks. How to create artificial neural network programs and test them?, how to make my artificial neural networks ...
2
votes
0answers
35 views
Is there difference between workflow-aware and non-workflow-aware optimal selection of web-service composition?
Small introduction. We have a task that consists of sub-tasks. Each sub-task can be implemented by some set of web-services. We want to find the best implementation of this task. "Best" means it has ...
1
vote
0answers
112 views
Test cases for λ-Calculus
For testing automated theorem provers we have Seventy-Five Problems for Testing
Automatic Theorem Provers by Pelletier.
Are there any such standard/well regarded tests for a λ-calculus that verify ...
1
vote
1answer
77 views
Phrase generators for use with testing grammars that don't use a seed
In helping someone understand phrase generators for use with testing grammars, think compiler test cases, I noted that I have never found a phrase generator that is knowledgeable of the grammar, and ...
10
votes
1answer
217 views
Generating inputs for random-testing graph algorithms?
When testing algorithms, a common approach is random testing: generate a significant number of inputs according to some distribution (usually uniform), run the algorithm on them and verify ...
