772 search results - page 118 / 155 » From Graph Transformation to Software Engineering and Back |
150
Voted
SAFECOMP
2005
Springer
15 years 9 months ago
2005
Springer
As programmable logic controllers(PLCs) have been used in safety-critical applications, testing of PLC applications has become important. The previous PLC-based software testing te...
116
click to vote
EUROSYS
2009
ACM
16 years 1 months ago
2009
ACM
Memory bugs in C/C++ programs severely affect system availability and security. This paper presents First-Aid, a lightweight runtime system that survives software failures caused ...
133
click to vote
BMCBI
2010
15 years 4 months ago
2010
Background: Metabolic pathway is a highly regulated network consisting of many metabolic reactions involving substrates, enzymes, and products, where substrates can be transformed...
128
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
A comfort zone is a tested region of a system’s input space within which it has been observed to behave acceptably. To keep systems operating within their comfort zones, we advo...
141
Voted
POPL
2010
ACM
15 years 4 months ago
2010
ACM
In this paper, we explore the potential of the theory of nested words for partial correctness proofs of recursive programs. Our conceptual contribution is a simple framework that ...