2 search results - page 1 / 1 » A Holistic Approach to Test-Driven Model Checking |
IEAAIE
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Testing is the most common validation method in the software industry. It entails the execution of the software system in the real environment. Nevertheless, testing is a...
HICSS
2008
IEEE
13 years 11 months ago
2008
IEEE
Object-oriented analysis suggests semiformal usecase driven techniques for problem domain modeling from a computation independent viewpoint. The proposed approach called Topologic...