51 search results - page 2 / 11 » A Comparative Study of Software Model Checkers as Unit Testi... |
ISESE
2006
IEEE
13 years 10 months ago
2006
IEEE
Effective testing of safety-critical real-time embedded software is difficult and expensive. Many companies are hesitant about the cost of formalized criteria-based testing and a...
FMICS
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. We present experiences from a case study where a model-based approach to black-box testing is applied to verify that a Wireless Application Protocol (WAP) gateway conform...
FASE
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
ISESE
2006
IEEE
13 years 10 months ago
2006
IEEE
This paper discusses software development using the Test Driven Development (TDD) methodology in two different environments (Windows and MSN divisions) at Microsoft. In both these...
120
click to vote
ICSE
2012
IEEE-ACM
11 years 7 months ago
2012
IEEE-ACM
—As smartphones become popular, manufacturers such as Samsung Electronics are developing smartphones with rich functionality such as a camera and photo editing quickly, which acc...