7167 search results - page 143 / 1434 » A Technique for Invariant Generation |
138
click to vote
ICSE
2008
IEEE-ACM
16 years 6 months ago
2008
IEEE-ACM
As Graphical User Interfaces become more popular, the need for GUI testing tools becomes greater. However, many current test generation techniques require proprietary tools and ca...
193
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
With the growing complexity of web applications, identifying web interfaces that can be used for testing such applications has become increasingly challenging. Many techniques tha...
176
click to vote
CGO
2009
IEEE
16 years 1 months ago
2009
IEEE
Recent work has shown that machine learning can automate and in some cases outperform hand crafted compiler optimizations. Central to such an approach is that machine learning tec...
152
click to vote
DSRT
2005
IEEE
15 years 12 months ago
2005
IEEE
Human-to-human interaction across distributed applications requires that sufficient consistency be maintained among participants in the face of network characteristics such as lat...
191
click to vote
VRML
2003
ACM
15 years 11 months ago
2003
ACM
Many Web3D sites do not offer sufficient assistance to (especially novice) users in navigating the virtual world, find objects/places of interests, and learn how to interact with ...