565 search results - page 89 / 113 » Compositional dynamic test generation |
114
click to vote
ICFP
2007
ACM
15 years 5 months ago
2007
ACM
In this paper we introduce the iTask system: a set of combinators to specify work flows in a pure functional language at a very high level of abstraction. Work flow systems are au...
120
click to vote
IMC
2005
ACM
15 years 7 months ago
2005
ACM
Flow measurement evolved into the primary method for measuring the composition of Internet traffic. Large ISPs and small networks use it to track dominant applications, dominant ...
132
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: An in-silico experiment can be naturally specified as a workflow of activities implementing, in a standardized environment, the process of data and control analysis. A...
107
click to vote
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
Many automatic testing, analysis, and verification techniques for programs can be effectively reduced to a constraint-generation phase followed by a constraint-solving phase. Th...
105
click to vote
SIGSOFT
2008
ACM
16 years 2 months ago
2008
ACM
Program input syntactic structure is essential for a wide range of applications such as test case generation, software debugging and network security. However, such important info...