194 search results - page 15 / 39 » Automated Behavioral Regression Testing |
DLOG
2003
13 years 9 months ago
2003
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...
CAISE
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different technique...
APSEC
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—As software evolves, engineers use regression testing to evaluate its fitness for release. Such testing typically begins with existing test cases, and many techniques h...
ENVSOFT
2008
13 years 7 months ago
2008
Many impact studies require climate change information at a finer resolution than that provided by Global Climate Models (GCMs). In the last 10 years, downscaling techniques, both...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
This paper develops automated testing and debugging techniques for answer set solver development. We describe a flexible grammar-based black-box ASP fuzz testing tool which is abl...