ACM Transactions on Software Engineering and Methodology (TOSEM), Volume 17

Volume 17, Number 1, December 2007

- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/Notkin07b
- ask others
David Notkin: Editorial.
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/MeyersB07
- ask others
Timothy M. Meyers, David Binkley: An empirical study of slice-based cohesion and coupling metrics.
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/MarinDM07
- ask others
Marius Marin, Arie van Deursen, Leon Moonen: Identifying Crosscutting Concerns Using Fan-In Analysis.
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/FriasPGA07
- ask others
Marcelo F. Frias, Carlos López Pombo, Juan P. Galeotti, Nazareno Aguirre: Efficient Analysis of DynAlloy Specifications.

Volume 17, Number 2, April 2008

- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/Notkin08
- ask others
David Notkin: Editorial.
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/NotkinP08
- ask others
David Notkin, Mauro Pezzè: Introduction to the special section from the ACM international symposium on software testing and analysis (ISSTA 2006).
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/CobleighAC08
- ask others
Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke: Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning.
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/CsallnerSX08
- ask others
Christoph Csallner, Yannis Smaragdakis, Tao Xie: DSD-Crasher: A hybrid analysis tool for bug finding.
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/FinkYDRG08
- ask others
Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay: Effective typestate verification in the presence of aliasing.
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/SiegelMAC08
- ask others
Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke: Combining symbolic execution with model checking to verify parallel numerical programs.
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/Tiwana08
- ask others
Amrit Tiwana: Impact of classes of development coordination tools on software development performance: A multinational empirical study.

Volume 17, Number 3, June 2008

- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/Notkin08a
- ask others
David Notkin: Editorial.
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/MohagheghiC08
- ask others
Parastoo Mohagheghi, Reidar Conradi: An empirical investigation of software reuse benefits in a large telecom product.
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/HenkelRD08
- ask others
Johannes Henkel, Christoph Reichenbach, Amer Diwan: Developing and debugging algebraic specifications for Java classes.
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/GencelD08
- ask others
Çigdem Gencel, Onur Demirörs: Functional size measurement revisited.
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/ChenM08
- ask others
Tsong Yueh Chen, Robert G. Merkel: An upper bound on software testing effectiveness.

Volume 17, Number 4, August 2007

- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/JaloteMS07
- ask others
Pankaj Jalote, Brendan Murphy, Vibhu Saujanya Sharma: Post-release reliability growth in software products.
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/Robillard07
- ask others
Martin P. Robillard: Topology analysis of software dependencies.
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/EmmerichAS07
- ask others
Wolfgang Emmerich, Mikio Aoyama, Joe Sventek: The impact of research on the development of middleware technology.
- view
  - electronic edition @ acm.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/tosem/GruschkeJ07
- ask others
Tanja M. Gruschke, Magne Jørgensen: The role of outcome feedback in improving the uncertainty assessment of software development effort estimates.