5159 search results - page 1 / 1032 » Structural Testing of Executables |
ICST
2008
IEEE
13 years 11 months ago
2008
IEEE
STVR
2011
12 years 12 months ago
2011
SIGSOFT
2007
ACM
14 years 5 months ago
2007
ACM
We present novel algorithms for parallel testing of code that takes structurally complex test inputs. The algorithms build on the Korat algorithm for constraint-based generation o...
ACSD
2007
IEEE
13 years 11 months ago
2007
IEEE
In this paper we introduce executions of place/transition Petri nets with weighted inhibitor arcs (PTI-net) as enabled labeled stratified order structures (LSOs) and present a po...
SIGSOFT
2008
ACM
14 years 5 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...