1781 search results - page 8 / 357 » Visualizing program execution using user abstractions |
INTERACT
2003
13 years 8 months ago
2003
: Whereas sophisticated computer users can exercise more control in what they are exposed to and produce computational artifacts, technologically challenged end-users assume a more...
CAV
2010
Springer
13 years 10 months ago
2010
Springer
Analysis of Symbolic Executions Aws Albarghouthi1 , Arie Gurfinkel2 , Ou Wei1,3 , and Marsha Chechik1 1 Department of Computer Science, University of Toronto, Canada 2 Software Eng...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic invariant inference has t...
IPPS
1994
IEEE
13 years 11 months ago
1994
IEEE
As parallel and distributed computers become more widely available and used, the already important process of understanding and debugging concurrent programs will take on even gre...
AOIS
2003
13 years 8 months ago
2003
Abstract. This paper describes AbIMA, an agent-based intelligent mobile assistant for supporting users prior to and during the execution of their tasks. The agent is based on the w...