378 search results - page 18 / 76 » Traceability-Driven Model Refinement for Test Case Generatio... |
PTS
2010
13 years 7 months ago
2010
We present an application of learning-based testing to the problem of automated test case generation (ATCG) for numerical software. Our approach uses n-dimensional polynomial model...
ICSE
2009
IEEE-ACM
13 years 6 months ago
2009
IEEE-ACM
Software security issues have been a major concern to the cyberspace community, so a great deal of research on security testing has been performed, and various security testing te...
MP
2006
13 years 8 months ago
2006
In the paper we address the Distance-Constrained Capacitated Vehicle Routing Problem (DCVRP), where k minimum-cost routes through a central depot have to be constructed so as to co...
ISSRE
2003
IEEE
14 years 2 months ago
2003
IEEE
Use-cases and scenarios have been identified as good inputs to generate test cases and oracles at requirement level. Yet to have an automated generation, information is missing f...
ICST
2010
IEEE
13 years 7 months ago
2010
IEEE
—Model-based testing is a well known technique that allows one to validate the correctness of software with respect to its model. If a lot of data is involved, symbolic technique...