3456 search results - page 374 / 692 » Byte Code Engineering |
185
click to vote
HOTSWUP
2009
ACM
15 years 2 months ago
2009
ACM
Dynamic software update is a technique by which a running program can be updated with new code and data without interrupting its execution. Often we will want to preserve properti...
145
click to vote
ICFEM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
152
click to vote
ICSE
2009
IEEE-ACM
15 years 2 months ago
2009
IEEE-ACM
Modern software systems should be more and more designed with adaptation and run-time evolution in mind. But even with good reactions to changes, the triggered adaptation should b...
185
click to vote
ICSE
2012
IEEE-ACM
13 years 6 months ago
2012
IEEE-ACM
—This paper describes a new technique, which automatically selects the most appropriate developers for fixing the fault represented by a failing test case, and provides a diagno...
161
click to vote
CCS
2006
ACM
15 years 8 months ago
2006
ACM
This paper presents EXE, an effective bug-finding tool that automatically generates inputs that crash real code. Instead of running code on manually or randomly constructed input,...