357 search results - page 47 / 72 » Monaco: A DSL Approach for Programming Automation Systems |
180
click to vote
ICLP
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a framework that unifies unit testing and runtime verification (as well as static verification and static debugging). A key contribution of our overall approac...
93
Voted
TACAS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract In the event that a system does not satisfy a specification, a model checker will typically automatically produce a counterexample trace that shows a particular instance ...
104
click to vote
SIGSOFT
2006
ACM
15 years 10 months ago
2006
ACM
Recent software systems usually feature an automated failure reporting system, with which a huge number of failing traces are collected every day. In order to prioritize fault dia...
106
Voted
CORR
2002
Springer
14 years 9 months ago
2002
Springer
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalu...
KBSE
2006
IEEE
15 years 3 months ago
2006
IEEE
Recovering design patterns can enhance existing source code analysis tools by bringing program understanding to the design level. This paper presents a new, fully automated patter...