1414 search results - page 8 / 283 » Automated Metamorphic Testing |
DAC
1999
ACM
14 years 8 months ago
1999
ACM
CISSE
2008
Springer
13 years 9 months ago
2008
Springer
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...
LPAR
2012
Springer
12 years 3 months ago
2012
Springer
Abstract. We present a novel counterexample generator for the interactive theorem prover Isabelle based on a compiler that synthesizes test data generators for functional programmi...
HICSS
2009
IEEE
13 years 11 months ago
2009
IEEE
Automated acceptance testing is a new and promising agile testing approach. Fit is the most established technical framework for specifying and executing acceptance tests which, id...
XPU
2004
Springer
14 years 28 days ago
2004
Springer
Abstract. User acceptance testing is finally getting the attention and tool support it deserves. It is imperative that acceptance tests follow the best practices and embody the cri...