Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM Transactions on Software Engineering and Methodology (TOSEM), Volume 17
Volume 17, Number 1, December 2007
- David Notkin:
Editorial. 1:1-1:2 - Timothy M. Meyers, David W. Binkley:
An empirical study of slice-based cohesion and coupling metrics. 2:1-2:27 - Marius Marin, Arie van Deursen
, Leon Moonen:
Identifying Crosscutting Concerns Using Fan-In Analysis. 3:1-3:37 - Marcelo F. Frias, Carlos López Pombo, Juan P. Galeotti, Nazareno Aguirre:
Efficient Analysis of DynAlloy Specifications. 4:1-4:34
Volume 17, Number 2, April 2008
- David Notkin:
Editorial. 5:1 - David Notkin, Mauro Pezzè:
Introduction to the special section from the ACM international symposium on software testing and analysis (ISSTA 2006). 6:1-6:2 - Jamieson M. Cobleigh, George S. Avrunin, Lori A. Clarke:
Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning. 7:1-7:52 - Christoph Csallner, Yannis Smaragdakis, Tao Xie:
DSD-Crasher: A hybrid analysis tool for bug finding. 8:1-8:37 - Stephen J. Fink, Eran Yahav, Nurit Dor, G. Ramalingam, Emmanuel Geay:
Effective typestate verification in the presence of aliasing. 9:1-9:34 - Stephen F. Siegel, Anastasia Mironova, George S. Avrunin, Lori A. Clarke:
Combining symbolic execution with model checking to verify parallel numerical programs. 10:1-10:34 - Amrit Tiwana:
Impact of classes of development coordination tools on software development performance: A multinational empirical study. 11:1-11:47
Volume 17, Number 3, June 2008
- David Notkin:
Editorial. 12:1-12:2 - Parastoo Mohagheghi, Reidar Conradi:
An empirical investigation of software reuse benefits in a large telecom product. 13:1-13:31 - Johannes Henkel, Christoph Reichenbach, Amer Diwan:
Developing and debugging algebraic specifications for Java classes. 14:1-14:37 - Çigdem Gencel, Onur Demirörs:
Functional size measurement revisited. 15:1-15:36 - Tsong Yueh Chen, Robert G. Merkel:
An upper bound on software testing effectiveness. 16:1-16:27
Volume 17, Number 4, August 2007
- Pankaj Jalote, Brendan Murphy, Vibhu Saujanya Sharma:
Post-release reliability growth in software products. 17:1-17:20 - Martin P. Robillard:
Topology analysis of software dependencies. 18:1-18:36 - Wolfgang Emmerich, Mikio Aoyama, Joe Sventek:
The impact of research on the development of middleware technology. 19:1-19:48 - Tanja M. Gruschke, Magne Jørgensen:
The role of outcome feedback in improving the uncertainty assessment of software development effort estimates. 20:1-20:35
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-13 20:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
