2026 search results - page 311 / 406 » Tools for Test Case Generation |
203
Voted
ASPDAC
2011
ACM
14 years 8 months ago
2011
ACM
3-D monolithic integration (3DMI), also termed as sequential integration, is a potential technology for future gigascale circuits. Since the device layers are processed in sequent...
179
click to vote
WCRE
1999
IEEE
15 years 8 months ago
1999
IEEE
Java applets have been used increasingly on web sites to perform client-side processing and provide dynamic content. While many web site analysis tools are available, their focus ...
148
click to vote
AOSD
2009
ACM
15 years 8 months ago
2009
ACM
Aspect-oriented programming (AOP) eases the development of profilers, debuggers, and reverse engineering tools. Such tools frequently rely on calling context information. However,...
156
click to vote
CASCON
2007
15 years 6 months ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...
171
click to vote
ASPLOS
2012
ACM
14 years 9 days ago
2012
ACM
Dynamic binary translation (DBT) is a powerful technique that enables fine-grained monitoring and manipulation of an existing program binary. At the user level, it has been emplo...