2419 search results - page 10 / 484 » A Formal Approach to Software Testing |
152
click to vote
ISOLA
2007
Springer
16 years 18 hour ago
2007
Springer
The testing and formal verification of black box software components is a challenging domain. The problem is even harder when specifications of these components are not available...
152
click to vote
ISSTA
2006
ACM
15 years 12 months ago
2006
ACM
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
153
click to vote
ICTAC
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Given a nite state machine denoting the speci cation of a system, nding some short interaction sequences capable to reach some/all states or transitions of this machine...
156
click to vote
FORMATS
2009
Springer
16 years 13 days ago
2009
Springer
For software development, testing is still the primary choice for investigating the correctness of a system. Automated testing is of utmost importance to support continuous integra...
153
click to vote
FORTEST
2008
15 years 7 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...