366 search results - page 13 / 74 » Syntactic Abstraction of B Models to Generate Tests |
131
Voted
FM
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. This paper presents an iterative technique to accurately reverseengineer models of the behaviour of software systems. A key novelty of the approach is the fact that it us...
123
Voted
FMCO
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. This paper presents a unified approach to test case generation and conformance test execution in a distributed setting. A model in the object-oriented, concurrent modelin...
90
Voted
TCAD
2010
14 years 7 months ago
2010
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
102
click to vote
GLVLSI
2002
IEEE
15 years 5 months ago
2002
IEEE
Design simplification is becoming necessary to respect the target time-to-market of SoCs, and this goal can be obtained by using predesigned IP-cores. However, their correct inte...
100
click to vote
MIDDLEWARE
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. The performance of multi-tier systems is known to be significantly degraded by workloads that place bursty service demands on system resources. Burstiness can cause queu...