Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 228,958,343 papers from all fields of science
Search
Sign In
Create Free Account
Test automation
Known as:
Automated QA
, Automated testing
, Automated test
Expand
In software testing, test automation is the use of special software (separate from the software being tested) to control the execution of tests and…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
50 relations
Appium
AutoTester
Black-box testing
Bounce message
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
YETI on the Cloud
M. Oriol
,
Faheem Ullah
Third International Conference on Software…
2010
Corpus ID: 17080036
The York Extensible Testing Infrastructure (YETI) is an automated random testing tool that allows to test programs written in…
Expand
2007
2007
A Model Checking based Test Case Generation Framework forWeb Services
Yongyan Zheng
,
Jiong Zhou
,
P. Krause
International Conference on Information…
2007
Corpus ID: 7158436
BPEL (Business Process Execution Language) is an emerging standard language to describe Web service composition behaviour. The…
Expand
Highly Cited
2004
Highly Cited
2004
Intelligible test techniques to support error-tolerance
M. Breuer
Asian Test Symposium
2004
Corpus ID: 1523448
We have developed a new digital system mode of operation, referred to as error-tolerance, the purpose of which is to increase…
Expand
2004
2004
Executable HybridUML and Its Application to Train Control Systems
Kirsten Berkenkötter
,
Stefan Bisanz
,
U. Hannemann
,
J. Peleska
SoftSpez Final Report
2004
Corpus ID: 4500708
In this paper, the authors introduce an extension of UML for the purpose of hybrid systems modeling. The construction uses the…
Expand
Highly Cited
1999
Highly Cited
1999
Software test automation: effective use of test execution tools
Mark Fewster
,
Dorothy Graham
1999
Corpus ID: 267937090
Mark Fewster, Dorothy Graham; Addison-Wesley, 1999; Software Test Automation: Effective Use of Test Execution Tools; 1999; 574…
Expand
1999
1999
KVEST: Automated Generation of Test Suites from Formal Specifications
I. B. Bourdonov
,
A. Kossatchev
,
A. Petrenko
,
Dmitri Galter
World Congress on Formal Methods
1999
Corpus ID: 206499
KVEST - Kernel VErification and Specification Technology - is based on automated test generation from formal specifications in…
Expand
1997
1997
Evaluation of verification tools for knowledge-based systems
A. Preece
,
Stephane Talbot
,
Laurence Vignollet
Int. J. Hum. Comput. Stud.
1997
Corpus ID: 11209451
Validation has emerged as a significant problem in the development of knowledge based systems (KBS). Verification of KBS…
Expand
Highly Cited
1997
Highly Cited
1997
The Costs and Benefits of Reducing Acid Rain
D. Burtraw
,
A. Krupnick
,
E. Mansur
,
D. Austin
,
Deirdre Farrell
1997
Corpus ID: 8875042
Title IV of the 1990 Clean Air Act Amendments initiated a dramatic reduction in emissions of sulfur dioxide and nitrogen oxides…
Expand
Highly Cited
1990
Highly Cited
1990
Automated Test Case Generation for Programs Specified by Relational Algebra Queries
W. Tsai
,
D. Volovik
,
T. F. Keefe
IEEE Trans. Software Eng.
1990
Corpus ID: 38327195
Black-box software testing requires test cases to be generated from specifications alone. However, it is impossible to automate…
Expand
Highly Cited
1978
Highly Cited
1978
An evaluation of the effectiveness of symbolic testing
W. Howden
Software, Practice & Experience
1978
Corpus ID: 14930958
The effectiveness in discovering errors of symbolic evaluation and of testing sad static program analysis are studied. The three…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE