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»
15 years 26 days 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...
152
Voted
ISSRE
2007
IEEE
15 years 4 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...
158
Voted
ICSM
2005
IEEE
15 years 8 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
15 years 3 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
122
Voted
GLVLSI
2008
IEEE
157views VLSI» more  GLVLSI 2008»
15 years 9 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