2026 search results - page 95 / 406 » Tools for Test Case Generation |
120
Voted
SPIN
2010
Springer
14 years 11 months ago
2010
Springer
Concolic testing is a method for test input generation where a given program is executed both concretely and symbolically at the same time. This paper introduces the LIME Concolic ...
107
Voted
ISSRE
2006
IEEE
15 years 6 months ago
2006
IEEE
Aspect-oriented software development is gaining popularity with the adoption of languages such as AspectJ. Testing is an important part in any software development, including aspe...
106
click to vote
PTS
2008
15 years 2 months ago
2008
Firewalls are a cornerstone of todays security infrastructure for networks. Their configuration, implementing a firewall policy, is inherently complex, hard to understand, and diff...
121
click to vote
ICST
2009
IEEE
15 years 7 months ago
2009
IEEE
It is challenging to test applications and functions for which the correct output for arbitrary input cannot be known in advance, e.g. some computational science or machine learni...
102
Voted
GECCO
2006
Springer
15 years 4 months ago
2006
Springer
Achieving a high quality and cost-effective tests is a major concern for software buyers and sellers. Using tools and integrating techniques to carry out low cost testing are chal...