Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,732,655 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
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
2002
Highly Cited
2002
Generating expected results for automated black-box testing
Patrick J. Schroeder
,
Patrick Faherty
,
B. Korel
Proceedings 17th IEEE International Conference on…
2002
Corpus ID: 32488069
In this paper we describe a technique for generating expected results for automated black-box testing. Generating expected…
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
1994
Highly Cited
1994
An automatic test pattern generator for large sequential circuits based on Genetic Algorithms
P. Prinetto
,
M. Rebaudengo
,
M. Reorda
Proceedings., International Test Conference
1994
Corpus ID: 2682287
This paper is concerned with the question of automated test pattern generation for large synchronous sequential circuits and…
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
1982
Highly Cited
1982
Measurement of MOSFET constants
F. D. L. Moneda
,
Harish N. Kotecha
,
M. Shatzkes
IEEE Electron Device Letters
1982
Corpus ID: 8572572
A method is described to electrically determine MOSFET channel length, mobility, gate-bias dependence and parasitic series…
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
or Only Accept Required