default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM Transactions on Software Engineering and Methodology, Volume 21
Volume 21, Number 1, December 2011
- Ali Ebnenasir, Sandeep S. Kulkarni:
Feasibility of Stepwise Design of Multitolerant Programs. 1:1-1:49 - Matthew Arnold, Martin T. Vechev, Eran Yahav:
QVM: An Efficient Runtime for Detecting Defects in Deployed Systems. 2:1-2:35 - Eli Tilevich
, Sriram Gopal:
Expressive and Extensible Parameter Passing for Distributed Object Systems. 3:1-3:26 - Susan Elliott Sim, Medha Umarji, Sukanya Ratanotayanon, Cristina V. Lopes:
How Well Do Search Engines Support Code Retrieval on the Web? 4:1-4:25 - Madeline Diep, Matthew B. Dwyer, Sebastian G. Elbaum:
Lattice-Based Sampling for Path Property Monitoring. 5:1-5:43 - Martin Erwig, Eric Walkingshaw:
The Choice Calculus: A Representation for Software Variation. 6:1-6:27
Volume 21, Number 2, March 2012
- David Notkin:
Editorial. 7:1-7:2 - Jehad Al-Dallal, Lionel C. Briand:
A Precise Method-Method Interaction-Based Cohesion Metric for Object-Oriented Classes. 8:1-8:34 - Dario Fischbein, Nicolás D'Ippolito, Greg Brunet, Marsha Chechik, Sebastián Uchitel:
Weak Alphabet Merging of Partial Behavior Models. 9:1-9:47 - Anders Mattsson, Brian Fitzgerald, Björn Lundell, Brian Lings:
An Approach for Modeling Architectural Design Rules in UML and its Application to Embedded Software. 10:1-10:29 - Devdatta Kulkarni, Tanvir Ahmed, Anand Tripathi:
A Generative Programming Framework for Context-Aware CSCW Applications. 11:1-11:35 - Abhik Roychoudhury, Ankit Goel, Bikram Sengupta:
Symbolic Message Sequence Charts. 12:1-12:44 - Anna Queralt, Ernest Teniente:
Verification and Validation of UML Conceptual Schemas with OCL Constraints. 13:1-13:41
Volume 21, Number 3, June 2012
- Christian Kästner, Sven Apel, Thomas Thüm, Gunter Saake:
Type checking annotation-based product lines. 14:1-14:39 - Macneil Shonle, William G. Griswold, Sorin Lerner:
A framework for the checking and refactoring of crosscutting concepts. 15:1-15:47 - Alessandro Fantechi, Stefania Gnesi, Alessandro Lapadula, Franco Mazzanti, Rosario Pugliese, Francesco Tiezzi:
A logical verification methodology for service-oriented computing. 16:1-16:46 - Jaymie Strecker, Atif M. Memon:
Accounting for defect characteristics in evaluations of testing techniques. 17:1-17:43 - Paul Jennings, Arka P. Ghosh, Samik Basu:
A two-phase approximation for model checking probabilistic unbounded until properties of probabilistic systems. 18:1-18:35 - Dawei Qi, Abhik Roychoudhury, Zhenkai Liang, Kapil Vaswani:
DARWIN: An approach to debugging evolving programs. 19:1-19:29
Volume 21, Number 4, November 2012
- Reid Holmes, Robert J. Walker:
Systematizing pragmatic software reuse. 20:1-20:44 - Yuanfang Cai, Kevin J. Sullivan:
A formal model for automated software modularity and evolvability analysis. 21:1-21:29 - Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta:
Validation of requirements for hybrid systems: A formal approach. 22:1-22:34 - Denys Poshyvanyk, Malcom Gethers, Andrian Marcus:
Concept location using formal concept analysis and information retrieval. 23:1-23:34 - Andrew Meneely, Ben H. Smith, Laurie A. Williams:
Validating software metrics: A spectrum of philosophies. 24:1-24:28 - Adam Kiezun, Vijay Ganesh, Shay Artzi, Philip J. Guo, Pieter Hooimeijer, Michael D. Ernst:
HAMPI: A solver for word equations over strings, regular expressions, and context-free grammars. 25:1-25:28
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 2025-04-15 21:26 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:
