173 search results - page 14 / 35 » Data Flow Testing as Model Checking |
COMPSAC
2006
IEEE
15 years 3 months ago
2006
IEEE
This paper presents an approach for automated test case generation using a software specification modeled in Statecharts. The steps defined in such approach involve: translation o...
111
click to vote
CORR
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...
89
Voted
CORR
2007
Springer
14 years 9 months ago
2007
Springer
This paper deals with a common verification methodology and environment for SystemC BCA and RTL models. The aim is to save effort by avoiding the same work done twice by different...
JCPHY
2011
14 years 14 days ago
2011
The physics of particle-laden thin film flow is not fully understood, and recent experiments have raised questions with current theory. There is a need for fully two-dimensional...
ICCCN
2007
IEEE
15 years 3 months ago
2007
IEEE
— Low rate DoS attacks are emerging threats to the TCP traffic, and the VoIP traffic in the Internet. They are hard to detect as they intelligently send attack traffic inside the...