3736 search results - page 43 / 748 » Hand-Writing Program Generator Generators |
112
click to vote
SIGSOFT
2003
ACM
16 years 17 days ago
2003
ACM
This paper presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. It extends our previous work to ...
VEE
2009
ACM
15 years 6 months ago
2009
ACM
Today’s web applications are pushing the limits of modern web browsers. The emergence of the browser as the platform of choice for rich client-side applications has shifted the ...
123
click to vote
CCS
2005
ACM
15 years 5 months ago
2005
ACM
The NRL Protocol Analyzer (NPA) is a tool for the formal specification and analysis of cryptographic protocols that has been used with great effect on a number of complex real-l...
ICCL
1994
IEEE
15 years 4 months ago
1994
IEEE
ECOOP
1994
Springer
15 years 3 months ago
1994
Springer