12745 search results - page 386 / 2549 » Automating test automation |
181
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...
160
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
—Cochlear electrode insertion is a challenging manual procedure. One technique requires the physician to coordinate the motions of an electrode array approximately 1mm in diamete...
183
Voted
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
—Although many static-analysis techniques have been developed for automatically detecting bugs, such as null dereferences, fewer automated approaches have been presented for anal...
203
click to vote
SP
2008
IEEE
15 years 5 months ago
2008
IEEE
e an abstraction of zero-knowledge protocols that is le to a fully mechanized analysis. The abstraction is formalized within the applied pi-calculus using a novel equational theor...
222
click to vote
ECWEB
2010
Springer
15 years 4 months ago
2010
Springer
Traditional negotiation, conducted face-to-face and via mail or telephone, is often difficult to manage, prone to misunderstanding, and time consuming. Automated negotiation promis...