2419 search results - page 87 / 484 » A Formal Approach to Software Testing |
FMCO
2006
Springer
13 years 12 months ago
2006
Springer
Abstract. In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a wa...
AADEBUG
1995
Springer
13 years 11 months ago
1995
Springer
Software testability, the tendency for software to reveal its faults during testing, is an important issue for veri cation and quality assurance. Testability measurement can also b...
FORTEST
2008
13 years 9 months ago
2008
Algebraic specifications of data types provide a natural basis for testing data types implementations. In this framework, the conformance relation is based on the satisfaction of a...
EMSOFT
2004
Springer
14 years 1 months ago
2004
Springer
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
In a software development group of IBM Retail Store Solutions, we built a non-trivial software system based on a stable standard specification using a disciplined, rigorous unit t...