5159 search results - page 62 / 1032 » Structural Testing of Executables |
125
click to vote
SIGSOFT
2005
ACM
16 years 3 months ago
2005
ACM
There is an increasing interest in techniques that support measurement and analysis of fielded software systems. One of the main goals of these techniques is to better understand ...
124
Voted
COOPIS
1997
IEEE
15 years 5 months ago
1997
IEEE
Workflows are activities involving the coordinated execution of multiple tasks performed by different processing entities, mostly in distributed heterogeneous environments which a...
123
click to vote
ETFA
2008
IEEE
15 years 8 months ago
2008
IEEE
Programmable Logic Controllers (PLCs) play a significant role in the control of production systems and Sequential Function Chart (SFC) is one of the main programming languages. Th...
129
click to vote
ACMSE
2006
ACM
15 years 8 months ago
2006
ACM
Software researchers have already developed static code security checkers to parse through and scan source code files, looking for security vulnerabilities [8, 9]. What about exec...
126
click to vote
VVEIS
2008
15 years 3 months ago
2008
This paper presents an executable semantics of OO models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing its underlying heap me...