488 search results - page 17 / 98 » Using Model Checking to Generate Tests from Requirements Spe... |
100
click to vote
JSW
2007
14 years 11 months ago
2007
— BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi...
104
click to vote
ISSTA
2006
ACM
15 years 5 months ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
CADUI
2004
15 years 1 months ago
2004
Abstract This paper shows a technique that allows adaptive user interfaces, spanning multiple devices, to be rendered from the task specification at runtime taking into account the...
115
click to vote
ASE
2006
14 years 11 months ago
2006
Finite state machines have been used to model a number of classes of system and there has thus been much interest in the automatic generation of test sequences from finite state m...
VLSID
2007
IEEE
16 years 2 days ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...