6149 search results - page 1043 / 1230 » Revealing the programming process |
149
click to vote
TAP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. This paper extends dynamic symbolic execution to distributed and concurrent systems. Dynamic symbolic execution can be used in software testing to systematically identify...
141
click to vote
CHIMIT
2009
ACM
15 years 11 months ago
2009
ACM
System administrators are end-users too. And as end-users, they develop tools, create web pages, write command-line scripts, use spreadsheets, and repurpose existing tools. In sho...
145
click to vote
EICS
2009
ACM
15 years 11 months ago
2009
ACM
Smart environments (e.g., airports, hospitals, stadiums, and other physical spaces using ubiquitous computing to empower many mobile people) provide novel challenges for usability...
126
click to vote
ICEGOV
2009
ACM
15 years 11 months ago
2009
ACM
With presumptions that e-government theories prevail in various formats and concepts around the globe, nations and institutions, not many examples are there to emulate in terms of...
129
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...