Sciweavers

2026 search results - page 154 / 406
» Tools for Test Case Generation
Sort
View
SBMF
2009
Springer
184views Formal Methods» more  SBMF 2009»
16 years 29 days ago
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
Moonzoo Kim, Yunho Kim
QSIC
2005
IEEE
16 years 8 hour ago
Stochastic Voting Algorithms for Web Services Group Testing
This paper proposes a stochastic voting for testing a large number of Web Services (WS) under group testing. In the future, a large number of WS will be available and they need to...
Wei-Tek Tsai, Dawei Zhang, Raymond A. Paul, Yinong...
SEFM
2005
IEEE
16 years 7 hour ago
Experimental Evaluation of FSM-Based Testing Methods
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
Rita Dorofeeva, Nina Yevtushenko, Khaled El-Fakih,...
MKWI
2008
147views Business» more  MKWI 2008»
15 years 7 months ago
Process-oriented Test Automation of Configurable Business Solutions
: Along with rapidly changing market requirements for service-oriented business software new challenges for quality management, quality assurance, and testing arise. Customers must...
Benjamin Blau, Hong Tuan Kiet Vo
ICSEA
2009
IEEE
16 years 1 months ago
Testing of Image Processing Algorithms on Synthetic Data
—In this paper, it is shown that synthetic images can be used to test specific use cases of a lane tracking algorithm which has been developed by Audi AG. This was achieved by s...
Kilian von Neumann-Cosel, Erwin Roth, Daniel Lehma...