276 search results - page 1 / 56 » Automatic Generation of Functional Programs from CASL Specif... |
ICSEA
2006
IEEE
13 years 11 months ago
2006
IEEE
ICSE
2004
IEEE-ACM
14 years 5 months ago
2004
IEEE-ACM
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
DAC
2004
ACM
13 years 10 months ago
2004
ACM
DATE
2005
IEEE
13 years 11 months ago
2005
IEEE
In today’s embedded applications a significant portion of energy is spent in the memory subsystem. Several approaches have been proposed to minimize this energy, including the u...
ATVA
2010
Springer
13 years 5 months ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...