Sciweavers

119 search results - page 22 / 24
» tip 2010
Sort
View
TSE
2010
161views more  TSE 2010»
13 years 3 months ago
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...
Shay Artzi, Adam Kiezun, Julian Dolby, Frank Tip, ...
ECOOP
2010
Springer
13 years 10 months ago
A Type System for Data-Centric Synchronization
Data-centric synchronization groups fields of objects into atomic sets to indicate they must be updated atomically. Each atomic set has associated units of work, code fragments th...
Mandana Vaziri, Frank Tip, Julian Dolby, Christian...
ICRA
2010
IEEE
108views Robotics» more  ICRA 2010»
13 years 3 months ago
Multi-turn, tension-stiffening catheter navigation system
—In poorly constrained extra-vascular environments such as hollow viscera, current catheter navigation techniques are restricted to simple paths and therefore limit a doctor’s ...
Yi Chen, Jean H. Chang, Alison S. Greenlee, Kennet...
CHI
2010
ACM
13 years 12 months ago
ToolClips: an investigation of contextual video assistance for functionality understanding
We investigate the use of on-line contextual video assistance to improve the learnability of software functionality. After discussing motivations and design goals for such forms o...
Tovi Grossman, George W. Fitzmaurice
ECOOP
2010
Springer
13 years 10 months ago
Correct Refactoring of Concurrent Java Code
Automated refactorings as implemented in modern IDEs for Java usually make no special provisions for concurrent code. Thus, refactored programs may exhibit unexpected new concurren...
Max Schäfer, Julian Dolby, Manu Sridharan, Em...