6704 search results - page 140 / 1341 » Testing Scenario-Based Models |
179
click to vote
TR
2010
15 years 1 months ago
2010
Abstract--In the past ten years, the software aging phenomenon has been systematically researched, and recognized by both academic, and industry communities as an important obstacl...
180
click to vote
VISUALIZATION
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper describes a set of techniques developed for the visualization of high-resolution volume data generated from industrial computed tomography for nondestructive testing (N...
168
click to vote
ICSM
2005
IEEE
16 years 13 hour ago
2005
IEEE
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...
154
click to vote
FATES
2005
Springer
15 years 12 months ago
2005
Springer
We propose a novel, practical coverage metric called “location pairs” (LP) for concurrently-accessed software components. The LP metric captures well common concurrency errors ...
151
click to vote
LPNMR
2005
Springer
15 years 12 months ago
2005
Springer
In this work we describe a system for determining strong equivalence of disjunctive non-ground datalog programs under the stable model semantics. The problem is tackled by reducing...