Searched for: TUD-SERG-2009-033
(1 - 2 of 2)
document
Taverne, P. (author), Pronk, C. (author)
Accepted for publication in the Proceedings of the 11th International Conference on Formal Engineering Methods, ICFEM 2009. This paper presents a case study in modeling and verifying a POSIX-like file store for Flash memory. This work fits in the context of Hoare’s verification challenge and, in particular, Joshi and Holzmann’s mini-challenge to...
report 2009
document
Cornelissen, S.G.M. (author), Zaidman, A.E. (author), Van Deursen, A. (author), Moonen, L. (author), Koschke, R. (author)
Preprint of paper published in: IEEE Transactions on Software Engineering, 35 (5), 2009; doi:10.1109/TSE.2009.28 Program comprehension is an important activity in software maintenance, as software must be sufficiently understood before it can be properly modified. The study of a program's execution, known as dynamic analysis, has become a common...
report 2008