16883 search results - page 2923 / 3377 » Generalized Non-Reducible Descriptors |
213
click to vote
KBSE
2005
IEEE
16 years 18 days ago
2005
IEEE
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. Two common kinds of concurrency errors are data races and atomicity violation...
205
click to vote
KBSE
2005
IEEE
16 years 18 days ago
2005
IEEE
Major software development standards mandate the establishment of trace links among software artifacts such as requirements, architectural elements, or source code without explici...
217
click to vote
KBSE
2005
IEEE
16 years 18 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
158
click to vote
KBSE
2005
IEEE
16 years 18 days ago
2005
IEEE
The term grammar-based software describes software whose input can be specified by a context-free grammar. This grammar may occur explicitly in the software, in the form of an in...
179
click to vote
KBSE
2005
IEEE
16 years 18 days ago
2005
IEEE
Software debugging is the process of locating and correcting faulty code. Prior techniques to locate faulty code either use program analysis techniques such as backward dynamic pr...