8398 search results - page 223 / 1680 » Optimal Software Testing |
152
Voted
ICALP
2005
Springer
16 years 14 days ago
2005
Springer
We consider the problem of testing the commutativity of a black-box group specified by its k generators. The complexity (in terms of k) of this problem was first considered by Pa...
318
Voted
AADEBUG
2005
Springer
16 years 16 days ago
2005
Springer
Code coverage analysis, the process of finding code exercised by a particular set of test inputs, is an important component of software development and verification. Most tradit...
163
Voted
SE
2007
15 years 8 months ago
2007
: Automated test case and test driver generation from a precise behaviour UML model is an emerging approach for software functional validation. This innovative approach for validat...
155
Voted
DATE
2002
IEEE
15 years 12 months ago
2002
IEEE
This paper proposes a comprehensive model for test planning in a core-based environment. The main contribution of this work is the use of several types of TAMs and the considerati...
193
Voted
SQJ
2002
15 years 6 months ago
2002
Much of software engineering is targeted towards identifying and removing existing defects while preventing the injection of new ones. Defect management is therefore one important ...