443 search results - page 70 / 89 » Testing for Software Vulnerability Using Environment Perturb... |
AMAST
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Motivated by the proliferation and usefulness of Domain Specific Languages as well as the demand in enriching well established languages by high level capabilities like p...
WWW
2010
ACM
14 years 2 months ago
2010
ACM
Middleware for Web service compositions, such as BPEL engines, provides the execution environment for services as well as additional functionalities, such as monitoring and self-t...
KBSE
2000
IEEE
14 years 2 days ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
ICSE
2009
IEEE-ACM
14 years 8 months ago
2009
IEEE-ACM
A variety of compilers, static analyses, and testing frameworks rely heavily on path frequency information. Uses for such information range from optimizing transformations to bug ...
SAC
2000
ACM
14 years 1 days ago
2000
ACM
DARWIN is a web-based system for presenting the results of wind-tunnel testing and computational model analyses to aerospace designers. DARWIN captures the data, maintains the inf...