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 16
Volume 16, Number 1, February 2007
- David Notkin:
Editorial. 1 - Carlo Ghezzi:
Editorial. 2 - Martin P. Robillard, Gail C. Murphy:
Representing concerns in source code. 3 - Qing Xie, Atif M. Memon:
Designing and comparing automated test oracles for GUI-based software applications. 4 - Manfred Broy, Ingolf H. Krüger, Michael Meisinger:
A formal model of services. 5
Volume 16, Number 2, April 2007
- David Notkin:
Editorial. 6 - Shriram Krishnamurthi
, Kathi Fisler:
Foundations of incremental aspect model-checking. 7 - David W. Binkley, Nicolas Gold, Mark Harman:
An empirical study of static program slice size. 8 - Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin:
Polychronous design of embedded real-time applications. 9
Volume 16, Number 3, July 2007
- Kalpesh Kapoor, Jonathan P. Bowen:
Test conditions for fault classes in Boolean specifications. 10 - Richard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff:
Metamodel-based model conformance and multiview consistency checking. 11 - Samik Basu, Scott A. Smolka:
Model checking the Java metalocking algorithm. 12
Volume 16, Number 4, September 2007
- Andrea De Lucia, Fausto Fasano, Rocco Oliveto, Genoveffa Tortora:
Recovering traceability links in software artifact management systems using information retrieval methods. 13 - Gary Wassermann, Carl Gould, Zhendong Su, Premkumar T. Devanbu:
Static checking of dynamically generated queries in database applications. 14 - Luciano Baresi, Sandro Morasca:
Three empirical studies on estimating the design effort of Web applications. 15
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-04-22 20:03 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:
