194 search results - page 15 / 39 » Automated Behavioral Regression Testing |
135
click to vote
DLOG
2003
15 years 3 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...
114
click to vote
CAISE
2006
Springer
15 years 6 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...
114
Voted
APSEC
2009
IEEE
15 years 9 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...
137
Voted
ENVSOFT
2008
15 years 2 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...
136
Voted
CORR
2010
Springer
15 years 2 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...