3547 search results - page 425 / 710 » Pseudo-Exhaustive Testing for Software |
162
click to vote
COMPSAC
2006
IEEE
16 years 24 days ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
164
Voted
KBSE
2006
IEEE
16 years 23 days ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
194
click to vote
ECLIPSE
2006
ACM
16 years 22 days ago
2006
ACM
The popularity of XML has motivated the development of novel XML processing tools many of which embed the XPath language for XML querying, transformation, constraint specificatio...
197
click to vote
MSR
2006
ACM
16 years 21 days ago
2006
ACM
Evolutionary annotations are descriptions of how source code evolves over time. Typical source comments, given their static nature, are usually inadequate for describing how a pro...
199
click to vote
AADEBUG
2005
Springer
16 years 9 days ago
2005
Springer
A complex software system may perform many program tasks during execution to provide the required functionalities. To detect and localize bugs related to the implementation of the...