758 search results - page 50 / 152 » Pattern-Constrained Test Case Generation |
132
Voted
ICCS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. As High Performance Computing becomes more collaborative, software certification practices are needed to quantify the credibility of shared applications. To demonstrate q...
121
click to vote
EUROCAST
2009
Springer
15 years 9 months ago
2009
Springer
Model-based testing generates test cases from a high-level model. Current models employ extensions to finite-state machines. This work proposes a separation of transitions in the ...
120
Voted
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
— This paper presents the development of a biomechatronic knee prosthesis for transfemoral amputees. This kind of prostheses are considered ‘intelligent’ because they are abl...
132
click to vote
WCRE
2006
IEEE
15 years 8 months ago
2006
IEEE
Requirements views, such as coverage and status views, are an important asset for monitoring and managing software development. We have developed a method that automates the proce...
137
Voted
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
— Data collection using Autonomous Underwater Vehicles (AUVs) is increasing in importance within the oceanographic research community. Contrary to traditional moored or static pl...