210 search results - page 25 / 42 » Towards Model-Driven Testing of a Web Application Generator |
CAV
2011
Springer
12 years 11 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
SIGMOD
2010
ACM
13 years 11 months ago
2010
ACM
Microsoft StreamInsight (StreamInsight, for brevity) is a platform for developing and deploying streaming applications. StreamInsight adopts a deterministic stream model that leve...
IDEAS
2005
IEEE
14 years 1 months ago
2005
IEEE
A substantial subset of the web data follows some kind of underlying structure. Nevertheless, HTML does not contain any schema or semantic information about the data it represents...
CAISE
2005
Springer
14 years 1 months ago
2005
Springer
The push toward business process automation has generated the need for integrating different enterprise applications involved in such processes. The typical approach to integration...
P2P
2009
IEEE
14 years 2 months ago
2009
IEEE
—ModelNet is a network emulator designed for repeatable, large-scale experimentation with real networked systems. This talk introduces the ideas behind ModelNet that have made it...