Sciweavers

8398 search results - page 66 / 1680
» Optimal Software Testing
Sort
View
WCRE
2007
IEEE
14 years 4 months ago
Interprocedural Static Single Assignment Form
In this paper we describe interprocedural static single assignment form (ISSA) with optimizations as implemented in the Bauhaus project. We explain our framework which abstract pr...
Stefan Staiger, Gunther Vogel, Steffen Keul, Eduar...
CORR
2011
Springer
189views Education» more  CORR 2011»
13 years 5 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
APSEC
2005
IEEE
14 years 3 months ago
Tool Support for Statistical Testing of Software Components
We describe the “STSC” prototype tool that supports the statistical testing of software components. The tool supports a wide range of operational profiles and test oracles for...
Rakesh Shukla, Paul A. Strooper, David A. Carringt...
PTS
2010
134views Hardware» more  PTS 2010»
13 years 8 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
CISSE
2008
Springer
13 years 11 months ago
Ontology-Based Web Application Testing
Testing Web applications is still a challenging work which can greatly benefit from test automation techniques. In this paper, we focus on using ontologies as a means of test autom...
Samad Paydar, Mohsen Kahani