Sciweavers

3281 search results - page 97 / 657
» An Approach to use Executable Models for Testing
Sort
View
TAICPART
2010
IEEE
158views Education» more  TAICPART 2010»
13 years 7 months ago
Bad Pairs in Software Testing
Abstract. With pairwise testing, the test model is a list of N parameters. Each test case is an N-tuple; the test space is the cross product of the N parameters. A pairwise test is...
Daniel Hoffman, Chien Chang, Gary Bazdell, Brett S...
ISSRE
2007
IEEE
13 years 10 months ago
Using In-Process Testing Metrics to Estimate Post-Release Field Quality
In industrial practice, information on the software field quality of a product is available too late in the software lifecycle to guide affordable corrective action. An important ...
Nachiappan Nagappan, Laurie Williams, Mladen A. Vo...
ICSM
2005
IEEE
14 years 2 months ago
Contract-Based Mutation for Testing Components
Testing plays an important role in the maintenance of Component Based Software Development. Test adequacy for component testing is one of the hardest issues for component testing....
Ying Jiang, Shan-Shan Hou, Jinhui Shan, Lu Zhang, ...
ECIR
2006
Springer
13 years 10 months ago
A Declarative DB-Powered Approach to IR
We present a prototype system using array comprehensions to bridge the gap between databases and information retrieval. It allows researchers to express their retrieval models in t...
Roberto Cornacchia, Arjen P. de Vries
GLVLSI
2008
IEEE
157views VLSI» more  GLVLSI 2008»
14 years 3 months ago
Coverage-driven automatic test generation for uml activity diagrams
Due to the increasing complexity of today’s embedded systems, the analysis and validation of such systems is becoming a major challenge. UML is gradually adopted in the embedded...
Mingsong Chen, Prabhat Mishra, Dhrubajyoti Kalita