Table of contents for issues of ACM Transactions on Software Engineering and Methodology

Last update: Sat Jun 9 07:48:39 MDT 2018                Valid HTML 3.2!

Volume 1, Number 1, January, 1992
Volume 1, Number 2, April, 1992
Volume 1, Number 3, July, 1992
Volume 1, Number 4, October, 1992
Volume 2, Number 1, January, 1993
Volume 2, Number 2, April, 1993
Volume 2, Number 3, July, 1993
Volume 2, Number 4, October, 1993
Volume 3, Number 1, January, 1994
Volume 3, Number 2, April, 1994
Volume 3, Number 3, July, 1994
Volume 3, Number 4, October, 1994
Volume 4, Number 1, January, 1995
Volume 4, Number 2, April, 1995
Volume 4, Number 3, July, 1995
Volume 4, Number 4, October, 1995
Volume 5, Number 1, January, 1996
Volume 5, Number 2, April, 1996
Volume 5, Number 3, July, 1996
Volume 5, Number 4, October, 1996
Volume 6, Number 1, January, 1997
Volume 6, Number 2, April, 1997
Volume 6, Number 3, July, 1997
Volume 6, Number 4, October, 1997
Volume 7, Number 1, January, 1998
Volume 7, Number 2, April, 1998
Volume 7, Number 3, July, 1998
Volume 7, Number 4, October, 1998
Volume 8, Number 1, January, 1999
Volume 8, Number 2, April, 1999
Volume 8, Number 3, July, 1999
Volume 8, Number 4, October, 1999
Volume 9, Number 1, January, 2000
Volume 9, Number 2, April, 2000
Volume 9, Number 3, July, 2000
Volume 9, Number 4, October, 2000
Volume 10, Number 1, January, 2001
Volume 10, Number 2, April, 2001
Volume 10, Number 3, July, 2001
Volume 10, Number 4, October, 2001
Volume 11, Number 1, January, 2002
Volume 11, Number 2, 2002
Volume 11, Number 3, 2002
Volume 11, Number 4, 2002
Volume 12, Number 1, 2003
Volume 12, Number 2, April, 2003
Volume 12, Number 3, July, 2003
Volume 12, Number 4, October, 2003
Volume 13, Number 1, January, 2004
Volume 13, Number 2, April, 2004
Volume 13, Number 3, July, 2004
Volume 13, Number 4, October, 2004
Volume 14, Number 1, January, 2005
Volume 14, Number 2, April, 2005
Volume 14, Number 3, July, 2005
Volume 14, Number 4, October, 2005
Volume 15, Number 1, January, 2006
Volume 15, Number 2, April, 2006
Volume 15, Number 3, July, 2006
Volume 15, Number 4, October, 2006
Volume 16, Number 1, February, 2007
Volume 16, Number 2, April, 2007
Volume 16, Number 3, July, 2007
Volume 16, Number 4, September, 2007
Volume 17, Number 1, December, 2007
Volume 17, Number 2, April, 2008
Volume 17, Number 3, June, 2008
Volume 17, Number 4, August, 2008
Volume 18, Number 1, September, 2008
Volume 18, Number 2, November, 2008
Volume 18, Number 3, May, 2009
Volume 18, Number 4, July, 2009
Volume 19, Number 1, August, 2009
Volume 19, Number 2, October, 2009
Volume 19, Number 3, January, 2010
Volume 19, Number 4, April, 2010
Volume 20, Number 1, June, 2010
Volume 20, Number 2, August, 2010
Volume 20, Number 3, August, 2011
Volume 20, Number 4, September, 2011
Volume 21, Number 1, December, 2011
Volume 21, Number 2, March, 2012
Volume 21, Number 3, June, 2012
Volume 21, Number 4, November, 2012
Volume 22, Number 1, February, 2013
Volume 22, Number 2, March, 2013
Volume 22, Number 3, July, 2013
Volume 22, Number 4, October, 2013
Volume 23, Number 1, February, 2014
Volume 23, Number 2, March, 2014
Volume 23, Number 3, May, 2014
Volume 23, Number 4, August, 2014
Volume 24, Number 1, September, 2014
Volume 24, Number 2, December, 2014
Volume 24, Number 3, May, 2015
Volume 24, Number 4, August, 2015
Volume 25, Number 1, December, 2015
Volume 25, Number 2, May, 2016
Volume 25, Number 3, August, 2016
Volume 25, Number 4, May, 2017
Volume 26, Number 1, July, 2017
Volume 26, Number 2, October, 2017
Volume 26, Number 3, January, 2018
Volume 26, Number 4, February, 2018
Volume 27, Number 1, June, 2018


ACM Transactions on Software Engineering and Methodology
Volume 1, Number 1, January, 1992

            A. Jefferson Offutt   Investigations of the software testing
                                  coupling effect  . . . . . . . . . . . . 5--20
            Kurt M. Olender and   
              Leon J. Osterweil   Interprocedural static analysis of
                                  sequencing constraints . . . . . . . . . 21--52
           Victor R. Basili and   
         Gianluigi Caldiera and   
               Giovanni Cantone   A reference architecture for the
                                  component factory  . . . . . . . . . . . 53--80
         Carmen J. Trammell and   
             Leon H. Binder and   
             Cathrine E. Snyder   The automated production control
                                  documentation system: a case study in
                                  cleanroom software engineering . . . . . 81--94
         Robert A. Ballance and   
            Susan L. Graham and   
       Michael L. Van de Vanter   The Pan language-based editing system    95--127

ACM Transactions on Software Engineering and Methodology
Volume 1, Number 2, April, 1992

                  G. Engels and   
               C. Lewerentz and   
                    M. Nagl and   
            W. Schäfer and   
                 A. Schürr   Building integrated software development
                                  environments. Part I tool specification  135--167
                 James D. Kiper   Structural testing of rule-based expert
                                  systems  . . . . . . . . . . . . . . . . 168--187
       G. Michael Schneider and   
              Johnny Martin and   
                     W. T. Tsai   An experimental study of fault detection
                                  in user requirements documents . . . . . 188--204

ACM Transactions on Software Engineering and Methodology
Volume 1, Number 3, July, 1992

           Eduardo Ostertag and   
              James Hendler and   
Rubén Prieto Díaz and   
                Christine Braun   Computing similarity in a reuse library
                                  system: an AI-based approach . . . . . . 205--228
          Kevin J. Sullivan and   
                   David Notkin   Reconciling environment integration and
                                  software evolution . . . . . . . . . . . 229--268
        Shmuel Tyszberowicz and   
                 Amiram Yehudai   OBSERV --- a prototyping language and
                                  environment  . . . . . . . . . . . . . . 269--309
                   Wuu Yang and   
              Susan Horwitz and   
                    Thomas Reps   A program integration algorithm that
                                  accommodates semantics-preserving
                                  transformations  . . . . . . . . . . . . 310--354

ACM Transactions on Software Engineering and Methodology
Volume 1, Number 4, October, 1992

                 Don Batory and   
                  Sean O'Malley   The design and implementation of
                                  hierarchical software systems with
                                  reusable components  . . . . . . . . . . 355--398
                David Harel and   
              Chaim-arie Kahana   On statecharts with overlapping  . . . . 399--421
             Steven J. Zeil and   
             Faten H. Afifi and   
                   Lee J. White   Detection of linear errors via domain
                                  testing  . . . . . . . . . . . . . . . . 422--451


ACM Transactions on Software Engineering and Methodology
Volume 2, Number 1, January, 1993

                   Manfred Broy   Functional specification of
                                  time-sensitive communicating systems . . 1--46
             Gail E. Kaiser and   
                Simon M. Kaplan   Parallel and distributed incremental
                                  attribute evaluation algorithms for
                                  multiuser software development
                                  environments . . . . . . . . . . . . . . 47--92
         James A. Whittaker and   
                    J. H. Poore   Markov analysis of software
                                  specifications . . . . . . . . . . . . . 93--106

ACM Transactions on Software Engineering and Methodology
Volume 2, Number 2, April, 1993

         Richard A. DeMillo and   
            A. Jefferson Offutt   Experimental results from an automatic
                                  test case generator  . . . . . . . . . . 109--127
          Yishai A. Feldman and   
                 Haim Schneider   Simulating reactive systems by deduction 128--175
                       P. Klint   A meta-environment for generating
                                  programming environments . . . . . . . . 176--201

ACM Transactions on Software Engineering and Methodology
Volume 2, Number 3, July, 1993

               Paolo Ciancarini   Coordinating rule-based software
                                  processes with ESP . . . . . . . . . . . 203--227
        William G. Griswold and   
                   David Notkin   Automated assistance for program
                                  restructuring  . . . . . . . . . . . . . 228--269
            M. Jean Harrold and   
                Rajiv Gupta and   
                 Mary Lou Soffa   A methodology for controlling the size
                                  of a test suite  . . . . . . . . . . . . 270--285
             Andy Podgurski and   
                    Lynn Pierce   Retrieving reusable software by sampling
                                  behavior . . . . . . . . . . . . . . . . 286--303

ACM Transactions on Software Engineering and Methodology
Volume 2, Number 4, October, 1993

                Laura K. Dillon   A visual execution model for Ada tasking 311--345
                  Farn Wang and   
            Aloysius K. Mok and   
               E. Allen Emerson   Distributed real-time system
                                  specification and verification in APTL   346--378
                Pamela Zave and   
                Michael Jackson   Conjunction as composition . . . . . . . 379--411


ACM Transactions on Software Engineering and Methodology
Volume 3, Number 1, January, 1994

                 Rolf Adams and   
               Walter Tichy and   
                Annette Weinert   The cost of selective recompilation and
                                  environment processing . . . . . . . . . 3--28
   István Forgács   Double iterative framework for
                                  flow-sensitive interprocedural data flow
                                  analysis . . . . . . . . . . . . . . . . 29--55
            Angelo Morzenti and   
           Pierluigi San Pietro   Object-oriented logical specification of
                                  time-critical systems  . . . . . . . . . 56--98

ACM Transactions on Software Engineering and Methodology
Volume 3, Number 2, April, 1994

             Roong-Ko Doong and   
              Phyllis G. Frankl   The ASTOOT approach to testing
                                  object-oriented programs . . . . . . . . 101--130
               L. K. Dillon and   
                   G. Kutty and   
                L. E. Moser and   
        P. M. Melliar-Smith and   
              Y. S. Ramakrishna   A graphical interval logic for
                                  specifying concurrent systems  . . . . . 131--165
  Francesco Parisi-Presicce and   
            Alfonso Pierantonio   An algebraic theory of class
                                  specification  . . . . . . . . . . . . . 166--199

ACM Transactions on Software Engineering and Methodology
Volume 3, Number 3, July, 1994

             Philip J. Bernhard   A reduced test suite for protocol
                                  conformance testing  . . . . . . . . . . 201--220
              Yoonsik Cheon and   
                Gary T. Leavens   The Larch/Smalltalk interface
                                  specification language . . . . . . . . . 221--253
            Bingchiang Jeng and   
              Elaine J. Weyuker   A simplified domain-testing strategy . . 254--270

ACM Transactions on Software Engineering and Methodology
Volume 3, Number 4, October, 1994

         Christian Creveuil and   
            Gruia-Catalin Roman   Formal specification and design of a
                                  message router . . . . . . . . . . . . . 271--307
              Miguel Felder and   
                Angelo Morzenti   Validating real-time systems by
                                  history-checking TRIO specifications . . 308--339
                    S. Duri and   
                     U. Buy and   
             R. Devarapalli and   
                    S. M. Shatz   Application and experimental evaluation
                                  of state space reduction methods for
                                  deadlock analysis in Ada . . . . . . . . 340--380


ACM Transactions on Software Engineering and Methodology
Volume 4, Number 1, January, 1995

              David Binkley and   
              Susan Horwitz and   
                    Thomas Reps   Program integration for languages with
                                  procedure calls  . . . . . . . . . . . . 3--35
               W. E. Howden and   
                   Yudong Huang   Software trustability analysis . . . . . 36--64
               Michal Young and   
          Richard N. Taylor and   
            David L. Levine and   
               Kari A. Nies and   
                 Debra Brodbeck   A concurrency analysis tool suite for
                                  Ada programs: rationale, design, and
                                  preliminary experience . . . . . . . . . 65--106

