Sciweavers

3547 search results - page 5 / 710
» Pseudo-Exhaustive Testing for Software
Sort
View
ICST
2010
IEEE
14 years 9 months ago
Verified Firewall Policy Transformations for Test Case Generation
Achim D. Brucker, Lukas Brügger, Paul Kearney...
CORR
2011
Springer
189views Education» more  CORR 2011»
14 years 6 months ago
A Factorial Experiment on Scalability of Search Based Software Testing
Software testing is an expensive process, which is vital in the industry. Construction of the test-data in software testing requires the major cost and to decide which method to us...
Arash Mehrmand, Robert Feldt
PTS
2010
134views Hardware» more  PTS 2010»
14 years 10 months ago
A Learning-Based Approach to Unit Testing of Numerical Software
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...
Karl Meinke, Fei Niu
CSEE
2011
Springer
14 years 3 months ago
Teaching software testing methods based on diversity principles
Software testing is the primary approach to support software quality assurance. Many novel software testing methods have been proposed to achieve various tasks in recent years. It...
Zhenyu Chen, Jinyu Zhang, Bin Luo
ICST
2010
IEEE
14 years 9 months ago
Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach
A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction of information from FMs is a thriving research topic invo...
Sergio Segura, Robert M. Hierons, David Benavides,...