4469 search results - page 358 / 894 » Dynamic Program Slicing |
112
click to vote
CGO
2003
IEEE
15 years 8 months ago
2003
IEEE
Software dynamic translation (SDT) is a technology that permits the modification of an executing program’s instructions. In recent years, SDT has received increased attention, f...
123
click to vote
UML
2000
Springer
15 years 6 months ago
2000
Springer
In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static met...
112
Voted
STTT
2010
15 years 29 days ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
124
Voted
TSE
2010
15 years 28 days ago
2010
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...
127
click to vote
CGO
2010
IEEE
15 years 18 days ago
2010
IEEE
Dynamic memory allocation is widely used in modern programs. General-purpose heap allocators often focus more on reducing their run-time overhead and memory space utilization, but...