Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 218,217,199 papers from all fields of science
Search
Sign In
Create Free Account
White-box testing
Known as:
Whitebox testing
, Glass-box testing
, White box test
Expand
White-box testing (also known as clear box testing, glass box testing, transparent box testing, and structural testing) is a method of testing…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
26 relations
Axiomatic product development lifecycle
Basis path testing
Black-box testing
Code coverage
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
Effective white-box testing of deep neural networks with adaptive neuron-selection strategy
Seokhyun Lee
,
Sooyoung Cha
,
Dain Lee
,
Hakjoo Oh
International Symposium on Software Testing and…
2020
Corpus ID: 220497566
We present Adapt, a new white-box testing technique for deep neural networks. As deep neural networks are increasingly used in…
Expand
Highly Cited
2009
Highly Cited
2009
Fitness-guided path exploration in dynamic symbolic execution
Tao Xie
,
N. Tillmann
,
J. D. Halleux
,
Wolfram Schulte
IEEE/IFIP International Conference on Dependable…
2009
Corpus ID: 8929862
Dynamic symbolic execution is a structural testing technique that systematically explores feasible paths of the program under…
Expand
Highly Cited
2008
Highly Cited
2008
Pex-White Box Test Generation for .NET
N. Tillmann
,
J. D. Halleux
On Tap
2008
Corpus ID: 3181292
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic…
Expand
Highly Cited
2007
Highly Cited
2007
Applying particle swarm optimization to software testing
Andreas Windisch
,
S. Wappler
,
J. Wegener
Annual Conference on Genetic and Evolutionary…
2007
Corpus ID: 2928290
Evolutionary structural testing is an approach to automatically generating test cases that achieve high structural code coverage…
Expand
Highly Cited
2004
Highly Cited
2004
Test input generation with java PathFinder
W. Visser
,
C. Păsăreanu
,
S. Khurshid
International Symposium on Software Testing and…
2004
Corpus ID: 11516913
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that…
Expand
Highly Cited
2002
Highly Cited
2002
White-Box Cryptography and an AES Implementation
S. Chow
,
Philip A. Eisen
,
H. Johnson
,
P. V. Oorschot
ACM Symposium on Applied Computing
2002
Corpus ID: 14282272
Conventional software implementations of cryptographic algorithms are totally insecure where a hostile user may control the…
Expand
Highly Cited
2001
Highly Cited
2001
Evolutionary test environment for automatic structural testing
J. Wegener
,
A. Baresel
,
H. Sthamer
Information and Software Technology
2001
Corpus ID: 35385269
Highly Cited
2001
Highly Cited
2001
Analysis and testing of Web applications
Filippo Ricca
,
P. Tonella
Proceedings of the 23rd International Conference…
2001
Corpus ID: 206854405
The economic relevance of Web applications increases the importance of controlling and improving their quality. Moreover, the…
Expand
Highly Cited
1981
Highly Cited
1981
Data Abstraction, Implementation, Specification, and Testing
J. Gannon
,
Paul R. McMullin
,
R. Hamlet
TOPL
1981
Corpus ID: 10123970
A compiler-based system DAISTS that combines a data-abstraction implementation language (derived from the SIMULA class) with…
Expand
Highly Cited
1978
Highly Cited
1978
Functional Program Testing
W. Howden
IEEE Transactions on Software Engineering
1978
Corpus ID: 13893613
An approach to functional testing is described in which the design of a program is viewed as an integrated collection of…
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