2419 search results - page 50 / 484 » A Formal Approach to Software Testing |
ICSE
2003
IEEE-ACM
14 years 8 months ago
2003
IEEE-ACM
Software system faults are often caused by unexpected interactions among components. Yet the size of a test suite required to test all possible combinations of interactions can be...
DEXAW
2008
IEEE
13 years 10 months ago
2008
IEEE
Validation is an essential part of software development, and testing is a practical and widely used approach. The emerging methodology is model-based testing, in which test cases ...
INLG
2010
Springer
13 years 6 months ago
2010
Springer
Critical software most often requires an independent validation and verification (IVV). IVV is usually performed by domain experts, who are not familiar with specific, many times ...
COMPSAC
2006
IEEE
14 years 2 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
JSW
2007
13 years 8 months ago
2007
— Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based syste...