3547 search results - page 145 / 710 » Pseudo-Exhaustive Testing for Software |
292
click to vote
APAL
2011
15 years 2 months ago
2011
The Suslin operator E1 is a type-2 functional testing for the wellfoundedness of binary relations on the natural numbers. In the context of applicative theories, its proof-theoret...
233
click to vote
TRUSTBUS
2004
Springer
16 years 11 days ago
2004
Springer
Abstract. Synthetic data plays an important role in software testing. In this paper, we initiate the study of synthetic data generation models for the purpose of application softwa...
209
click to vote
SIGSOFT
2003
ACM
16 years 8 days ago
2003
ACM
This paper presents PLUTO, a simple and intuitive methodology to manage the testing process of product lines, described as Product Lines Use Cases (PLUCs). PLUCs are an extension ...
172
click to vote
OOPSLA
2007
Springer
16 years 1 months ago
2007
Springer
This article describes the design and use of the CUTE C++ testing framework and its integration into the Eclipse C++ Development Tooling. Unit testing supports code quality and is...
189
click to vote
STEP
2003
IEEE
16 years 8 days ago
2003
IEEE
When testing a program, correctly executed test cases are seldom explored further, even though they may carry useful information. Metamorphic testing proposes to generate follow-u...