1432 search results - page 50 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
113
click to vote
WCRE
2000
IEEE
15 years 7 months ago
2000
IEEE
Data interchange in the form of a standard exchange format(SEF) is only a first step towards tool interoperability. Inter-tool communication using files is slow and cumbersome; a ...
132
click to vote
SECURWARE
2008
IEEE
15 years 9 months ago
2008
IEEE
The Session Initiation Protocol (SIP) is increasingly used as a signaling protocol for administrating Voice over IP (VoIP) phone calls. SIP can be configured in several ways so t...
121
click to vote
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
Mixed concrete and symbolic execution is an important technique for finding and understanding software bugs, including securityrelevant ones. However, existing symbolic execution...
143
click to vote
SIGSOFT
2006
ACM
16 years 4 months ago
2006
ACM
Fixing runtime bugs in long running programs using trace based analyses such as dynamic slicing was believed to be prohibitively expensive. In this paper, we present a novel execu...
91
Voted
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
The Rosetta system specification language will require a variety of analysis capabilities to assist system designers. The language’s generality prohibits the development of a s...