default search action
ACM 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
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.