452 search results - page 34 / 91 » Symbolic Execution of Behavioral Requirements |
107
Voted
SCESM
2006
ACM
15 years 4 months ago
2006
ACM
The dynamic behavior of systems is best described by Finite-state machines. Generation of executable tests from behavioral models such as UML Statecharts offers benefits such as s...
COMPSAC
2007
IEEE
15 years 5 months ago
2007
IEEE
In a component-based system components are basic computation units implementing specific business functions, and their interactions are explicitly represented by connectors. If th...
89
Voted
ASWEC
2006
IEEE
15 years 5 months ago
2006
IEEE
With the increased usage of wireless LANs (WLANs), businesses and educational institutions are becoming more concerned about wireless network security. The latest WLAN security pr...
99
Voted
SASN
2003
ACM
15 years 4 months ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
115
Voted
FASE
2006
Springer
15 years 2 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...