6704 search results - page 171 / 1341 » Testing Scenario-Based Models |
167
click to vote
ATVA
2006
Springer
15 years 10 months ago
2006
Springer
Testing is one of the fundamental techniques for verifying if a computing system conforms to its specification. We take a fresh look at the theory of testing for message-passing sy...
190
click to vote
JCIT
2008
15 years 6 months ago
2008
Lack of time and capital for software testing is an oft encountered problem in most organizations. The plethora of possible test cases for each software component makes software t...
182
click to vote
JSW
2008
15 years 6 months ago
2008
An application framework provides reusable design and implementation for a family of software systems. At the application engineering stage, application developers extend framework...
204
click to vote
ICDE
2011
IEEE
14 years 10 months ago
2011
IEEE
—Complex SQL queries are widely used today, but it is rather difficult to check if a complex query has been written correctly. Formal verification based on comparing a specifi...
160
click to vote
ICSE
2008
IEEE-ACM
16 years 7 months ago
2008
IEEE-ACM
Mutants are automatically-generated, possibly faulty variants of programs. The mutation adequacy ratio of a test suite is the ratio of non-equivalent mutants it is able to identif...