6197 search results - page 352 / 1240 » Sandbridge Software Tools |
162
click to vote
UIST
2010
ACM
2010
ACM
D-Macs: building multi-device user interfaces by demonstrating, sharing and replaying design actions
15 years 4 months ago
Multi-device user interface design mostly implies creating a suitable interface for each targeted device, using a diverse set of design tools and toolkits. This is a time consumin...
223
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
Euclide is a new Constraint-Based Testing tool for verifying safety-critical C programs. By using a mixture of symbolic and numerical analyses (namely static single assignment for...
140
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Testing is one of the most indispensable tasks in software engineering. The role of testing in software development has grown significantly because testing is able to rev...
191
click to vote
AMAST
2010
Springer
15 years 1 months ago
2010
Springer
mu-term is a tool which can be used to verify a number of termination properties of (variants of) Term Rewriting Systems (TRSs): termination of rewriting, termination of innermost ...
206
click to vote
CSMR
2010
IEEE
15 years 1 months ago
2010
IEEE
While significant progress has been made over the last ten years in the research field of quality assessment, developers still can't take full advantage of the benefits of the...