4 search results - page 1 / 1 » Automated Black-Box Testing with Abstract VDM Oracles |
SAFECOMP
1999
Springer
13 years 9 months ago
1999
Springer
JSW
2007
13 years 5 months ago
2007
—Higher-order black box software tests against independent end user domain requirements has become an issue of increasing importance with compositional reuse of software artifact...
ICST
2009
IEEE
13 years 3 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
FASE
2009
Springer
14 years 2 days ago
2009
Springer
Abstract. Bounded-exhaustive testing is an automated testing methodology that checks the code under test for all inputs within given bounds: first the user describes a set of test...