5159 search results - page 331 / 1032 » Structural Testing of Executables |
266
click to vote
ASPLOS
2011
ACM
14 years 11 months ago
2011
ACM
Providing deterministic execution significantly simplifies the debugging, testing, replication, and deployment of multithreaded programs. Recent work has developed deterministic...
192
click to vote
TROB
2002
15 years 7 months ago
2002
Reconfigurable software is highly desired for automated machine tool control systems for low-cost products and short time to market. In this paper, we propose a software architectu...
159
click to vote
QSIC
2005
IEEE
16 years 26 days ago
2005
IEEE
This paper describes a system to automatically mark student programs. It is a real time examination system that provides an environment for the compilation and execution of softwa...
193
click to vote
WADT
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. Computational systems are often represented by means of Kripke structures, and related using simulations. We propose rewriting logic as a flexible and executable framewo...
190
click to vote
IEAAIE
2009
Springer
15 years 5 months ago
2009
Springer
1 Testing is a popular way to assess one's competence in a language. The assessment can be conducted by the students for self evaluation or by the teachers in achievement test...