56 search results - page 5 / 12 » An Automated Framework for Structural Test-Data Generation |
ICAIL
1997
ACM
13 years 11 months ago
1997
ACM
The capacity for self-explanation can makecomputer-drafted documents more credible, assist in the retrieval and adaptation of archival documents, and permit comparison of document...
ICDE
2006
IEEE
14 years 8 months ago
2006
IEEE
One of the simplest ways to query a database is through a form, where a user can fill in relevant information and obtain desired results by submitting the form. Designing good sta...
ATAL
2008
Springer
13 years 9 months ago
2008
Springer
Multi-Agent Reinforcement Learning (MARL) algorithms suffer from slow convergence and even divergence, especially in large-scale systems. In this work, we develop a supervision fr...
TACAS
2012
Springer
12 years 3 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...
ECOOP
2003
Springer
14 years 21 days ago
2003
Springer
Despite Java’s automatic reclamation of memory, memory leaks remain an important problem. For example, we frequently encounter memory leaks that cause production servers to crash...