325 search results - page 3 / 65 » Focused iterative testing: a test automation case study |
COMPSAC
2007
IEEE
14 years 1 months ago
2007
IEEE
Algebraic testing is an automated software testing method based on algebraic formal specifications. It has the advantages of highly automated testing process and independence of t...
IWPSE
2007
IEEE
14 years 1 months ago
2007
IEEE
The starting point for software evolution is usually a change request, expressing the new or updated requirements on the delivered system. The requirements specified in a change ...
PTS
2010
13 years 5 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...
XPU
2007
Springer
14 years 1 months ago
2007
Springer
Testing is an essential part of an agile process as test is automated and tends to take the role of specifications in place of documents. However, whenever test cases are faulty, d...
SPLC
2008
13 years 8 months ago
2008
The automated analysis of Feature Models (FMs) focuses on the usage of different logic paradigms and solvers to implement a number of analysis operations on FMs. The implementatio...