112 search results - page 9 / 23 » Testing Software Product Lines Using Incremental Test Genera... |
113
click to vote
AADEBUG
2005
Springer
15 years 1 months ago
2005
Springer
In a C compiler, function calls are difficult to implement correctly because they must respect a platform-specific calling convention. But they are governed by a simple invariant...
SIGSOFT
2005
ACM
16 years 13 days ago
2005
ACM
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function. The entry fu...
FORTEST
2008
15 years 1 months ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
117
click to vote
ISSRE
2007
IEEE
15 years 1 months ago
2007
IEEE
During development and testing, changes made to a system to repair a detected fault can often inject a new fault into the code base. These injected faults may not be in the same f...
CORR
2008
Springer
14 years 11 months ago
2008
Springer
In this paper we describe the conception of a software toolkit designed for the construction, maintenance and collaborative use of a Generative Lexicon. In order to ease its porta...