1112 search results - page 12 / 223 » Executing Abstract Test Cases |
CODES
2007
IEEE
15 years 4 months ago
2007
IEEE
Multiprocessor SoCs are increasingly deployed in embedded systems with little or no security features built in. Code Injection attacks are one of the most commonly encountered sec...
LPAR
2000
Springer
15 years 1 months ago
2000
Springer
Abstract. The ZETA system is a Z-based tool environment for developing formal specifications. It contains a component for executing the Z language based on the implementation techn...
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
This paper presents a new automated model-driven technique to generate test cases by using feedback from the execution of a "seed test suite" on an application under tes...
XPU
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. We conducted a survey on Executable Acceptance Test Driven Development (or: Story Test Driven Development). The results show that there is often a substantial delay betwe...
ICCBR
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Artificial Intelligence techniques have been successfully applied to several computer games. However in some kinds of computer games, like real-time strategy (RTS) games...