369 search results - page 22 / 74 » Execution Synthesis: A Technique for Automated Software Debu... |
160
click to vote
TSE
2012
13 years 5 days ago
2012
d Abstractions for Contract Validation Guido de Caso, Víctor Braberman, Diego Garbervetsky and Sebastián Uchitel —Pre/post condition-based specifications are common-place in a...
IPPS
2007
IEEE
15 years 4 months ago
2007
IEEE
In today’s dynamic computing environments, the available resources and even underlying computation engine can change during the execution of a program. Additionally, current tre...
DAC
1999
ACM
15 years 10 months ago
1999
ACM
Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
104
click to vote
ACSAC
2007
IEEE
15 years 4 months ago
2007
IEEE
With the recent rapid increase in interactive web applications that employ back-end database services, an SQL injection attack has become one of the most serious security threats....
DAC
1995
ACM
15 years 1 months ago
1995
ACM
— Software components for embedded reactive real-time applications must satisfy tight code size and runtime constraints. Cooperating finite state machines provide a convenient i...