ACM Transactions on Software Engineering and Methodology
Volume 4, Number 2, April, 1995

                 Daniel Jackson   Aspect: detecting bugs with abstract
                                  dependences  . . . . . . . . . . . . . . 109--145
      Amy Moormann Zaremski and   
              Jeannette M. Wing   Signature matching: a tool for using
                                  software libraries . . . . . . . . . . . 146--170
              Mauro Pezz\`e and   
          Richard N. Taylor and   
                   Michal Young   Graph models for reachability analysis
                                  of concurrent programs . . . . . . . . . 171--213
                 Bevin R. Brett   Comments on ``The cost of selective
                                  recompilation and environment
                                  processing'' . . . . . . . . . . . . . . 214--216
               Walter Tichy and   
                 Rolf Adams and   
                Annette Weinert   Authors' response  . . . . . . . . . . . 217--219

ACM Transactions on Software Engineering and Methodology
Volume 4, Number 3, July, 1995

          Stanley M. Sutton and   
          Dennis Heimbigner and   
              Leon J. Osterweil   APPL/A: a language for software process
                                  programming  . . . . . . . . . . . . . . 221--286
            H. Rebecca Callison   A time-sensitive object model for
                                  real-time systems  . . . . . . . . . . . 287--317

ACM Transactions on Software Engineering and Methodology
Volume 4, Number 4, October, 1995

           Gregory D. Abowd and   
               Robert Allen and   
                   David Garlan   Formalizing style to understand
                                  descriptions of software architecture    319--364
                 Daniel Jackson   Structuring Z specifications with views  365--389


ACM Transactions on Software Engineering and Methodology
Volume 5, Number 1, January, 1996

         Mark van den Brand and   
                   Eelco Visser   Generation of formatters for
                                  context-free languages . . . . . . . . . 1--41
       Premkumar T. Devanbu and   
         David S. Rosenblum and   
              Alexander L. Wolf   Generating testing and analysis tools
                                  with Aria  . . . . . . . . . . . . . . . 42--62
             Roger Ferguson and   
                   Bogdan Korel   The chaining approach for software test
                                  data generation  . . . . . . . . . . . . 63--86

ACM Transactions on Software Engineering and Methodology
Volume 5, Number 2, April, 1996

              Elaine J. Weyuker   Using failure cost information for
                                  testing and reliability assessment . . . 87--98
        A. Jefferson Offutt and   
                  Ammei Lee and   
            Gregg Rothermel and   
            Roland H. Untch and   
                 Christian Zapf   An experimental determination of
                                  sufficient mutant operators  . . . . . . 99--118
        Francesco Bergadano and   
                Daniele Gunetti   Testing by means of inductive program
                                  learning . . . . . . . . . . . . . . . . 119--145
                Gregor Snelting   Reengineering of configurations based on
                                  mathematical concept analysis  . . . . . 146--189

ACM Transactions on Software Engineering and Methodology
Volume 5, Number 3, July, 1996

           Gianpaolo Cugola and   
        Elisabetta Di Nitto and   
           Alfonso Fuggetta and   
                   Carlo Ghezzi   A framework for formalizing
                                  inconsistencies and deviations in
                                  human-centered systems . . . . . . . . . 191--230
     Constance L. Heitmeyer and   
          Ralph D. Jeffords and   
                 Bruce G. Labaw   Automated consistency checking of
                                  requirements specifications  . . . . . . 231--261
             Gail C. Murphy and   
                   David Notkin   Lightweight lexical source model
                                  extraction . . . . . . . . . . . . . . . 262--292

ACM Transactions on Software Engineering and Methodology
Volume 5, Number 4, October, 1996

                David Harel and   
                   Amnon Naamad   The STATEMATE semantics of statecharts   293--333
           Shing Chi Cheung and   
                    Jeff Kramer   Context constraints for compositional
                                  reachability analysis  . . . . . . . . . 334--377
          Daniel J. Barrett and   
             Lori A. Clarke and   
               Peri L. Tarr and   
              Alexander E. Wise   A framework for event-based software
                                  integration  . . . . . . . . . . . . . . 378--421
                      Anonymous   Author Index . . . . . . . . . . . . . . 422--423


ACM Transactions on Software Engineering and Methodology
Volume 6, Number 1, January, 1997

                Pamela Zave and   
                Michael Jackson   Four dark corners of requirements
                                  engineering  . . . . . . . . . . . . . . 1--30
                L. E. Moser and   
          Y. S. Ramakrishna and   
                   G. Kutty and   
        P. M. Melliar-Smith and   
                   L. K. Dillon   A graphical environment for the design
                                  of concurrent real-time systems  . . . . 31--79
                Laura K. Dillon   Task dependence and termination in Ada   80--110

ACM Transactions on Software Engineering and Methodology
Volume 6, Number 2, April, 1997

                Scott Henninger   An evolutionary approach to constructing
                                  effective software reuse repositories    111--140
          Premkumar Devanbu and   
                  Mark A. Jones   The use of description logics in KBSE
                                  systems  . . . . . . . . . . . . . . . . 141--172
            Gregg Rothermel and   
              Mary Jean Harrold   A safe, efficient regression test
                                  selection technique  . . . . . . . . . . 173--210

ACM Transactions on Software Engineering and Methodology
Volume 6, Number 3, July, 1997

               Robert Allen and   
                   David Garlan   A formal basis for architectural
                                  connection . . . . . . . . . . . . . . . 213--249
        Gruia-Catalin Roman and   
            Peter J. McCann and   
                 Jerome Y. Plun   Mobile UNITY: reasoning and
                                  specification in mobile computing  . . . 250--282
          Vincenzo Ambriola and   
             Reidar Conradi and   
               Alfonso Fuggetta   Assessing process-centered software
                                  engineering environments . . . . . . . . 283--328
             Alexandre Petrenko   Comments on ``A reduced test suite for
                                  protocol conformance testing'' . . . . . 329--331

ACM Transactions on Software Engineering and Methodology
Volume 6, Number 4, October, 1997

      Amy Moormann Zaremski and   
              Jeannette M. Wing   Specification matching of software
                                  components . . . . . . . . . . . . . . . 333--369
                Rajiv Gupta and   
             Mary Lou Soffa and   
                    John Howard   Hybrid slicing: integrating dynamic
                                  information with static analysis . . . . 370--397
             Andreas Zeller and   
                Gregor Snelting   Unified versioning through feature logic 398--441


ACM Transactions on Software Engineering and Methodology
Volume 7, Number 1, January, 1998

             John C. Doppke and   
          Dennis Heimbigner and   
              Alexander L. Wolf   Software process modeling and execution
                                  within virtual environments  . . . . . . 1--40
                Adam Porter and   
                 Harvey Siy and   
              Audris Mockus and   
                 Lawrence Votta   Understanding the sources of variation
                                  in software inspections  . . . . . . . . 41--79
             Luciano Baresi and   
                  Mauro Pezz\`e   Toward formalizing structured analysis   80--107

ACM Transactions on Software Engineering and Methodology
Volume 7, Number 2, April, 1998

         Robert W. Bowdidge and   
            William G. Griswold   Supporting the restructuring of data
                                  abstractions through manipulation of a
                                  program visualization  . . . . . . . . . 109--157
             Gail C. Murphy and   
               David Notkin and   
        William G. Griswold and   
                   Erica S. Lan   An empirical study of static call graph
                                  extractors . . . . . . . . . . . . . . . 158--191
              James J. Hunt and   
              Kiem-Phong Vo and   
                Walter F. Tichy   Delta algorithms an empirical analysis   192--214

ACM Transactions on Software Engineering and Methodology
Volume 7, Number 3, July, 1998

           Jonathan E. Cook and   
              Alexander L. Wolf   Discovering models of software processes
                                  from event-based data  . . . . . . . . . 215--249
               Huo Yan Chen and   
                  T. H. Tse and   
                 F. T. Chan and   
                     T. Y. Chen   In black and white: an integrated
                                  approach to class-level testing of
                                  object-oriented programs . . . . . . . . 250--295
                Judith Crow and   
                    Ben Di Vito   Formalizing space shuttle software
                                  requirements: four case studies  . . . . 296--332
               Robert Allen and   
                   David Garlan   Errata: ``A formal basis for
                                  architectural connection'' . . . . . . . 333--334

ACM Transactions on Software Engineering and Methodology
Volume 7, Number 4, October, 1998

             Anthony Hunter and   
                Bashar Nuseibeh   Managing inconsistent specifications:
                                  reasoning, analysis, and action  . . . . 335--367
     Maria Letizia Jaccheri and   
          Gian Pietro Picco and   
                  Patricia Lago   Eliciting software process models with
                                  the E3 language  . . . . . . . . . . . . 368--410
           Alfonso Fuggetta and   
              Luigi Lavazza and   
             Sandro Morasca and   
              Stefano Cinti and   
        Giandomenico Oldano and   
                    Elena Orazi   Applying GQM in an industrial software
                                  factory  . . . . . . . . . . . . . . . . 411--448
              James J. Hunt and   
                Walter F. Tichy   Addendum to ``Delta algorithms: an
                                  empirical analysis'' . . . . . . . . . . 449--449


ACM Transactions on Software Engineering and Methodology
Volume 8, Number 1, January, 1999

            Jonathan S. Ostroff   Composition and refinement of discrete
                                  real-time systems  . . . . . . . . . . . 1--48
           Shing Chi Cheung and   
                    Jeff Kramer   Checking safety properties using
                                  compositional reachability analysis  . . 49--78
        Emanuele Ciapessoni and   
      Piergiorgio Mirandola and   
      Alberto Coen-Porisini and   
             Dino Mandrioli and   
                Angelo Morzenti   From formal models to formally based
                                  methods: an industrial experience  . . . 79--113

ACM Transactions on Software Engineering and Methodology
Volume 8, Number 2, April, 1999

            Peter J. McCann and   
            Gruia-Catalin Roman   Modeling mobile IP in mobile UNITY . . . 115--146
           Jonathan E. Cook and   
              Alexander L. Wolf   Software process validation:
                                  quantitatively measuring the
                                  correspondence of a process to a model   147--176
           Premkumar T. Devanbu   GENOA --- a customizable,
                                  front-end-retargetable source code
                                  analysis framework . . . . . . . . . . . 177--212

ACM Transactions on Software Engineering and Methodology
Volume 8, Number 3, July, 1999

                 E. Damiani and   
               M. G. Fugini and   
                  C. Bellettini   A hierarchy-aware approach to faceted
                                  classification of objected-oriented
                                  components . . . . . . . . . . . . . . . 215--262
             Andy Podgurski and   
               Wassim Masri and   
           Yolanda McCleese and   
           Francis G. Wolff and   
                   Charles Yang   Estimation of software reliability by
                                  stratified sampling  . . . . . . . . . . 263--283
Jean-Marc Jézéquel   Reifying variants in configuration
                                  management . . . . . . . . . . . . . . . 284--295

ACM Transactions on Software Engineering and Methodology
Volume 8, Number 4, October, 1999

                Steven P. Reiss   The Desert environment . . . . . . . . . 297--342
                 Klaus Pohl and   
          Klaus Weidenhaupt and   
           Ralf Dömges and   
               Peter Haumer and   
             Matthias Jarke and   
                    Ralf Klamma   PRIME --- toward process-integrated
                                  modeling environments: 1 . . . . . . . . 343--410
                D. Richard Kuhn   Fault classes and error detection
                                  capability of specification-based
                                  testing  . . . . . . . . . . . . . . . . 411--424
                 E. Damiani and   
               M. G. Fugini and   
                  C. Bellettini   Corrigenda: a hierarchy-aware approach
                                  to faceted classification of
                                  object-oriented components . . . . . . . 425--472


ACM Transactions on Software Engineering and Methodology
Volume 9, Number 1, January, 2000

              Tevfik Bultan and   
             Richard Gerber and   
             Christopher League   Composite model-checking: verification
                                  with type-specific symbolic
                                  representations  . . . . . . . . . . . . 3--50
               James C. Corbett   Using shape analysis to reduce
                                  finite-state models of concurrent Java
                                  programs . . . . . . . . . . . . . . . . 51--93
                 Carl A. Gunter   Abstracting dependencies between
                                  software configuration items . . . . . . 94--131

ACM Transactions on Software Engineering and Methodology
Volume 9, Number 2, April, 2000

           A. Prasad Sistla and   
              Viktor Gyuris and   
               E. Allen Emerson   SMC: a symmetry-based model checker for
                                  verification of safety and liveness
                                  properties . . . . . . . . . . . . . . . 133--166
              P. Ciancarini and   
           F. Franzé and   
                     C. Mascolo   Using a coordination language to specify
                                  and analyze systems containing mobile
                                  components . . . . . . . . . . . . . . . 167--198
        Panagiotis Louridas and   
           Pericles Loucopoulos   A generic model for reflective design    199--237

ACM Transactions on Software Engineering and Methodology
Volume 9, Number 3, July, 2000

            Paola Inverardi and   
          Alexander L. Wolf and   
             Daniel Yankelevich   Static checking of system behaviors
                                  using derived component assumptions  . . 239--272
          Naftaly H. Minsky and   
             Victoria Ungureanu   Law-governed interaction: a coordination
                                  and control mechanism for heterogeneous
                                  distributed systems  . . . . . . . . . . 273--305
             Kevin L. Mills and   
                   Hassan Gomaa   A knowledge-based method for inferring
                                  semantic concepts from visual models of
                                  system behavior  . . . . . . . . . . . . 306--337

ACM Transactions on Software Engineering and Methodology
Volume 9, Number 4, October, 2000

             Dan S. Wallach and   
            Andrew W. Appel and   
               Edward W. Felten   SAFKASI: a security mechanism for
                                  language-based systems . . . . . . . . . 341--378
          Philip W. L. Fong and   
              Robert D. Cameron   Proof linking: modular verification of
                                  mobile programs in the presence of lazy,
                                  dynamic linking  . . . . . . . . . . . . 379--409
            Andrew C. Myers and   
                 Barbara Liskov   Protecting privacy using the
                                  decentralized label model  . . . . . . . 410--442
               E. M. Clarke and   
                     S. Jha and   
                     W. Marrero   Verifying security protocols with Brutus 443--487
            Antonio Durante and   
           Riccardo Focardi and   
               Roberto Gorrieri   A compiler for analyzing cryptographic
                                  protocols using noninterference  . . . . 488--528


ACM Transactions on Software Engineering and Methodology
Volume 10, Number 1, January, 2001

                     F. Tip and   
                   T. B. Dinesh   A slicing-based approach for locating
                                  type errors  . . . . . . . . . . . . . . 5--55
               Huo Yan Chen and   
                  T. H. Tse and   
                     T. Y. Chen   TACCLE: a methodology for
                                  object-oriented software testing at the
                                  class and cluster levels . . . . . . . . 56--109
            Gregg Rothermel and   
           Margaret Burnett and   
                   Lixin Li and   
         Christopher Dupuis and   
                Andrei Sheretov   A methodology for testing spreadsheets   110--147

ACM Transactions on Software Engineering and Methodology
Volume 10, Number 2, April, 2001

                 John Bible and   
            Gregg Rothermel and   
             David S. Rosenblum   A comparative study of coarse- and
                                  fine-grained safe regression
                                  test-selection techniques  . . . . . . . 149--183
             Todd L. Graves and   
          Mary Jean Harrold and   
               Jung-Min Kim and   
                Adam Porter and   
                Gregg Rothermel   An empirical study of regression test
                                  selection techniques . . . . . . . . . . 184--208
              Saurabh Sinha and   
          Mary Jean Harrold and   
                Gregg Rothermel   Interprocedural control dependence . . . 209--254

ACM Transactions on Software Engineering and Methodology
Volume 10, Number 3, July, 2001

          Angelo Gargantini and   
                Angelo Morzenti   Automated deductive requirements
                                  analysis of critical systems . . . . . . 255--307
           Dewayne E. Perry and   
              Harvey P. Siy and   
              Lawrence G. Votta   Parallel changes in large-scale software
                                  development: an observational case study 308--337
          Gian Pietro Picco and   
        Gruia-Catalin Roman and   
                Peter J. McCann   Reasoning about code mobility with
                                  mobile UNITY . . . . . . . . . . . . . . 338--395

ACM Transactions on Software Engineering and Methodology
Volume 10, Number 4, October, 2001

             J.-R. Beauvais and   
                  E. Rutten and   
                 T. Gautier and   
               R. Houdebine and   
              P. Le Guernic and   
                     Y.-M. Tang   Modeling statecharts and activitycharts
                                  as signal equations  . . . . . . . . . . 397--451
            Angela Bonifati and   
           Fabiano Cattaneo and   
               Stefano Ceri and   
           Alfonso Fuggetta and   
             Stefano Paraboschi   Designing data marts for data warehouses 452--483


ACM Transactions on Software Engineering and Methodology
Volume 11, Number 1, January, 2002

           Nenad Medvidovic and   
         David S. Rosenblum and   
          David F. Redmiles and   
               Jason E. Robbins   Modeling software architectures in the
                                  Unified Modeling Language  . . . . . . . 2--57
         Tatsuhiro Tsuchiya and   
                   Tohru Kikuno   On fault classes and error detection
                                  capability of specification-based
                                  testing  . . . . . . . . . . . . . . . . 58--62
                Idit Keidar and   
               Roger Khazan and   
                Nancy Lynch and   
                Alex Shvartsman   An inheritance-based technique for
                                  building simulation proofs incrementally 63--91
            Michael Schrefl and   
               Markus Stumptner   Behavior-consistent specialization of
                                  object life cycles . . . . . . . . . . . 92--148

ACM Transactions on Software Engineering and Methodology
Volume 11, Number 2, 2002

              Miguel Felder and   
                  Mauro Pezz\`e   A formal design notation for real-time
                                  systems  . . . . . . . . . . . . . . . . 149--190
                 Don Batory and   
               Clay Johnson and   
              Bob Macdonald and   
                Dale Von Heeder   Achieving extensibility through
                                  product-lines and domain-specific
                                  languages: a case study  . . . . . . . . 191--214
         Yannis Smaragdakis and   
                     Don Batory   Mixin layers: an object-oriented
                                  implementation technique for refinements
                                  and collaboration-based designs  . . . . 215--255
                 Daniel Jackson   Alloy: a lightweight object modelling
                                  notation . . . . . . . . . . . . . . . . 256--290

ACM Transactions on Software Engineering and Methodology
Volume 11, Number 3, 2002

              Alexander P. Pons   Temporal abstract classes and virtual
                                  temporal specifications for real-time
                                  systems  . . . . . . . . . . . . . . . . 291--308
              Audris Mockus and   
            Roy T. Fielding and   
              James D. Herbsleb   Two case studies of open source software
                                  development: Apache and Mozilla  . . . . 309--346
              Donglin Liang and   
              Mary Jean Harrold   Equivalence analysis and its application
                                  in improving the efficiency of program
                                  slicing  . . . . . . . . . . . . . . . . 347--383

ACM Transactions on Software Engineering and Methodology
Volume 11, Number 4, 2002

                      Anonymous   Obituary: Ole-Johan Dahl, 1931--2002;
                                  Edsger Wybe Dijkstra, 1930--2002;
                                  Kristen Nygaard, 1926--2002  . . . . . . 385--385
             Marco Bernardo and   
           Paolo Ciancarini and   
             Lorenzo Donatiello   Architecting families of software
                                  systems with process algebras  . . . . . 386--426
                  R. M. Hierons   Comparing test sets and criteria in the
                                  presence of test hypotheses and fault
                                  domains  . . . . . . . . . . . . . . . . 427--448
                Alexander Egyed   Automated abstraction of class diagrams  449--491


ACM Transactions on Software Engineering and Methodology
Volume 12, Number 1, 2003

               Carlo Ghezzi and   
           Jeffrey N. Magee and   
             Dieter Rombach and   
                 Mary Lou Soffa   Editorial  . . . . . . . . . . . . . . . 1--2
               Amy P. Felty and   
              Kedar S. Namjoshi   Feature specification and automated
                                  conflict detection . . . . . . . . . . . 3--27
         Christian Nentwich and   
          Wolfgang Emmerich and   
        Anthony Finkelstein and   
                   Ernst Ellmer   Flexible consistency checking  . . . . . 28--63
       Antónia Lopes and   
         Michel Wermelinger and   
      José Luiz Fiadeiro   Higher-order architectural connectors    64--104
ACM Transactions on Software Engineering and   
              Methodology staff   Reviewers 2002 . . . . . . . . . . . . . 105--105

ACM Transactions on Software Engineering and Methodology
Volume 12, Number 2, April, 2003

      Alberto Coen-Porisini and   
            Matteo Pradella and   
               Matteo Rossi and   
                 Dino Mandrioli   A formal approach for designing
                                  CORBA-based applications . . . . . . . . 107--151
   Mark G. J. Van Den Brand and   
                 Paul Klint and   
                Jurgen J. Vinju   Term rewriting with traversal functions  152--190
        Martin P. Robillard and   
                 Gail C. Murphy   Static analysis to support the evolution
                                  of exception structure in
                                  object-oriented systems  . . . . . . . . 191--221
               Luca Durante and   
             Riccardo Sisto and   
              Adriano Valenzano   Automatic testing equivalence
                                  verification of spi calculus
                                  specifications . . . . . . . . . . . . . 222--284

ACM Transactions on Software Engineering and Methodology
Volume 12, Number 3, July, 2003

                Yossi Cohen and   
              Yishai A. Feldman   Automatic high-quality reengineering of
                                  database programs by abstraction,
                                  transformation and reimplementation  . . 285--316
          Franco Zambonelli and   
       Nicholas R. Jennings and   
             Michael Wooldridge   Developing multiagent systems: The Gaia
                                  methodology  . . . . . . . . . . . . . . 317--370

ACM Transactions on Software Engineering and Methodology
Volume 12, Number 4, October, 2003

             Marsha Chechik and   
             Benet Devereux and   
          Steve Easterbrook and   
                 Arie Gurfinkel   Multi-valued symbolic model-checking . . 371--408
                 Tim Miller and   
                  Paul Strooper   A framework and tool support for the
                                  systematic testing of model-based
                                  specifications . . . . . . . . . . . . . 409--439
         Gian-Luigi Ferrari and   
             Stefania Gnesi and   
              Ugo Montanari and   
                  Marco Pistore   A model-checking verification
                                  environment for mobile processes . . . . 440--473


ACM Transactions on Software Engineering and Methodology
Volume 13, Number 1, January, 2004

                    Pamela Zave   Address translation in telecommunication
                                  features . . . . . . . . . . . . . . . . 1--36
          Sebastian Uchitel and   
                Jeff Kramer and   
                     Jeff Magee   Incremental elaboration of
                                  scenario-based specifications and
                                  behavior models using implied scenarios  37--85
  Nalini Venkatasubramanian and   
            Carolyn Talcott and   
                    Gul A. Agha   A formal model for reasoning about
                                  adaptive QoS-enabled middleware  . . . . 86--147

ACM Transactions on Software Engineering and Methodology
Volume 13, Number 2, April, 2004

               Tankut Akgul and   
          Vincent J. Mooney III   Assembly instruction level reverse
                                  execution for debugging  . . . . . . . . 149--198
            Alessandro Orso and   
              Saurabh Sinha and   
              Mary Jean Harrold   Classifying data dependences in the
                                  presence of pointers for program
                                  comprehension, testing, and debugging    199--239
         Roshanak Roshandel and   
  André Van Der Hoek and   
         Marija Mikic-Rakic and   
               Nenad Medvidovic   Mae---a system model and environment for
                                  managing architectural evolution . . . . 240--276

ACM Transactions on Software Engineering and Methodology
Volume 13, Number 3, July, 2004

            Gregg Rothermel and   
           Sebastian Elbaum and   
      Alexey G. Malishevsky and   
          Praveen Kallakuri and   
                     Xuemei Qiu   On test suite composition and
                                  cost-effective regression testing  . . . 277--331
              Stefan Kramer and   
                 Hermann Kaindl   Coupling and cohesion metrics for
                                  knowledge-based systems using frames and
                                  rules  . . . . . . . . . . . . . . . . . 332--358

ACM Transactions on Software Engineering and Methodology
Volume 13, Number 4, October, 2004

           Matthew B. Dwyer and   
             Lori A. Clarke and   
       Jamieson M. Cobleigh and   
                 Gleb Naumovich   Flow analysis for verifying properties
                                  of concurrent software systems . . . . . 359--430
        Gennaro Costagliola and   
          Vincenzo Deufemia and   
                Giuseppe Polese   A framework for modeling and
                                  implementing visual notations with
                                  applications to software engineering . . 431--487


ACM Transactions on Software Engineering and Methodology
Volume 14, Number 1, January, 2005

               Ana Milanova and   
             Atanas Rountev and   
               Barbara G. Ryder   Parameterized object sensitivity for
                                  points-to analysis for Java  . . . . . . 1--41
             Luciano Baresi and   
                  Mauro Pezz\`e   Formal interpreters for diagram
                                  notations  . . . . . . . . . . . . . . . 42--84
            Ian Sommerville and   
                    Jane Ransom   An empirical study of industrial
                                  requirements engineering process
                                  assessment and improvement . . . . . . . 85--117

ACM Transactions on Software Engineering and Methodology
Volume 14, Number 2, April, 2005

                   Carlo Ghezzi   Editorial  . . . . . . . . . . . . . . . 119--123
               Jean Berstel and   
    Stefano Crespi Reghizzi and   
             Gilles Roussel and   
           Pierluigi San Pietro   A scalable formal method for design and
                                  automatic checking of user interfaces    124--167
               Martin Erwig and   
                         Zhe Fu   Software reuse for scientific computing
                                  through program generation . . . . . . . 168--198
            Eric M. Dashofy and   
  André van der Hoek and   
              Richard N. Taylor   A comprehensive approach for the
                                  development of modular software
                                  architecture description languages . . . 199--245
ACM Transactions on Software Engineering and   
              Methodology staff   Acknowledgement of referees 2004 . . . . 246--246

ACM Transactions on Software Engineering and Methodology
Volume 14, Number 3, July, 2005

                 Man F. Lau and   
                     Yuen T. Yu   An extended fault class hierarchy for
                                  specification-based testing  . . . . . . 247--276
           Vincenzo Gervasi and   
                   Didar Zowghi   Reasoning about inconsistencies in
                                  natural language requirements  . . . . . 277--330
                 Paul Klint and   
           Ralf Lämmel and   
                  Chris Verhoef   Toward an engineering discipline for
                                  grammarware  . . . . . . . . . . . . . . 331--380

ACM Transactions on Software Engineering and Methodology
Volume 14, Number 4, October, 2005

             Leon Osterweil and   
               Carlo Ghezzi and   
                Jeff Kramer and   
                 Alexander Wolf   Editorial  . . . . . . . . . . . . . . . 381--382
            Jacky Estublier and   
              David Leblang and   
  André van der Hoek and   
             Reidar Conradi and   
             Geoffrey Clemm and   
               Walter Tichy and   
             Darcy Wiborg-Weber   Impact of software engineering research
                                  on the practice of software
                                  configuration management . . . . . . . . 383--430
           Barbara G. Ryder and   
             Mary Lou Soffa and   
               Margaret Burnett   The impact of software engineering
                                  research on modern programming languages 431--477
           Marcelo F. Frias and   
Carlos G. López Pombo and   
            Gabriel A. Baum and   
        Nazareno M. Aguirre and   
           Thomas S. E. Maibaum   Reasoning about static and dynamic
                                  properties in alloy: a purely relational
                                  approach . . . . . . . . . . . . . . . . 478--526


ACM Transactions on Software Engineering and Methodology
Volume 15, Number 1, January, 2006

                     Rik Eshuis   Symbolic model checking of UML activity
                                  diagrams . . . . . . . . . . . . . . . . 1--38
                David Basin and   
          Jürgen Doser and   
            Torsten Lodderstedt   Model driven security: From UML models
                                  to access control infrastructures  . . . 39--91
                Colin Snook and   
                 Michael Butler   UML-B: Formal modeling and design aided
                                  by UML . . . . . . . . . . . . . . . . . 92--122

ACM Transactions on Software Engineering and Methodology
Volume 15, Number 2, April, 2006

             Steve Counsell and   
              Stephen Swift and   
                 Jason Crampton   The interpretation and utility of three
                                  cohesion metrics for object-oriented
                                  design . . . . . . . . . . . . . . . . . 123--149
             Marc Fisher II and   
            Gregg Rothermel and   
               Darren Brown and   
               Mingming Cao and   
                Curtis Cook and   
               Margaret Burnett   Integrating automated test generation
                                  into the WYSIWYT spreadsheet testing
                                  methodology  . . . . . . . . . . . . . . 150--194
                   Wei Zhao and   
                   Lu Zhang and   
                    Yin Liu and   
                  Jiasu Sun and   
                    Fuqing Yang   SNIAFL: Towards a static noninteractive
                                  approach to feature location . . . . . . 195--226

ACM Transactions on Software Engineering and Methodology
Volume 15, Number 3, July, 2006

                  R. M. Hierons   Avoiding coincidental correctness in
                                  boundary value analysis  . . . . . . . . 227--241
                 Avik Sinha and   
                   Carol Smidts   HOTTest: a model-based test design
                                  technique for enhanced testing of
                                  domain-specific applications . . . . . . 242--278
              Amy L. Murphy and   
          Gian Pietro Picco and   
            Gruia-Catalin Roman   LIME: a coordination model and
                                  middleware supporting mobility of hosts
                                  and agents . . . . . . . . . . . . . . . 279--328

ACM Transactions on Software Engineering and Methodology
Volume 15, Number 4, October, 2006

            Philippe Thiran and   
           Jean-Luc Hainaut and   
           Geert-Jan Houben and   
              Djamal Benslimane   Wrapper-based evolution of legacy
                                  information systems  . . . . . . . . . . 329--359
            Marco Brambilla and   
               Stefano Ceri and   
           Piero Fraternali and   
                Ioana Manolescu   Process modeling in Web applications . . 360--409
            Gregor Snelting and   
          Torsten Robschink and   
                    Jens Krinke   Efficient path conditions in dependence
                                  graphs for software safety analysis  . . 410--457


ACM Transactions on Software Engineering and Methodology
Volume 16, Number 1, February, 2007

                   David Notkin   Editorial  . . . . . . . . . . . . . . . 1:1--1:??
                   Carlo Ghezzi   Editorial  . . . . . . . . . . . . . . . 2:1--2:??
        Martin P. Robillard and   
                 Gail C. Murphy   Representing concerns in source code . . 3:1--3:??
                   Qing Xie and   
                  Atif M. Memon   Designing and comparing automated test
                                  oracles for GUI-based software
                                  applications . . . . . . . . . . . . . . 4:1--4:??
               Manfred Broy and   
      Ingolf H. Krüger and   
              Michael Meisinger   A formal model of services . . . . . . . 5:1--5:??

ACM Transactions on Software Engineering and Methodology
Volume 16, Number 2, April, 2007

                   David Notkin   Editorial  . . . . . . . . . . . . . . . 6:1--6:??
      Shriram Krishnamurthi and   
                   Kathi Fisler   Foundations of incremental aspect
                                  model-checking . . . . . . . . . . . . . 7:1--7:??
              David Binkley and   
               Nicolas Gold and   
                    Mark Harman   An empirical study of static program
                                  slice size . . . . . . . . . . . . . . . 8:1--8:??
   Abdoulaye Gamatié and   
            Thierry Gautier and   
            Paul Le Guernic and   
             Jean-Pierre Talpin   Polychronous design of embedded
                                  real-time applications . . . . . . . . . 9:1--9:??

ACM Transactions on Software Engineering and Methodology
Volume 16, Number 3, July, 2007

             Kalpesh Kapoor and   
              Jonathan P. Bowen   Test conditions for fault classes in
                                  Boolean specifications . . . . . . . . . 10:1--10:??
           Richard F. Paige and   
          Phillip J. Brooke and   
            Jonathan S. Ostroff   Metamodel-based model conformance and
                                  multiview consistency checking . . . . . 11:1--11:??
                 Samik Basu and   
                Scott A. Smolka   Model checking the Java metalocking
                                  algorithm  . . . . . . . . . . . . . . . 12:1--12:??

ACM Transactions on Software Engineering and Methodology
Volume 16, Number 4, September, 2007

            Andrea De Lucia and   
              Fausto Fasano and   
              Rocco Oliveto and   
              Genoveffa Tortora   Recovering traceability links in
                                  software artifact management systems
                                  using information retrieval methods  . . 13:1--13:??
            Gary Wassermann and   
                 Carl Gould and   
                Zhendong Su and   
              Premkumar Devanbu   Static checking of dynamically generated
                                  queries in database applications . . . . 14:1--14:??
             Luciano Baresi and   
                 Sandro Morasca   Three empirical studies on estimating
                                  the design effort of Web applications    15:1--15:??


ACM Transactions on Software Engineering and Methodology
Volume 17, Number 1, December, 2007

                   David Notkin   Editorial  . . . . . . . . . . . . . . . 1:1--1:2
          Timothy M. Meyers and   
                  David Binkley   An empirical study of slice-based
                                  cohesion and coupling metrics  . . . . . 2:1--2:27
               Marius Marin and   
           Arie Van Deursen and   
                    Leon Moonen   Identifying Crosscutting Concerns Using
                                  Fan-In Analysis  . . . . . . . . . . . . 3:1--3:37
           Marcelo F. Frias and   
      Carlos G. Lopez Pombo and   
           Juan P. Galeotti and   
            Nazareno M. Aguirre   Efficient Analysis of DynAlloy
                                  Specifications . . . . . . . . . . . . . 4:1--4:34

ACM Transactions on Software Engineering and Methodology
Volume 17, Number 2, April, 2008

                   David Notkin   Editorial  . . . . . . . . . . . . . . . 5:1--5:??
               David Notkin and   
                  Mauro Pezz\`e   Introduction to the special section from
                                  the ACM international symposium on
                                  software testing and analysis (ISSTA
                                  2006)  . . . . . . . . . . . . . . . . . 6:1--6:??
       Jamieson M. Cobleigh and   
          George S. Avrunin and   
                 Lori A. Clarke   Breaking up is hard to do: an evaluation
                                  of automated assume-guarantee reasoning  7:1--7:??
         Christoph Csallner and   
         Yannis Smaragdakis and   
                        Tao Xie   DSD-Crasher: a hybrid analysis tool for
                                  bug finding  . . . . . . . . . . . . . . 8:1--8:??
            Stephen J. Fink and   
                 Eran Yahav and   
                  Nurit Dor and   
              G. Ramalingam and   
                  Emmanuel Geay   Effective typestate verification in the
                                  presence of aliasing . . . . . . . . . . 9:1--9:??
          Stephen F. Siegel and   
         Anastasia Mironova and   
          George S. Avrunin and   
                 Lori A. Clarke   Combining symbolic execution with model
                                  checking to verify parallel numerical
                                  programs . . . . . . . . . . . . . . . . 10:1--10:??
                   Amrit Tiwana   Impact of classes of development
                                  coordination tools on software
                                  development performance: a multinational
                                  empirical study  . . . . . . . . . . . . 11:1--11:??

ACM Transactions on Software Engineering and Methodology
Volume 17, Number 3, June, 2008

                   David Notkin   Editorial  . . . . . . . . . . . . . . . 12:1--12:??
        Parastoo Mohagheghi and   
                 Reidar Conradi   An empirical investigation of software
                                  reuse benefits in a large telecom
                                  product  . . . . . . . . . . . . . . . . 13:1--13:??
            Johannes Henkel and   
      Christoph Reichenbach and   
                     Amer Diwan   Developing and debugging algebraic
                                  specifications for Java classes  . . . . 14:1--14:??
              Cigdem Gencel and   
                  Onur Demirors   Functional size measurement revisited    15:1--15:??
            Tsong Yueh Chen and   
                  Robert Merkel   An upper bound on software testing
                                  effectiveness  . . . . . . . . . . . . . 16:1--16:??

ACM Transactions on Software Engineering and Methodology
Volume 17, Number 4, August, 2008

              Pankaj Jalote and   
             Brendan Murphy and   
          Vibhu Saujanya Sharma   Post-release reliability growth in
                                  software products  . . . . . . . . . . . 17:1--17:??
            Martin P. Robillard   Topology analysis of software
                                  dependencies . . . . . . . . . . . . . . 18:1--18:??
          Wolfgang Emmerich and   
               Mikio Aoyama and   
                    Joe Sventek   The impact of research on the
                                  development of middleware technology . . 19:1--19:??
          Tanja M. Gruschke and   
         Magne Jòrgensen   The role of outcome feedback in
                                  improving the uncertainty assessment of
                                  software development effort estimates    20:1--20:??


ACM Transactions on Software Engineering and Methodology
Volume 18, Number 1, September, 2008

            Marcel R. Karam and   
          Trevor J. Smedley and   
              Sergiu M. Dascalu   Unit-level test adequacy criteria for
                                  visual dataflow languages and a testing
                                  methodology  . . . . . . . . . . . . . . 1:1--1:??
        Panagiotis Louridas and   
         Diomidis Spinellis and   
              Vasileios Vlachos   Power laws in software . . . . . . . . . 2:1--2:??
     Ond\vrej Lhoták and   
                 Laurie Hendren   Evaluating the benefits of
                                  context-sensitive points-to analysis
                                  using a BDD-based implementation . . . . 3:1--3:??

ACM Transactions on Software Engineering and Methodology
Volume 18, Number 2, November, 2008

                  Atif M. Memon   Automatically repairing event
                                  sequence-based GUI test suites for
                                  regression testing . . . . . . . . . . . 4:1--4:??
           Travis D. Breaux and   
      Annie I. Antón and   
                      Jon Doyle   Semantic parameterization: a process for
                                  modeling domain descriptions . . . . . . 5:1--5:??
            Shan Shan Huang and   
                 David Zook and   
             Yannis Smaragdakis   Domain-specific languages and program
                                  generation with meta-AspectJ . . . . . . 6:1--6:??
                   Qing Xie and   
                  Atif M. Memon   Using a pilot study to derive a GUI
                                  model for automated testing  . . . . . . 7:1--7:??

ACM Transactions on Software Engineering and Methodology
Volume 18, Number 3, May, 2009

                   David Notkin   Editorial  . . . . . . . . . . . . . . . 8:1--8:??
                 Lujo Bauer and   
                Jay Ligatti and   
                   David Walker   Composing expressive runtime security
                                  policies . . . . . . . . . . . . . . . . 9:1--9:??
                 Tracy Hall and   
              Nathan Baddoo and   
              Sarah Beecham and   
              Hugh Robinson and   
                    Helen Sharp   A systematic review of theory use in
                                  studies investigating the motivations of
                                  software engineers . . . . . . . . . . . 10:1--10:??
                Phil McMinn and   
              David Binkley and   
                    Mark Harman   Empirical evaluation of a nesting
                                  testability transformation for
                                  evolutionary testing . . . . . . . . . . 11:1--11:??
                    Dick Hamlet   Tools and experiments supporting a
                                  testing-based theory of component
                                  composition  . . . . . . . . . . . . . . 12:1--12:??

ACM Transactions on Software Engineering and Methodology
Volume 18, Number 4, July, 2009

                 Ankit Goel and   
         Abhik Roychoudhury and   
              P. S. Thiagarajan   Interacting process classes  . . . . . . 13:1--13:??
              Robert M. Hierons   Verdict functions in testing with a
                                  fault domain or test hypotheses  . . . . 14:1--14:??
                Marco Mamei and   
              Franco Zambonelli   Programming pervasive and mobile
                                  computing applications: The TOTA
                                  approach . . . . . . . . . . . . . . . . 15:1--15:??


ACM Transactions on Software Engineering and Methodology
Volume 19, Number 1, August, 2009

               Eli Tilevich and   
             Yannis Smaragdakis   J-Orchestra: Enhancing Java programs
                                  with distribution capabilities . . . . . 1:1--1:??
                Chun Ouyang and   
               Marlon Dumas and   
    Wil M. P. Van Der Aalst and   
  Arthur H. M. Ter Hofstede and   
                   Jan Mendling   From business process models to
                                  process-oriented software systems  . . . 2:1--2:??
              Hridesh Rajan and   
              Kevin J. Sullivan   Unifying aspect- and object-oriented
                                  design . . . . . . . . . . . . . . . . . 3:1--3:??

ACM Transactions on Software Engineering and Methodology
Volume 19, Number 2, October, 2009

          Hee Beng Kuan Tan and   
                  Yuan Zhao and   
                   Hongyu Zhang   Conceptual data model-based software
                                  size estimation for information systems  4:1--4:??
                  Wes Masri and   
                 Andy Podgurski   Measuring the strength of information
                                  flows in programs  . . . . . . . . . . . 5:1--5:??
               Nirmit Desai and   
             Amit K. Chopra and   
              Munindar P. Singh   Amoeba: a methodology for modeling and
                                  evolving cross-organizational business
                                  processes  . . . . . . . . . . . . . . . 6:1--6:??

ACM Transactions on Software Engineering and Methodology
Volume 19, Number 3, January, 2010

                   David Notkin   Editorial  . . . . . . . . . . . . . . . 7:1--7:??
                Jon Whittle and   
           Praveen K. Jayaraman   Synthesizing hierarchical state machines
                                  from expressive scenario descriptions    8:1--8:??
                   Chang Xu and   
               S. C. Cheung and   
                 W. K. Chan and   
                    Chunyang Ye   Partial constraint checking for context
                                  consistency in pervasive computing . . . 9:1--9:??
              Antonio Brogi and   
             Razvan Popescu and   
                   Matteo Tanca   Design and implementation of Sator: a
                                  Web service aggregator . . . . . . . . . 10:1--10:??

ACM Transactions on Software Engineering and Methodology
Volume 19, Number 4, April, 2010

               Julien Ponge and   
         Boualem Benatallah and   
               Fabio Casati and   
                 Farouk Toumani   Analysis and applications of timed
                                  service protocols  . . . . . . . . . . . 11:1--11:??
               Jamie Payton and   
           Christine Julien and   
        Gruia-Catalin Roman and   
               Vasanth Rajamani   Semantic self-assessment of query
                                  results in dynamic environments  . . . . 12:1--12:??
              Chunqing Chen and   
              Jin Song Dong and   
                    Jun Sun and   
                  Andrew Martin   A verification system for interval-based
                                  specification languages  . . . . . . . . 13:1--13:??


ACM Transactions on Software Engineering and Methodology
Volume 20, Number 1, June, 2010

         Friedrich Steimann and   
           Thomas Pawlitzki and   
                  Sven Apel and   
         Christian Kästner   Types and modularity for implicit
                                  invocation with implicit announcement    1:1--1:??
              Kieran Conboy and   
               Brian Fitzgerald   Method and developer characteristics for
                                  effective agile method tailoring: a
                                  study of XP expert opinion . . . . . . . 2:1--2:??
           Ekwa Duala-Ekoko and   
            Martin P. Robillard   Clone region descriptors: Representing
                                  and tracking duplication in source code  3:1--3:??

ACM Transactions on Software Engineering and Methodology
Volume 20, Number 2, August, 2010

               Andrew J. Ko and   
                  Brad A. Myers   Extracting and answering why and why not
                                  questions about Java program output  . . 4:1--4:??
             Kevin Sullivan and   
        William G. Griswold and   
              Hridesh Rajan and   
              Yuanyuan Song and   
               Yuanfang Cai and   
             Macneil Shonle and   
                  Nishit Tewari   Modular aspect-oriented design with XPIs 5:1--5:??
                Param Vir Singh   The small-world effect: The influence of
                                  macro-level properties of developer
                                  collaboration networks on open-source
                                  project success  . . . . . . . . . . . . 6:1--6:??
                Robert Dyer and   
                  Hridesh Rajan   Supporting dynamic aspect-oriented
                                  features . . . . . . . . . . . . . . . . 7:1--7:??

ACM Transactions on Software Engineering and Methodology
Volume 20, Number 3, August, 2011

                Simon Miles and   
                 Paul Groth and   
               Steve Munroe and   
                     Luc Moreau   PrIMe: a methodology for developing
                                  provenance-aware applications  . . . . . 8:1--8:??
                Jinjun Chen and   
                       Yun Yang   Temporal dependency-based checkpoint
                                  selection for dynamic verification of
                                  temporal constraints in scientific
                                  workflow systems . . . . . . . . . . . . 9:1--9:??
                 John Anvik and   
                 Gail C. Murphy   Reducing the effort of bug report
                                  triage: Recommenders for
                                  development-oriented decisions . . . . . 10:1--10:??
                  Lee Naish and   
                Hua Jie Lee and   
         Kotagiri Ramamohanarao   A model for spectra-based software
                                  diagnosis  . . . . . . . . . . . . . . . 11:1--11:??
           David W. Binkley and   
                Mark Harman and   
                 Kiran Lakhotia   FlagRemover: a testability
                                  transformation for transforming
                                  loop-assigned flags  . . . . . . . . . . 12:1--12:??
                Zhenyu Chen and   
            Tsong Yueh Chen and   
                      Baowen Xu   A revisit of fault class hierarchies in
                                  general Boolean specifications . . . . . 13:1--13:??

ACM Transactions on Software Engineering and Methodology
Volume 20, Number 4, September, 2011

              Andreas Bauer and   
             Martin Leucker and   
           Christian Schallhart   Runtime Verification for LTL and TLTL    14:1--14:??
               Changhai Nie and   
                  Hareton Leung   The Minimal Failure-Causing Schema of
                                  Combinatorial Testing  . . . . . . . . . 15:1--15:??
               R. A. Gandhi and   
                      S. W. Lee   Discovering Multidimensional
                                  Correlations among Regulatory
                                  Requirements to Understand Risk  . . . . 16:1--16:??
             Josh Dehlinger and   
                  Robyn R. Lutz   Gaia-PL: a Product Line Engineering
                                  Approach for Efficiently Designing
                                  Multiagent Systems . . . . . . . . . . . 17:1--17:??
                Shahar Maoz and   
                David Harel and   
                 Asaf Kleinbort   A Compiler for Multimodal Scenarios:
                                  Transforming LSCs into AspectJ . . . . . 18:1--18:??
Barthélémy Dagenais and   
            Martin P. Robillard   Recommending Adaptive Changes for
                                  Framework Evolution  . . . . . . . . . . 19:1--19:??


ACM Transactions on Software Engineering and Methodology
Volume 21, Number 1, December, 2011

              Ali Ebnenasir and   
            Sandeep S. Kulkarni   Feasibility of Stepwise Design of
                                  Multitolerant Programs . . . . . . . . . 1:1--1:??
             Matthew Arnold and   
              Martin Vechev and   
                     Eran Yahav   QVM: An Efficient Runtime for Detecting
                                  Defects in Deployed Systems  . . . . . . 2:1--2:??
               Eli Tilevich and   
                   Sriram Gopal   Expressive and Extensible Parameter
                                  Passing for Distributed Object Systems   3:1--3:??
          Susan Elliott Sim and   
               Medha Umarji and   
      Sukanya Ratanotayanon and   
              Cristina V. Lopes   How Well Do Search Engines Support Code
                                  Retrieval on the Web?  . . . . . . . . . 4:1--4:??
           Madeline M. Diep and   
           Matthew B. Dwyer and   
               Sebastian Elbaum   Lattice-Based Sampling for Path Property
                                  Monitoring . . . . . . . . . . . . . . . 5:1--5:??
               Martin Erwig and   
               Eric Walkingshaw   The Choice Calculus: a Representation
                                  for Software Variation . . . . . . . . . 6:1--6:??

ACM Transactions on Software Engineering and Methodology
Volume 21, Number 2, March, 2012

                   David Notkin   Editorial  . . . . . . . . . . . . . . . 7:1--7:??
            Jehad Al Dallal and   
               Lionel C. Briand   A Precise Method-Method
                                  Interaction-Based Cohesion Metric for
                                  Object-Oriented Classes  . . . . . . . . 8:1--8:??
            Dario Fischbein and   
         Nicolas D'Ippolito and   
                Greg Brunet and   
             Marsha Chechik and   
              Sebastian Uchitel   Weak Alphabet Merging of Partial
                                  Behavior Models  . . . . . . . . . . . . 9:1--9:??
            Anders Mattsson and   
           Brian Fitzgerald and   
         Björn Lundell and   
                    Brian Lings   An Approach for Modeling Architectural
                                  Design Rules in UML and its Application
                                  to Embedded Software . . . . . . . . . . 10:1--10:??
          Devdatta Kulkarni and   
               Tanvir Ahmed and   
                 Anand Tripathi   A Generative Programming Framework for
                                  Context-Aware CSCW Applications  . . . . 11:1--11:??
         Abhik Roychoudhury and   
                 Ankit Goel and   
                Bikram Sengupta   Symbolic Message Sequence Charts . . . . 12:1--12:??
               Anna Queralt and   
                Ernest Teniente   Verification and Validation of UML
                                  Conceptual Schemas with OCL Constraints  13:1--13:??

ACM Transactions on Software Engineering and Methodology
Volume 21, Number 3, June, 2012

     Christian Kästner and   
                  Sven Apel and   
           Thomas Thüm and   
                   Gunter Saake   Type checking annotation-based product
                                  lines  . . . . . . . . . . . . . . . . . 14:1--14:??
             Macneil Shonle and   
        William G. Griswold and   
                   Sorin Lerner   A framework for the checking and
                                  refactoring of crosscutting concepts . . 15:1--15:??
        Alessandro Fantechi and   
             Stefania Gnesi and   
        Alessandro Lapadula and   
            Franco Mazzanti and   
           Rosario Pugliese and   
               Francesco Tiezzi   A logical verification methodology for
                                  service-oriented computing . . . . . . . 16:1--16:??
            Jaymie Strecker and   
                  Atif M. Memon   Accounting for defect characteristics in
                                  evaluations of testing techniques  . . . 17:1--17:??
              Paul Jennings and   
              Arka P. Ghosh and   
                     Samik Basu   A two-phase approximation for model
                                  checking probabilistic unbounded until
                                  properties of probabilistic systems  . . 18:1--18:??
                   Dawei Qi and   
         Abhik Roychoudhury and   
              Zhenkai Liang and   
                  Kapil Vaswani   DARWIN: an approach to debugging
                                  evolving programs  . . . . . . . . . . . 19:1--19:??

ACM Transactions on Software Engineering and Methodology
Volume 21, Number 4, November, 2012

                Reid Holmes and   
               Robert J. Walker   Systematizing pragmatic software reuse   20:1--20:??
               Yuanfang Cai and   
                 Kevin Sullivan   A formal model for automated software
                                  modularity and evolvability analysis . . 21:1--21:??
         Alessandro Cimatti and   
               Marco Roveri and   
                Angelo Susi and   
                Stefano Tonetta   Validation of requirements for hybrid
                                  systems: a formal approach . . . . . . . 22:1--22:??
           Denys Poshyvanyk and   
             Malcom Gethers and   
                 Andrian Marcus   Concept location using formal concept
                                  analysis and information retrieval . . . 23:1--23:??
             Andrew Meneely and   
                  Ben Smith and   
                Laurie Williams   Validating software metrics: a spectrum
                                  of philosophies  . . . . . . . . . . . . 24:1--24:??
                Adam Kiezun and   
               Vijay Ganesh and   
                 Shay Artzi and   
              Philip J. Guo and   
          Pieter Hooimeijer and   
               Michael D. Ernst   HAMPI: a solver for word equations over
                                  strings, regular expressions, and
                                  context-free grammars  . . . . . . . . . 25:1--25:??


ACM Transactions on Software Engineering and Methodology
Volume 22, Number 1, February, 2013

                   David Notkin   Editorial --- looking back . . . . . . . 1:1--1:??
             David S. Rosenblum   Editorial --- looking forward  . . . . . 2:1--2:??
                    Jun Sun and   
                   Yang Liu and   
              Jin Song Dong and   
                    Yan Liu and   
                   Ling Shi and   
    Étienne André   Modeling and verifying hierarchical
                                  real-time systems using stateful timed
                                  CSP  . . . . . . . . . . . . . . . . . . 3:1--3:??
               Brian Demsky and   
                    Patrick Lam   Views: Synthesizing fine-grained
                                  concurrency control  . . . . . . . . . . 4:1--4:??
                    Tao Yue and   
           Lionel C. Briand and   
                   Yvan Labiche   Facilitating the transition from use
                                  case models to analysis models: Approach
                                  and experiments  . . . . . . . . . . . . 5:1--5:??
               Hadi Hemmati and   
              Andrea Arcuri and   
                  Lionel Briand   Achieving scalable model-based testing
                                  through test case diversity  . . . . . . 6:1--6:??
           Martin Monperrus and   
                    Mira Mezini   Detecting missing method calls as
                                  violations of the majority rule  . . . . 7:1--7:??
                 Jeff Huang and   
                Jinguo Zhou and   
                  Charles Zhang   Scaling predictive analysis of
                                  concurrent programs by removing trace
                                  redundancy . . . . . . . . . . . . . . . 8:1--8:??
  Nicolás D'ippolito and   
           Victor Braberman and   
               Nir Piterman and   
       Sebastián Uchitel   Synthesizing nonanomalous event-based
                                  controllers for liveness goals . . . . . 9:1--9:??

ACM Transactions on Software Engineering and Methodology
Volume 22, Number 2, March, 2013

                  Wei Zhang and   
                  Chong Sun and   
                Junghee Lim and   
                    Shan Lu and   
                    Thomas Reps   ConMem: Detecting Crash-Triggering
                                  Concurrency Bugs through an
                                  Effect-Oriented Approach . . . . . . . . 10:1--10:??
           Marcello La Rosa and   
               Marlon Dumas and   
                  Reina Uba and   
                  Remco Dijkman   Business Process Model Merging: An
                                  Approach to Business Process
                                  Consolidation  . . . . . . . . . . . . . 11:1--11:??
                Zibin Zheng and   
                 Michael R. Lyu   Personalized Reliability Prediction of
                                  Web Services . . . . . . . . . . . . . . 12:1--12:??
            Neil Walkinshaw and   
                Kirill Bogdanov   Automated Comparison of State-Based
                                  Software Models in Terms of Their
                                  Language and Structure . . . . . . . . . 13:1--13:??
           Scott D. Fleming and   
             Chris Scaffidi and   
           David Piorkowski and   
           Margaret Burnett and   
             Rachel Bellamy and   
            Joseph Lawrance and   
                     Irwin Kwan   An Information Foraging Theory
                                  Perspective on Tools for Debugging,
                                  Refactoring, and Reuse Tasks . . . . . . 14:1--14:??
                Sagar Chaki and   
       Christian Schallhart and   
                   Helmut Veith   Verification across Intellectual
                                  Property Boundaries  . . . . . . . . . . 15:1--15:??

ACM Transactions on Software Engineering and Methodology
Volume 22, Number 3, July, 2013

             David S. Rosenblum   In memoriam: David Notkin (1955--2013)   16:1--16:??
                 Guoqing Xu and   
                 Atanas Rountev   Precise memory leak detection for Java
                                  software using container profiling . . . 17:1--17:??
                     Wei Le and   
                 Mary Lou Soffa   Marple: Detecting faults in path
                                  segments using automatically generated
                                  analyses . . . . . . . . . . . . . . . . 18:1--18:??
                   Shin Yoo and   
                Mark Harman and   
                    David Clark   Fault localization prioritization:
                                  Comparing information-theoretic and
                                  coverage-based approaches  . . . . . . . 19:1--19:??
            Matteo Pradella and   
            Angelo Morzenti and   
           Pierluigi San Pietro   Bounded satisfiability checking of
                                  metric temporal logic specifications . . 20:1--20:??
             Davide Falessi and   
           Lionel C. Briand and   
           Giovanni Cantone and   
             Rafael Capilla and   
              Philippe Kruchten   The value of design rationale
                                  information  . . . . . . . . . . . . . . 21:1--21:??
              Kevin Hoffman and   
                Patrick Eugster   Trading obliviousness for modularity
                                  with cooperative aspect-oriented
                                  programming  . . . . . . . . . . . . . . 22:1--22:??
                   Hong Zhu and   
                     Ian Bayley   An algebra of design patterns  . . . . . 23:1--23:??
               Mira Balaban and   
                   Azzam Maraee   Finite satisfiability of UML class
                                  diagrams with constrained class
                                  hierarchy  . . . . . . . . . . . . . . . 24:1--24:??
              Guido De Caso and   
           Victor Braberman and   
         Diego Garbervetsky and   
              Sebastian Uchitel   Enabledness-based program abstractions
                                  for behavior validation  . . . . . . . . 25:1--25:??
       Beatriz Marín and   
         Giovanni Giachetti and   
               Oscar Pastor and   
            Tanja E. J. Vos and   
                    Alain Abran   Using a functional size measurement
                                  procedure to evaluate the quality of
                                  models in MDD environments . . . . . . . 26:1--26:??
              Daniel Sinnig and   
             Patrice Chalin and   
                 Ferhat Khendek   Use case and task models: an integrated
                                  development methodology and its formal
                                  foundation . . . . . . . . . . . . . . . 27:1--27:??

ACM Transactions on Software Engineering and Methodology
Volume 22, Number 4, October, 2013

            Giovanni Denaro and   
              Mauro Pezz\`e and   
                    Davide Tosi   Test-and-adapt: an approach for
                                  improving service interchangeability . . 28:1--28:??
         Lorenzo Martignoni and   
            Roberto Paleari and   
           Alessandro Reina and   
     Giampaolo Fresi Roglia and   
                 Danilo Bruschi   A methodology for testing CPU emulators  29:1--29:??
         Hervé Chang and   
           Leonardo Mariani and   
                  Mauro Pezz\`e   Exception handlers for healing
                                  component-based systems  . . . . . . . . 30:1--30:??
               Xiaoyuan Xie and   
            Tsong Yueh Chen and   
              Fei-Ching Kuo and   
                      Baowen Xu   A theoretical analysis of the risk
                                  evaluation formulas for spectrum-based
                                  fault localization . . . . . . . . . . . 31:1--31:??
                   Dawei Qi and   
         Hoang D. T. Nguyen and   
             Abhik Roychoudhury   Path exploration based on symbolic
                                  output . . . . . . . . . . . . . . . . . 32:1--32:??
           Takaaki Tateishi and   
              Marco Pistoia and   
                     Omer Tripp   Path- and index-sensitive string
                                  analysis based on monadic second-order
                                  logic  . . . . . . . . . . . . . . . . . 33:1--33:??
Jérôme Vouillon and   
               Roberto Di Cosmo   On software component co-installability  34:1--34:??
           Leandro L. Minku and   
                        Xin Yao   Software effort estimation as a
                                  multiobjective learning problem  . . . . 35:1--35:??
              David Lizcano and   
            Fernando Alonso and   
             Javier Soriano and   
                 Genoveva Lopez   A web-centred approach to end-user
                                  software engineering . . . . . . . . . . 36:1--36:??
            Collin Mcmillan and   
           Denys Poshyvanyk and   
             Mark Grechanik and   
                   Qing Xie and   
                        Chen Fu   Portfolio: Searching for relevant
                                  functions and their usages in millions
                                  of lines of code . . . . . . . . . . . . 37:1--37:??
        Michael Würsch and   
              Emanuel Giger and   
                 Harald C. Gall   Evaluating a query framework for
                                  software evolution data  . . . . . . . . 38:1--38:??


ACM Transactions on Software Engineering and Methodology
Volume 23, Number 1, February, 2014

             David S. Rosenblum   Editorial  . . . . . . . . . . . . . . . 1:1--1:??
        Robrecht Haesevoets and   
                Danny Weyns and   
                    Tom Holvoet   Architecture-centric support for
                                  adaptive service collaborations  . . . . 2:1--2:??
        Andrew F. Tappenden and   
                   James Miller   Automated cookie collection testing  . . 3:1--3:??
            Gabriele Bavota and   
             Malcom Gethers and   
              Rocco Oliveto and   
           Denys Poshyvanyk and   
                Andrea de Lucia   Improving software modularization via
                                  automated analysis of latent topics and
                                  dependencies . . . . . . . . . . . . . . 4:1--4:??
                   Xiao Liu and   
                   Yun Yang and   
                  Dong Yuan and   
                    Jinjun Chen   Do we need to handle every temporal
                                  violation in scientific workflow
                                  systems? . . . . . . . . . . . . . . . . 5:1--5:??
              Federico Mari and   
               Igor Melatti and   
                Ivano Salvo and   
                  Enrico Tronci   Model-based synthesis of control
                                  software from system-level formal
                                  specifications . . . . . . . . . . . . . 6:1--6:??
                Eric Bodden and   
         Éric Tanter and   
               Milton Inostroza   Join point interfaces for safe and
                                  flexible decoupling of aspects . . . . . 7:1--7:??
                  Wes Masri and   
                Rawad Abou Assi   Prevalence of coincidental correctness
                                  and mitigation of its impact on fault
                                  localization . . . . . . . . . . . . . . 8:1--8:??
              Lionel Briand and   
             Davide Falessi and   
               Shiva Nejati and   
         Mehrdad Sabetzadeh and   
                        Tao Yue   Traceability and SysML design slices to
                                  support safety inspections: a controlled
                                  experiment . . . . . . . . . . . . . . . 9:1--9:??
                Yuming Zhou and   
                  Baowen Xu and   
              Hareton Leung and   
                       Lin Chen   An in-depth study of the potentially
                                  confounding effect of class size in
                                  fault prediction . . . . . . . . . . . . 10:1--10:??

ACM Transactions on Software Engineering and Methodology
Volume 23, Number 2, March, 2014

             David S. Rosenblum   Editorial  . . . . . . . . . . . . . . . 11:1--11:??
                    Kai Pan and   
                  Xintao Wu and   
                        Tao Xie   Guided test generation for database
                                  applications via synthesized database
                                  interactions . . . . . . . . . . . . . . 12:1--12:??
        Giuseppe Scanniello and   
            Carmine Gravino and   
             Marcela Genero and   
        Jose' A. Cruz-Lemus and   
              Genoveffa Tortora   On the impact of UML analysis models on
                                  source-code comprehensibility and
                                  modifiability  . . . . . . . . . . . . . 13:1--13:??
               Thomas Fritz and   
             Gail C. Murphy and   
        Emerson Murphy-Hill and   
                 Jingwen Ou and   
                     Emily Hill   Degree-of-knowledge: Modeling a
                                  developer's knowledge of code  . . . . . 14:1--14:??
                  Lunjin Lu and   
                   Dae-Kyoo Kim   Required behavior of sequence diagrams:
                                  Semantics and conformance  . . . . . . . 15:1--15:??
        M. Unterkalmsteiner and   
                   R. Feldt and   
                    T. Gorschek   A taxonomy for requirements engineering
                                  and software test alignment  . . . . . . 16:1--16:??
       Dharmalingam Ganesan and   
                Mikael Lindvall   ADAM: External dependency-driven
                                  architecture discovery and analysis of
                                  quality attributes . . . . . . . . . . . 17:1--17:??
             Klaas-Jan Stol and   
             Paris Avgeriou and   
         Muhammad Ali Babar and   
                  Yan Lucas and   
               Brian Fitzgerald   Key factors for adopting inner source    18:1--18:??
                Mark Harman and   
                Jens Krinke and   
     Inmaculada Medina-Bulo and   
    Francisco Palomo-Lozano and   
                   Jian Ren and   
                       Shin Yoo   Exact scalable sensitivity analysis for
                                  the next release problem . . . . . . . . 19:1--19:??
         Mariano M. Moscato and   
      Carlos G. Lopez Pombo and   
               Marcelo F. Frias   Dynamite: a tool for the verification of
                                  alloy models based on PVS  . . . . . . . 20:1--20:??

ACM Transactions on Software Engineering and Methodology
Volume 23, Number 3, May, 2014

               Mainul Islam and   
             Christoph Csallner   Generating Test Cases for Programs that
                                  Are Coded against Interfaces and
                                  Annotations  . . . . . . . . . . . . . . 21:1--21:??
               Lucas Layman and   
           Victor R. Basili and   
            Marvin V. Zelkowitz   A Methodology for Exposing Risk in
                                  Achieving Emergent System Properties . . 22:1--22:??
                 Guoqing Xu and   
              Nick Mitchell and   
             Matthew Arnold and   
             Atanas Rountev and   
            Edith Schonberg and   
                  Gary Sevitsky   Scalable Runtime Bloat Detection Using
                                  Abstract Dynamic Slicing . . . . . . . . 23:1--23:??
     Nicoletta de Francesco and   
          Giuseppe Lettieri and   
          Antonella Santone and   
               Gigliola Vaglini   GreASE: a Tool for Efficient
                                  ``Nonequivalence'' Checking  . . . . . . 24:1--24:??
             Razieh Behjati and   
               Shiva Nejati and   
               Lionel C. Briand   Architecture-Level Configuration of
                                  Large-Scale Embedded Software Systems    25:1--25:??
          Kathryn T. Stolee and   
           Sebastian Elbaum and   
                   Daniel Dobos   Solving the Search for Source Code . . . 26:1--26:??

ACM Transactions on Software Engineering and Methodology
Volume 23, Number 4, August, 2014

             David S. Rosenblum   Editorial  . . . . . . . . . . . . . . . 27:1--27:??
             Gail C. Murphy and   
             Mauro Pezzé   Introduction to the Special Issue
                                  International Conference on Software
                                  Engineering (ICSE 2012)  . . . . . . . . 28:1--28:??
       Anders Mòller and   
                Mathias Schwarz   Automated Detection of Client-State
                                  Manipulation Vulnerabilities . . . . . . 29:1--29:??
             Thanhvu Nguyen and   
               Deepak Kapur and   
             Westley Weimer and   
              Stephanie Forrest   DIG: a Dynamic Invariant Generator for
                                  Polynomial and Array Invariants  . . . . 30:1--30:??
               Walid Maalej and   
             Rebecca Tiarks and   
               Tobias Roehm and   
                 Rainer Koschke   On the Comprehension of Program
                                  Comprehension  . . . . . . . . . . . . . 31:1--31:??
               Pingyu Zhang and   
               Sebastian Elbaum   Amplifying Tests to Validate Exception
                                  Handling Code: an Extended Study in the
                                  Mobile Application Domain  . . . . . . . 32:1--32:??
                 Tracy Hall and   
                  Min Zhang and   
                David Bowes and   
                         Yi Sun   Some Code Smells Have a Significant but
                                  Small Effect on Faults . . . . . . . . . 33:1--33:??
                   Yueqi Li and   
               S. C. Cheung and   
              Xiangyu Zhang and   
                     Yepang Liu   Scaling Up Symbolic Analysis by Removing
                                  $z$-Equivalent States  . . . . . . . . . 34:1--34:??
             Peter C. Rigby and   
           Daniel M. German and   
                Laura Cowen and   
           Margaret-Anne Storey   Peer Review on Open-Source Software
                                  Projects: Parameters, Statistical
                                  Models, and Theory . . . . . . . . . . . 35:1--35:??


ACM Transactions on Software Engineering and Methodology
Volume 24, Number 1, September, 2014

              Filippo Ricca and   
        Giuseppe Scanniello and   
            Marco Torchiano and   
              Gianna Reggio and   
               Egidio Astesiano   Assessing the Effect of Screen Mockups
                                  on the Comprehension of Functional
                                  Requirements . . . . . . . . . . . . . . 1:1--1:??
             Richard Banach and   
                Huibiao Zhu and   
                     Wen Su and   
                    Xiaofeng Wu   A Continuous ASM Modelling Approach to
                                  Pacemaker Sensing  . . . . . . . . . . . 2:1--2:??
                Guowei Yang and   
             Suzette Person and   
                Neha Rungta and   
               Sarfraz Khurshid   Directed Incremental Symbolic Execution  3:1--3:??
           Anirudh Santhiar and   
              Omesh Pandita and   
                  Aditya Kanade   Mining Unit Tests for Discovery and
                                  Migration of Math APIs . . . . . . . . . 4:1--4:??
              Robert M. Hierons   Combining Centralised and Distributed
                                  Testing  . . . . . . . . . . . . . . . . 5:1--5:??
                Dilan Sahin and   
        Marouane Kessentini and   
               Slim Bechikh and   
                  Kalyanmoy Deb   Code-Smell Detection as a Bilevel
                                  Problem  . . . . . . . . . . . . . . . . 6:1--6:??

ACM Transactions on Software Engineering and Methodology
Volume 24, Number 2, December, 2014

                  Kaituo Li and   
      Christoph Reichenbach and   
         Christoph Csallner and   
             Yannis Smaragdakis   Residual Investigation: Predictive and
                                  Precise Bug Detection  . . . . . . . . . 7:1--7:??
              Gordon Fraser and   
                  Andrea Arcuri   A Large-Scale Evaluation of Automated
                                  Unit Test Generation Using EvoSuite  . . 8:1--8:??
             Warda El Kholy and   
             Jamal Bentahar and   
        Mohamed El Menshawy and   
                Hongyang Qu and   
                Rachida Dssouli   Conditional Commitments: Reasoning and
                                  Model Checking . . . . . . . . . . . . . 9:1--9:??
                    Dan Hao and   
             Lingming Zhang and   
                   Lu Zhang and   
            Gregg Rothermel and   
                       Hong Mei   A Unified Test Case Prioritization
                                  Approach . . . . . . . . . . . . . . . . 10:1--10:??
               Hassan Eldib and   
                  Chao Wang and   
              Patrick Schaumont   Formal Verification of Software
                                  Countermeasures against Side-Channel
                                  Attacks  . . . . . . . . . . . . . . . . 11:1--11:??
               Juan De Lara and   
              Esther Guerra and   
Jesús Sánchez Cuadrado   When and How to Use Multilevel Modelling 12:1--12:??

ACM Transactions on Software Engineering and Methodology
Volume 24, Number 3, May, 2015

                    Tao Yue and   
           Lionel C. Briand and   
                   Yvan Labiche   aToucan: an Automated Framework to
                                  Derive UML Analysis Models from Use Case
                                  Models . . . . . . . . . . . . . . . . . 13:1--13:??
        Giuseppe Scanniello and   
            Carmine Gravino and   
               Michele Risi and   
          Genoveffa Tortora and   
               Gabriella Dodero   Documenting Design-Pattern Instances: a
                                  Family of Experiments on Source-Code
                                  Comprehensibility  . . . . . . . . . . . 14:1--14:??
              Elena Sherman and   
            Brady J. Garvin and   
               Matthew B. Dwyer   Deciding Type-Based Partial-Order
                                  Constraints for Path-Sensitive Analysis  15:1--15:??
          Antonio Carzaniga and   
           Alessandra Gorla and   
            Nicol\`o Perino and   
                  Mauro Pezz\`e   Automatic Workarounds: Exploiting the
                                  Intrinsic Redundancy of Web Applications 16:1--16:??
               Wiem Mkaouer and   
        Marouane Kessentini and   
               Adnan Shaout and   
           Patrice Koligheu and   
               Slim Bechikh and   
              Kalyanmoy Deb and   
                       Ali Ouni   Many-Objective Software Remodularization
                                  Using NSGA-III . . . . . . . . . . . . . 17:1--17:??
                 Jooyong Yi and   
                   Dawei Qi and   
              Shin Hwei Tan and   
             Abhik Roychoudhury   Software Change Contracts  . . . . . . . 18:1--18:??
    Pradeep K. Murukannaiah and   
              Munindar P. Singh   Platys: an Active Learning Framework for
                                  Place-Aware Application Development and
                                  Its Evaluation . . . . . . . . . . . . . 19:1--19:??
           Peter A. Whigham and   
            Caitlin A. Owen and   
           Stephen G. Macdonell   A Baseline Model for Software Effort
                                  Estimation . . . . . . . . . . . . . . . 20:1--20:??

ACM Transactions on Software Engineering and Methodology
Volume 24, Number 4, August, 2015

                Mark Harman and   
             Mauro Pezzé   Introduction to the Special Issue on
                                  ISSTA 2013 . . . . . . . . . . . . . . . 21:1--21:??
             Milos Gligoric and   
                 Alex Groce and   
            Chaoqiang Zhang and   
               Rohan Sharma and   
      Mohammad Amin Alipour and   
                  Darko Marinov   Guidelines for Coverage-Based
                                  Comparisons of Non-Adequate Test Suites  22:1--22:??
              Gordon Fraser and   
                Matt Staats and   
                Phil McMinn and   
              Andrea Arcuri and   
                  Frank Padberg   Does Automated Unit Test Generation
                                  Really Help Software Testers? A
                                  Controlled Empirical Study . . . . . . . 23:1--23:??
               Cosmin Radoi and   
                      Danny Dig   Effective Techniques for Static Race
                                  Detection in Java Parallel Loops . . . . 24:1--24:??
             Jaideep Nijjar and   
               Ivan Boci\'c and   
                  Tevfik Bultan   Data Model Property Inference,
                                  Verification, and Repair for Web
                                  Applications . . . . . . . . . . . . . . 25:1--25:??
                    Wei Jin and   
                Alessandro Orso   Automated Support for Reproducing and
                                  Debugging Field Failures . . . . . . . . 26:1--26:??


ACM Transactions on Software Engineering and Methodology
Volume 25, Number 1, December, 2015

           Matthew B. Dwyer and   
             David S. Rosenblum   Editorial: Journal-First Publication for
                                  the Software Engineering Community . . . 1:1--1:??
                 Will Dietz and   
                    Peng Li and   
                John Regehr and   
                    Vikram Adve   Understanding Integer Overflow in C/C++  2:1--2:29
          Sebastian Proksch and   
             Johannes Lerch and   
                    Mira Mezini   Intelligent Code Completion with
                                  Bayesian Networks  . . . . . . . . . . . 3:1--3:??
          Stefano Di Alesio and   
           Lionel C. Briand and   
               Shiva Nejati and   
                 Arnaud Gotlieb   Combining Genetic Algorithms and
                                  Constraint Programming to Support Stress
                                  Testing of Task Deadlines  . . . . . . . 4:1--4:??
            Mariano Ceccato and   
       Alessandro Marchetto and   
           Leonardo Mariani and   
               Cu D. Nguyen and   
                  Paolo Tonella   Do Automatically Generated Test Cases
                                  Make Debugging Easier? An Experimental
                                  Assessment of Debugging Effectiveness
                                  and Efficiency . . . . . . . . . . . . . 5:1--5:??
       Seyedeh Sepideh Emam and   
                   James Miller   Test Case Prioritization Using Extended
                                  Digraphs . . . . . . . . . . . . . . . . 6:1--6:??
                Robert Dyer and   
            Hoan Anh Nguyen and   
              Hridesh Rajan and   
                 Tien N. Nguyen   Boa: Ultra-Large-Scale Software
                                  Repository and Source-Code Mining  . . . 7:1--7:??
                Phil Mcminn and   
            Chris J. Wright and   
          Gregory M. Kapfhammer   The Effectiveness of Test Coverage
                                  Criteria for Relational Database Schema
                                  Integrity Constraints  . . . . . . . . . 8:1--8:??
                  Karim Ali and   
          Marianna Rapoport and   
       Ondrej Lhoták and   
               Julian Dolby and   
                      Frank Tip   Type-Based Call Graph Construction
                                  Algorithms for Scala . . . . . . . . . . 9:1--9:??
               Anas Mahmoud and   
                  Gary Bradshaw   Estimating Semantic Relatedness in
                                  Source Code  . . . . . . . . . . . . . . 10:1--10:??

ACM Transactions on Software Engineering and Methodology
Volume 25, Number 2, May, 2016

             David S. Rosenblum   Editorial  . . . . . . . . . . . . . . . 11:1--11:??
             Saba Alimadadi and   
           Sheldon Sequeira and   
                 Ali Mesbah and   
           Karthik Pattabiraman   Understanding JavaScript Event-Based
                                  Interactions with Clematis . . . . . . . 12:1--12:??
               Minghui Zhou and   
              Audris Mockus and   
                 Xiujuan Ma and   
                   Lu Zhang and   
                       Hong Mei   Inflow and Retention in OSS Communities
                                  with Commercial Involvement: a Case
                                  Study of Three Hybrid Projects . . . . . 13:1--13:??
               Nuno Machado and   
              Daniel Quinta and   
              Brandon Lucia and   
          Luís Rodrigues   Concurrency Debugging with Differential
                                  Schedule Projections . . . . . . . . . . 14:1--14:??
                 Petr Bauch and   
              Vojtech Havel and   
             Jirí Barnat   Control Explicit-Data Symbolic Model
                                  Checking . . . . . . . . . . . . . . . . 15:1--15:??
             Esteban Pavese and   
    Víctor Braberman and   
              Sebastian Uchitel   Less is More: Estimating Probabilistic
                                  Rewards over Partial System Explorations 16:1--16:??
          Robert M. Hierons and   
                  Miqing Li and   
                Xiaohui Liu and   
              Sergio Segura and   
                      Wei Zheng   SIP: Optimal Product Selection from
                                  Feature Models Using Many-Objective
                                  Evolutionary Optimization  . . . . . . . 17:1--17:??
                Haipeng Cai and   
            Raul Santelices and   
                  Douglas Thain   DiaPro: Unifying Dynamic Impact Analyses
                                  for Improved and Variable
                                  Cost-Effectiveness . . . . . . . . . . . 18:1--18:??
                Kapil Anand and   
            Khaled Elwazeer and   
               Aparna Kotha and   
           Matthew Smithson and   
               Rajeev Barua and   
              Angelos Keromytis   A Stack Memory Abstraction and Symbolic
                                  Analysis Framework for Executables . . . 19:1--19:??

ACM Transactions on Software Engineering and Methodology
Volume 25, Number 3, August, 2016

                 Islem Baki and   
                Houari Sahraoui   Multi-Step Learning and Adaptive Search
                                  for Learning Complex Model
                                  Transformations from Examples  . . . . . 20:1--20:??
                     Fei He and   
                Xiaowei Gao and   
               Miaofei Wang and   
               Bow-Yaw Wang and   
                    Lijun Zhang   Learning Weighted Assumptions for
                                  Compositional Verification of Markov
                                  Decision Processes . . . . . . . . . . . 21:1--21:??
            Jaspreet Bhatia and   
           Travis D. Breaux and   
                 Florian Schaub   Mining Privacy Goals from Privacy
                                  Policies Using Hybridized Task
                                  Recomposition  . . . . . . . . . . . . . 22:1--22:??
                   Ali Ouni and   
        Marouane Kessentini and   
            Houari Sahraoui and   
              Katsuro Inoue and   
                  Kalyanmoy Deb   Multi-Criteria Code Refactoring Using
                                  Search-Based Software Engineering: an
                                  Industrial Case Study  . . . . . . . . . 23:1--23:??
               Ivan Candela and   
            Gabriele Bavota and   
              Barbara Russo and   
                  Rocco Oliveto   Using Cohesion and Coupling for Software
                                  Remodularization: Is It Enough?  . . . . 24:1--24:??
                Gregory Gay and   
               Ajitha Rajan and   
                Matt Staats and   
             Michael Whalen and   
            Mats P. E. Heimdahl   The Effect of Program and Model
                                  Structure on the Effectiveness of MC/DC
                                  Test Adequacy Coverage . . . . . . . . . 25:1--25:??
        Ricardo M. Czekster and   
            Paulo Fernandes and   
             Lucelene Lopes and   
               Afonso Sales and   
             Alan R. Santos and   
                   Thais Webber   Stochastic Performance Analysis of
                                  Global Software Development Teams  . . . 26:1--26:??
               Chunbai Yang and   
                 Shangru Wu and   
                     W. K. Chan   Hierarchical Program Paths . . . . . . . 27:1--27:??

ACM Transactions on Software Engineering and Methodology
Volume 25, Number 4, May, 2017

           Artem Polyvyanyy and   
    Wil M. P. Van Der Aalst and   
  Arthur H. M. Ter Hofstede and   
                    Moe T. Wynn   Impact-Driven Process Model Repair . . . 28:1--28:??
                 Shams Azad and   
             Peter C. Rigby and   
                Latifa Guerrouj   Generating API Call Rules from Version
                                  History and Stack Overflow Posts . . . . 29:1--29:??
       Vijay Krishna Palepu and   
                 Guoqing Xu and   
                 James A. Jones   Dynamic Dependence Summaries . . . . . . 30:1--30:??
               Juan De Lara and   
                  Esther Guerra   A Posteriori Typing for Model-Driven
                                  Engineering: Concepts, Analysis, and
                                  Applications . . . . . . . . . . . . . . 31:1--31:??


ACM Transactions on Software Engineering and Methodology
Volume 26, Number 1, July, 2017

            Daniel Di Nardo and   
           Fabrizio Pastore and   
                  Lionel Briand   Augmenting Field Data for Testing
                                  Systems Subject to Incremental
                                  Requirements Changes . . . . . . . . . . 1:1--1:??
            Alireza Sadeghi and   
             Naeem Esfahani and   
                      Sam Malek   Ensuring the Consistency of Adaptation
                                  through Inter- and Intra-Component
                                  Dependency Analysis  . . . . . . . . . . 2:1--2:??
                Chris Mills and   
            Gabriele Bavota and   
               Sonia Haiduc and   
              Rocco Oliveto and   
             Andrian Marcus and   
                Andrea De Lucia   Predicting Query Quality for
                                  Applications of Text Retrieval to
                                  Software Engineering Tasks . . . . . . . 3:1--3:??
                   Shin Yoo and   
               Xiaoyuan Xie and   
              Fei-Ching Kuo and   
            Tsong Yueh Chen and   
                    Mark Harman   Human Competitiveness of Genetic
                                  Programming in Spectrum-Based Fault
                                  Localisation: Theoretical and Empirical
                                  Analysis . . . . . . . . . . . . . . . . 4:1--4:??
          Robert M. Hierons and   
        Uraz Cengiz Türker   Parallel Algorithms for Generating
                                  Distinguishing Sequences for Observable
                                  Non-deterministic FSMs . . . . . . . . . 5:1--5:??

ACM Transactions on Software Engineering and Methodology
Volume 26, Number 2, October, 2017

             David S. Rosenblum   Editorial  . . . . . . . . . . . . . . . 6:1--6:??
        Giuseppe Scanniello and   
               Michele Risi and   
        Porfirio Tramontana and   
                  Simone Romano   Fixing Faults in C and Java Source Code:
                                  Abbreviated vs. Full-Word Identifier
                                  Names  . . . . . . . . . . . . . . . . . 6:1--6:??
             Luciano Baresi and   
            Angelo Morzenti and   
              Alfredo Motta and   
Mohammad Mehdi Pourhashem K. and   
                   Matteo Rossi   A Logic-Based Approach for the
                                  Verification of UML Timed Models . . . . 7:1--7:??
          Chris Karanikolas and   
     Grigoris Dimitroulakos and   
          Konstantinos Masselos   Early Evaluation of Implementation
                                  Alternatives of Composite Data
                                  Structures Toward Maintainability  . . . 8:1--8:??

ACM Transactions on Software Engineering and Methodology
Volume 26, Number 3, January, 2018

              Paul C. Attie and   
            Saddek Bensalem and   
               Marius Bozga and   
              Mohamad Jaber and   
             Joseph Sifakis and   
                Fadi A. Zaraket   Global and Local Deadlock Freedom in BIP 9:1--9:??
                  Iago Abal and   
                  Jean Melo and   
        Stefan Stanciulescu and   
             Claus Brabrand and   
      Márcio Ribeiro and   
               Andrzej Wasowski   Variability Bugs in Highly Configurable
                                  Systems: a Qualitative Analysis  . . . . 10:1--10:??
              Joshua Garcia and   
             Mahmoud Hammad and   
                      Sam Malek   Lightweight, Obfuscation-Resilient
                                  Detection and Family Identification of
                                  Android Malware  . . . . . . . . . . . . 11:1--11:??

ACM Transactions on Software Engineering and Methodology
Volume 26, Number 4, February, 2018

               Khanh Nguyen and   
                   Kai Wang and   
                  Yingyi Bu and   
                    Lu Fang and   
                     Guoqing Xu   Understanding and Combating Memory Bloat
                                  in Managed Data-Intensive Systems  . . . 12:1--12:41
            Andrea De Lucia and   
          Vincenzo Deufemia and   
            Carmine Gravino and   
                   Michele Risi   Detecting the Behavior of Design
                                  Patterns through Model Checking and
                                  Dynamic Analysis . . . . . . . . . . . . 13:1--13:??
                   Yi Xiang and   
                 Yuren Zhou and   
                Zibin Zheng and   
                      Miqing Li   Configuring Software Product Lines by
                                  Combining Many-Objective Optimization
                                  and SAT Solvers  . . . . . . . . . . . . 14:1--14:??


ACM Transactions on Software Engineering and Methodology
Volume 27, Number 1, June, 2018

             David S. Rosenblum   Editorial  . . . . . . . . . . . . . . . 1:1--1:??
                Yuming Zhou and   
                Yibiao Yang and   
                 Hongmin Lu and   
                   Lin Chen and   
                  Yanhui Li and   
              Yangyang Zhao and   
                Junyan Qian and   
                      Baowen Xu   How Far We Have Progressed in the
                                  Journey? An Examination of Cross-Project
                                  Defect Prediction  . . . . . . . . . . . 1:1--1:??
             Santiago Vidal and   
         Iñaki Berra and   
          Santiago Zulliani and   
             Claudia Marcos and   
J. Andrés Díaz Pace   Assessing the Refactoring of Brain
                                  Methods  . . . . . . . . . . . . . . . . 2:1--2:??
             Yuanyuan Zhang and   
                Mark Harman and   
             Gabriela Ochoa and   
              Guenther Ruhe and   
              Sjaak Brinkkemper   An Empirical Study of Meta- and
                                  Hyper-Heuristic Search for
                                  Multi-Objective Release Planning . . . . 3:1--3:??
                 S. S. Emam and   
                      J. Miller   Inferring Extended Probabilistic
                                  Finite-State Automaton Models from
                                  Software Executions  . . . . . . . . . . 4:1--4:??