Volume 16,
Number 1,
March 2009
- Alexander Egyed, Bernd Fischer:
Guest editors' introduction.
1-2
- Yiqiao Wang, Sheila A. McIlraith, Yijun Yu, John Mylopoulos:
Monitoring and diagnosing software requirements.
3-35
- Greg Little, Robert C. Miller:
Keyword programming in Java.
37-71
- Yannis Smaragdakis, Christoph Csallner, Ranjith Subramanian:
Scalable satisfiability checking and test data generation from modeling diagrams.
73-99
- Michal Antkiewicz, Thiago T. Bartolomei, Krzysztof Czarnecki:
Fast extraction of high-quality framework-specific models from application code.
101-144
- Shay Artzi, Adam Kiezun, Jaime Quinonez, Michael D. Ernst:
Parameter reference immutability: formal definition, inference tool, and comparison.
145-192
Volume 16,
Number 2,
June 2009
Special Issue:
JASE on Source Code Analysis and Manipulation
- Michael W. Godfrey, Bogdan Korel:
Editorial for Special Issue of JASE on Source Code Analysis and Manipulation.
193-195
- Dennis Giffhorn, Christian Hammer:
Precise slicing of concurrent programs.
197-234
- Mariano Ceccato, Mila Dalla Preda, Jasvir Nagra, Christian S. Collberg, Paolo Tonella:
Trading-off security and performance in barrier slicing for remote software entrusting.
235-261
- Andreas Lochbihler, Gregor Snelting:
On temporal path conditions in dependence graphs.
263-290
- Eva Magnusson, Torbjörn Ekman, Görel Hedin:
Demand-driven evaluation of collection attributes.
291-322
- Marius Marin, Arie van Deursen, Leon Moonen, Robin van der Rijst:
An integrated crosscutting concern migration strategy and its semi-automated application to JHotDraw.
323-356
- Jason Sawin, Atanas Rountev:
Improving static resolution of dynamic class loading in Java using dynamically gathered environment information.
357-381
Volume 16,
Numbers 3-4,
December 2009
Copyright © Tue Nov 10 00:29:55 2009
by Michael Ley (ley@uni-trier.de)
