809 search results - page 47 / 162 » Requirements by Contracts allow Automated System Testing |
187
click to vote
AOSE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
136
click to vote
HICSS
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper describes the design of a test suite for thorough evaluation of web application scanners. Web application scanners are automated, black-box testing tools that examine w...
145
click to vote
OSDI
2004
ACM
16 years 4 months ago
2004
ACM
Network worms are a clear and growing threat to the security of today's Internet-connected hosts and networks. The combination of the Internet's unrestricted connectivit...
149
click to vote
LPAR
2010
Springer
15 years 2 months ago
2010
Springer
We introduce parameterized rewrite systems for describing infinite families of finite string rewrite systems depending upon non-negative integer parameters, as well as ways to reas...
158
Voted
BMCBI
2002
15 years 4 months ago
2002
Background: When analyzing protein sequences using sequence similarity searches, orthologous sequences (that diverged by speciation) are more reliable predictors of a new protein&...