|
Journals in DBLP
- Giuliano Antoniol, Jens Krinke, Paolo Tonella
Special issue on Source code analysis and manipulation. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2006, v:62, n:3, pp:205-208 [Journal]
- Hongyu Zhang, Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel
Using source transformation to test and model check implicit-invocation systems. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2006, v:62, n:3, pp:209-227 [Journal]
- David Binkley, Sebastian Danicic, Tibor Gyimóthy, Mark Harman, Ákos Kiss, Bogdan Korel
A formalisation of the relationship between forms of program slicing. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2006, v:62, n:3, pp:228-252 [Journal]
- Peter Müller, Arnd Poetzsch-Heffter, Gary T. Leavens
Modular invariants for layered object structures. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2006, v:62, n:3, pp:253-286 [Journal]
- Niels P. Veerman
Automated mass maintenance of a software portfolio. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 2006, v:62, n:3, pp:287-317 [Journal]
|