3544 search results - page 159 / 709 » Software Testing |
133
click to vote
SIGSOFT
2004
ACM
16 years 3 months ago
2004
ACM
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...
111
click to vote
FORTEST
2008
15 years 4 months ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
105
click to vote
MKWI
2008
15 years 3 months ago
2008
: The quality of business software is more and more becoming a competitive factor. As complete testing is impossible, testers have to make decisions, e.g. to choose which parts of ...
151
click to vote
ICST
2010
IEEE
15 years 1 months ago
2010
IEEE
—Markov chains with Labelled Transitions can be used to generate test cases in a model-based approach. These test cases are generated by random walks on the model according to pr...
109
click to vote
COMPSAC
2010
IEEE
15 years 15 days ago
2010
IEEE
Abstract--Test cost minimisation approaches have traditionally been devoted to minimising "execution costs", while maximising coverage or reliability. However, in a runti...