ACM DL

ACM Transactions on

Software Engineering and Methodology (TOSEM)

Menu
Latest Articles

How Far We Have Progressed in the Journey? An Examination of Cross-Project Defect Prediction

Assessing the Refactoring of Brain Methods

NEWS

ACM TOSEM welcomes three new Associate Editors to the Editorial Board. Welcome to Elisabetta Di Nitto, Massimilliano Di Penta, and Sam Malek.


2015-2016 Distinguished Referees Recognized. Full list available here.


Digital Library. For more information, visit the ACM Author Rights webpage.

 

About TOSEM

The Transactions on Software Engineering and Methodology (TOSEM) is part of the family of journals produced by the ACM, the Association for Computing Machinery.

TOSEM publishes one volume yearly. Each volume is comprised of four issues, which appear in January, April, July and October.

read more
Forthcoming Articles
An Empirical Study of Meta- and Hyper-Heuristic Search for Multi-Objective Release Planning

A variety of meta-heuristic search algorithms have been introduced for optimising software release planning. However, there has been no comprehensive empirical study of different search algorithms across multiple different real world datasets. In this paper we present an empirical study of global, local and hybrid meta- and hyper-heuristic search based algorithms on 10 real world datasets. We find that the hyper-heuristics are particularly effective. For example, the hyper-heuristic genetic algorithm significantly outperformed the other six approaches (and with high effect size) for solution quality 85% of the time, and was also faster than all others 70% of the time. Furthermore, correlation analysis reveals that it scales well as the number of requirements increases.

Inferring Extended Probabilistic Finite State Automaton Models from Software Executions

Behavioral models are useful tools in understanding how programs work. Although, several inference approaches have been introduced to generate Extended Finite State Automatons from software execution traces, they suffer from accuracy, flexibility and decidability issues. In this study, we apply a hybrid technique to use both Reinforcement Learning and stochastic modeling to generate an Extended Probabilistic Finite State Automaton from software traces. Our approach is able to address the problems of inflexibility and un-decidability, reported in other state of the art approaches. Experimental results indicate that ReHMM outperforms other inference algorithms.

Shadow Symbolic Execution for Testing Software Patches

While developers are aware of the importance of comprehensively testing patches, the large effort involved in coming up with relevant test cases means that such testing rarely happens in practice. Furthermore, even when test cases are written to cover the patch, they often exercise the same behaviour in the old and the new version of the code. In this article, we present a symbolic execution-based technique that is designed to generate test inputs that cover the new program behaviours introduced by a patch. The technique works by executing both the old and the new version in the same symbolic execution instance, with the old version shadowing the new one. During this combined shadow execution, whenever a branch point is reached where the old and the new version diverge, we generate a test case exercising the divergence and comprehensively test the new behaviours of the new version. We evaluate our technique on the Coreutils patches from the CoREBench suite of regression bugs, and show that it is able to generate test inputs that exercise newly added behaviours and expose some of the regression bugs.

FEMOSAA: Feature Guided and Knee Driven Multi-Objective Optimization for Self-Adaptive Software

Self-adaptive software (SAS) can adapt itself under changing environment at runtime in order to optimize conflicting non-functional objectives, e.g., throughput and cost. We present FEMOSAA, a novel framework that automatically synergizes the feature model and Multi-Objective Evolutionary Algorithm (MOEA), to optimize SAS at runtime. FEMOSAA operates on two phases: at design time, FEMOSAA automatically transposes the design of SAS, expressed as a feature model, to the MOEA, creating new chromosome representation and reproduction operators. At runtime, FEMOSAA utilizes the feature model as domain knowledge to guide the MOEA, providing a larger chance for finding better solutions. Additionally, we designed a new method to find knee solutions, which yield a balanced trade-off. We conducted comprehensive experiments to evaluate FEMOSAA on two running SAS: one consists of RUBiS and various adaptable real-world software under the FIFA98 workload; another is a service-oriented SAS that can be dynamically composed by services. Particularly, we compared FEMOSAA against four of its variants and three other frameworks for SAS under various scenarios, including three commonly applied MOEAs, two workload patterns and diverse conflicting quality objectives. The results reveal the effectiveness of FEMOSAA and its superiority over the others with high statistical significance and non-trivial effect sizes.

STADS: Software Testing as Species Discovery

The noble goal of software verification is to provide formal guarantees about the correctness of a program. In practice, however, automated verification remains elusive while automated testing experiences considerable traction. Yet, it seems testing provides no guarantees at all. Suppose, we are running the testing tool for seven days without finding an error. We cannot state with any degree of confidence that no bug exists. We cannot even make an informed decision whether it makes sense to continue or to abort the ongoing testing campaign. In this article, we develop a model of Software Testing and Analysis as Discovery of Species (STADS). We elicit an unexpected connection with the field of ecology and demonstrate how the STADS model can i) quantify the confidence that an ongoing testing campaign inspires in the program's correctness, ii) quantify the progress of an ongoing testing campaign towards completion, iii) extrapolate the current progress and confidence towards a given time in the future (e.g., to explore what-if scenarios), and iv) determine the expected time required if there is a certain progress to be achieved. Our empirical investigation demonstrates a good estimator performance (that improves with every generated test) for the state-of-the-art vulnerability detection tool, AFL.

Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores

CafeOBJ is a language for specifying a wide variety of software and hardware systems, and verifying properties of them. CafeOBJ makes it possible to verify properties by using either proof scores, which consists of reducing goal-related terms in user-defined modules, and by using theorem proving. While the former is more flexible, it lacks the formal support to ensure a property has been really proven. On the other hand, theorem proving might be too strict, and hence it hardens the verification of properties. In order to take advantage of the benefits of both techniques, we have extended CafeInMaude, a CafeOBJ interpreter implemented in Maude, with the CafeInMaude Proof Assistant (CiMPA) and the CafeInMaude Proof Generator (CiMPG). CiMPA is a proof assistant for proving inductive properties on CafeOBJ specifications that uses Maude metalevel features to allow programmers to create and manipulate CiMPA proofs. CiMPG provides a set of annotations for identifying proof scores and generating CiMPA scripts for these proof scores. We present CiMPA and CiMPG, detailing the behavior of CiMPA and the algorithm underlying CiMPG and illustrating the approach by using the QLOCK protocol. Finally, we present some benchmarks that give us confidence in the matureness and usefulness of these tools.

Maintaining Architecture-Implementation Conformance to Support Architecture Centrality

Architecture-centric development addresses the increasing complexity and variability of software systems by focusing on an architectural model, which is generally easier to understand and manipulate than source code. It requires a mechanism that can maintain architecture-implementation conformance during the architectural development and evolution. The challenge is twofold. There is an abstraction gap between software architecture and implementation, and the architecture may be frequently changed. Existing approaches are deficient in support for both change mapping and product line architecture. This paper presents a novel approach named 1.x-way mapping and its extension, 1.x-line mapping to support architecture-implementation mapping in single system development and in product line development respectively. They specifically address mapping architecture changes to code, maintaining variability conformance between product line architecture and code, and tracing architectural implementation. We built software tools named xMapper and xLineMapper to realize the two approaches, and conducted case studies with two existing open-source systems to evaluate the approaches.

TOSEM Editorial for 27:1

Bibliometrics

Publication Years 1992-2018
Publication Count 451
Citation Count 10828
Available for Download 451
Downloads (6 weeks) 2233
Downloads (12 Months) 21575
Downloads (cumulative) 483562
Average downloads per article 1072
Average citations per article 24
First Name Last Name Award
Gregory Abowd ACM Eugene L. Lawler Award for Humanitarian Contributions within Computer Science and Informatics (2009)
ACM Fellows (2008)
ACM Senior Member (2008)
Vikram Adve ACM Fellows (2014)
ACM Software System Award (2012)
Ana I Anton ACM Distinguished Member (2009)
Andrew W Appel ACM Fellows (1998)
George S Avrunin ACM Distinguished Member (2006)
Victor Basili ACM Fellows (1997)
Travis D. Breaux ACM Senior Member (2014)
Margaret Burnett ACM Fellows (2017)
ACM Distinguished Member (2015)
Stefano Ceri ACM Fellows (2013)
Shing-Chi Cheung ACM Distinguished Member (2016)
Edmund Clarke ACM A. M. Turing Award (2007)
ACM Fellows (1998)
ACM Paris Kanellakis Theory and Practice Award (1998)
Lori Clarke ACM Fellows (1998)
Ernesto Damiani ACM Distinguished Member (2008)
Kalyanmoy Deb ACM Senior Member (2011)
Richard Demillo ACM Fellows (2003)
Laura Dillon ACM Distinguished Member (2009)
ACM Senior Member (2009)
Matthew B Dwyer ACM Distinguished Member (2007)
Alexander Egyed ACM Senior Member (2014)
E. Allen Emerson ACM A. M. Turing Award (2007)
ACM Paris Kanellakis Theory and Practice Award (1998)
Michael D Ernst ACM Fellows (2014)
Michael D. Ernst ACM Doctoral Dissertation Award
Honorable Mention (2000) ACM Doctoral Dissertation Award
Honorable Mention (2000)
Martin Erwig ACM Senior Member (2008)
Yishai Feldman ACM Senior Member (2007)
Edward W. Felten ACM Fellows (2007)
Roy T. Fielding ACM Software System Award (1999)
Stephen Fink ACM Distinguished Member (2011)
ACM Senior Member (2008)
Stephanie Forrest ACM AAAI Allen Newell Award (2011)
David Garlan ACM Fellows (2013)
ACM Senior Member (2008)
Carlo Ghezzi ACM Fellows (1999)
Susan L Graham ACM-IEEE CS Ken Kennedy Award (2011)
ACM Distinguished Service Award (2006)
ACM Fellows (1994)
Alex Groce ACM Senior Member (2017)
Rajiv Gupta ACM Fellows (2009)
David Harel ACM Software System Award (2007)
ACM Fellows (1994)
ACM Karl V. Karlstrom Outstanding Educator Award (1992)
Mary Harrold ACM Fellows (2003)
James Hendler ACM Fellows (2016)
Laurie J Hendren ACM Fellows (2009)
John H Howard ACM Software System Award (2016)
Daniel Jackson ACM Fellows (2016)
Matthias Jarke ACM Fellows (2013)
Somesh Jha ACM Fellows (2016)
ACM Distinguished Member (2014)
Angelos Dennis Keromytis ACM Fellows (2017)
ACM Distinguished Member (2012)
ACM Senior Member (2007)
Ondrej Lhotak ACM Senior Member (2013)
Barbara Liskov ACM A. M. Turing Award (2008)
ACM Fellows (1996)
Cristina Videira Lopes ACM Distinguished Member (2011)
Nancy Lynch ACM Athena Lecturer Award (2012)
ACM Fellows (1997)
Andrian Marcus ACM Senior Member (2011)
Nenad Medvidovic ACM Distinguished Member (2015)
Gail C Murphy ACM Fellows (2017)
ACM Distinguished Member (2010)
Andrew Clifford Myers ACM Fellows (2013)
Brad A Myers ACM Fellows (2005)
Amnon Naamad ACM Software System Award (2007)
David S Notkin ACM Fellows (1998)
Alessandro Orso ACM Senior Member (2012)
Leon J Osterweil ACM Fellows (1998)
Gian Pietro Picco ACM Senior Member (2014)
Hridesh Rajan ACM Distinguished Member (2017)
ACM Senior Member (2014)
Ganesan Ramalingam ACM Fellows (2016)
ACM Distinguished Member (2009)
Thomas Reps ACM Fellows (2005)
ACM Doctoral Dissertation Award (1983)
Martin Robillard ACM Senior Member (2010)
David S. Rosenblum ACM Fellows (2010)
Michael Rung-Tsong Lyu ACM Fellows (2015)
Barbara Gershon Ryder ACM Presidential Award (2008)
ACM Fellows (1998)
Joseph Sifakis ACM Fellows (2012)
ACM A. M. Turing Award (2007)
Riccardo Sisto ACM Senior Member (2010)
Mary Lou Soffa ACM-IEEE CS Ken Kennedy Award (2012)
ACM Fellows (1999)
Diomidis Spinellis ACM Senior Member (2006)
Richard N Taylor ACM Fellows (1998)
Walter F. Tichy ACM Fellows (2012)
ACM Distinguished Member (2010)
ACM Senior Member (2006)
Frank Tip ACM Distinguished Member (2008)
Sebastian Uchitel ACM Distinguished Member (2015)
ACM Senior Member (2013)
Elaine Weyuker ACM Presidential Award (2010)
ACM Fellows (1997)
Laurie Ann Williams ACM Distinguished Member (2011)
Jeannette M. Wing ACM Distinguished Service Award (2014)
ACM Fellows (1998)
Alexander L Wolf ACM Fellows (2006)
Michael Wooldridge ACM Fellows (2015)
Tao Xie ACM Distinguished Member (2015)
ACM Senior Member (2011)
Franco Zambonelli ACM Distinguished Member (2012)
ACM Senior Member (2009)
Pamela Zave ACM Fellows (2001)
Andreas Zeller ACM Fellows (2010)
Lu Zhang ACM Senior Member (2016)

First Name Last Name Paper Counts
Gregg Rothermel 9
Lionel, Briand 7
Angelo Morzenti 6
Mark Harman 6
Robert Hierons 6
Mauro Pezzé 6
Mary Harrold 6
Gail Murphy 6
Gruia Roman 6
Alexander Wolf 6
Martin Robillard 5
Abhik Roychoudhury 5
William Griswold 5
Yannis Smaragdakis 5
David Binkley 5
Walter Tichy 5
Sebastian Elbaum 4
David Notkin 4
Kevin Sullivan 4
Giuseppe Scanniello 4
Guoqing Xu 4
Premkumar Dévanbu 4
Laura Dillon 4
Tsongyueh Chen 4
Jeff Kramer 4
Mary Soffa 4
Hridesh Rajan 4
Margaret Burnett 4
Luciano Baresi 4
Lori Clarke 4
Atif Memon 4
Sebastián Uchitel 4
David Rosenblum 4
David Harel 3
Paul Klint 3
Paolo Ciancarini 3
André Van Der Hoek 3
Dawei Qi 3
Michele Risi 3
Gabriele Bavota 3
Andrea De Lucia 3
Shiva Nejati 3
Andy Podgurski 3
Thomas Reps 3
Don Batory 3
Marouane Kessentini 3
Alfonso Fuggetta 3
Peter McCann 3
David Garlan 3
Brian Fitzgerald 3
Leon Osterweil 3
Andrea Arcuri 3
CARMINE GRAVINO 3
Shin Yoo 3
Rocco Oliveto 3
Robert Allen 3
Denys Poshyvanyk 3
Phil McMinn 3
Pierluigi Pietro 3
Kalyanmoy Deb 3
Christoph Csallner 3
Andrew Offutt 3
Daniel Jackson 3
Tao Yue 3
Gregor Snelting 3
Gian Picco 3
Shingchi Cheung 3
Audris Mockus 3
Richard Taylor 3
Carlo Ghezzi 3
Pamela Zave 3
Reidar Conradi 3
Michal Young 2
Carlo Bellettini 2
Gordon Fraser 2
Atanas Rountev 2
Victor Basili 2
Yuming Zhou 2
Lionel Briand 2
Samik Basu 2
Marsha Chećhik 2
Louise Moser 2
Christoph Reichenbach 2
Esther Guerra 2
Houari Sahraoui 2
Travis Breaux 2
Huoyan Chen 2
Christian Schallhart 2
Harvey Siy 2
Rolf Adams 2
Dennis Heimbigner 2
Matt Staats 2
Munindar Singh 2
Jens Krinke 2
Lawrence Votta 2
Ankit Goel 2
Barbara Ryder 2
Sandro Morasca 2
Amy Zaremski 2
Alberto Coen-Porisini 2
Saurabh Sinha 2
Mira Mezini 2
Nazareno Aguirre 2
Slim Bechikh 2
Andrian Marcus 2
Sam Malek 2
George Kutty 2
Juan De Lara 2
Arthur Hofstede 2
Miguel Felder 2
Jonathan Ostroff 2
Susan Horwitz 2
Annette Weinert 2
Robert Dyer 2
Mark Van Den Brand 2
Jeannette Wing 2
Nenad Medvidović 2
Marcelo Frias 2
Yvan Labiche 2
Michael Jackson 2
Eli Tilevich 2
T Tse 2
Elaine Weyuker 2
Giovanni Cantone 2
Yishai Feldman 2
Franco Zambonelli 2
Ernesto Damiani 2
Eran Yahav 2
Adam Porter 2
Martin Erwig 2
Panagiotis Louridas 2
Ernest Emerson 2
Víctor Braberman 2
Tracy Hall 2
Tevfik Bultan 2
Alessandro Orso 2
Matteo Rossi 2
Lu Zhang 2
Marlon Dumas 2
Malcom Gethers 2
Leonardo Mariani 2
Jamieson Cobleigh 2
Wolfgang Emmerich 2
Davide Falessi 2
Maria Fugini 2
Carlos López Pombo 2
Genoveffa Tortora 2
Xiaoyuan Xie 2
Matthew Arnold 2
Stefania Gnesi 2
Peter Melliar-Smith 2
Y Ramakrishna 2
Wil Van Der Aalst 2
Matthew Dwyer 2
James Hunt 2
Dino Mandrioli 2
Peter Rigby 2
George Avrunin 2
Miqing Li 2
Baowen Xu 2
Yuanfang Cai 2
Paul Guernic 2
Thierry GAUTIER 2
Vincenzo Deufemia 2
Qing Xie 2
Ondřej Lhoták 2
Manfred Broy 2
Ali Ouni 2
Sven Apel 2
W Chan 2
Wes Masri 2
Jonathan Cook 2
Rajiv Gupta 2
Carl Gunter 1
Kiemphong Vo 1
David Redmiles 1
Tohru Kikuno 1
Alexey Malishevsky 1
Praveen Kallakuri 1
Lu Zhang 1
Jiasu Sun 1
Jason Crampton 1
Wilhelm Schäfer 1
Andy Schürr 1
Vasileios Vlachos 1
Peng Li 1
Vikram Adve 1
Petr Bauch 1
Jiří Barnat 1
Luís Rodrigues 1
Didar Zowghi 1
Ralf Lämmel 1
Yuentak Yu 1
Simon Kaplan 1
Minghui Zhou 1
Emmanuel Geay 1
Dong Yuan 1
Stephen Siegel 1
Tao Xie 1
James Miller 1
Mehrdad Sabetzadeh 1
Jinjun Chen 1
José Fiadeiro 1
Hadi Hemmati 1
Yang Liu 1
Ling Shi 1
Charles Zhang 1
Gabriel Baum 1
Gilles Roussel 1
Hugh Robinson 1
Daniel Germán 1
Marcelo Frias 1
Tobias Roehm 1
Kai Pan 1
Mathias Schwarz 1
Dilan Sahin 1
Richard Banach 1
Zibin Zheng 1
Darko Marinov 1
Patrice Koligheu 1
Caitlin Owen 1
Elena Sherman 1
Edith Schonberg 1
Mohammad K 1
Antonella Santone 1
Nicoletta Francesco 1
Hongmin Lu 1
Lin Chen 1
Arka Ghosh 1
Gunter Saake 1
Paul Strooper 1
Philippe Thiran 1
Ioana Manolescu 1
Chao Wang 1
Patrick Schaumont 1
Farouk Toumani 1
Kieran Conboy 1
Hongyu Zhang 1
Jinsong Dong 1
Christian Kästner 1
Funting Chan 1
Gianluigi Caldiera 1
Robert Walker 1
Author index 1
Kiran Lakhotia 1
Chong Sun 1
Omer Tripp 1
Takaaki Tateishi 1
Giovanni Denaro 1
Hervé Chang 1
Chen Fu 1
Roberto Paleari 1
Javier Soriano 1
Andrew Appel 1
Nalini Venkatasubramanian 1
Richard DeMillo 1
Shmuel Tyszberowicz 1
Amiram Yehudai 1
Stefano Cinti 1
Elena Orazi 1
Patricia Lago 1
Hareton Leung 1
Martin Leucker 1
Roland Untch 1
Ian Bayley 1
Victor Braberman 1
Ferhat Khendek 1
Charles Yang 1
Francis Wolff 1
Andreas Zeller 1
Jean Jézéquel 1
Piergiorgio Mirandola 1
T Dinesh 1
Daniel Yankelevich 1
Marija Mikic-Rakic 1
Jungmin Kim 1
Jurgen Vinju 1
Matteo Pradella 1
Luca Durante 1
Jason Robbins 1
Alexander Shvartsman 1
Vincent Mooney 1
Weitek Tsai 1
Gregor Engels 1
Manfred Nagl 1
Stefano Di Alesio 1
Gary Bradshaw 1
Chris Wright 1
Julian Dolby 1
Frank Tip 1
Tien Nguyen 1
Esteban Pavese 1
Raul Santelices 1
Matthew Smithson 1
Rajeev Barua 1
Vincenzo Gervasi 1
Farn Wang 1
Alessandro Marchetto 1
Ingolf Krüger 1
Michael Meisinger 1
Sheldon Sequeira 1
Hong Mei 1
Hareton Leung 1
Yun Yang 1
Xiaohui Liu 1
Sergio Segura 1
Amy Felty 1
Antónia Lopes 1
Eric Bodden 1
Bikram Sengupta 1
Sarah Beecham 1
Helen Sharp 1
Dick Hamlet 1
Matteo Tanca 1
Anirudh Santhiar 1
Gianna Reggio 1
Neha Rungta 1
Sarfraz Khurshid 1
Michael Unterkalmsteiner 1
Muhammad Babar 1
Abdoulaye Gamatié 1
Jean Talpin 1
Wen Su 1
Xiaofeng Wu 1
Dharmalingam Ganesan 1
Jingwen Ou 1
Iago Abal 1
Rohan Sharma 1
Danny Dig 1
Nicolò Perino 1
Tsongyueh Chen 1
Alireza Sadeghi 1
Alfredo Motta 1
Gregory Dimitroulakos 1
Junyan Qian 1
Mainul Islam 1
Santiago Zulliani 1
J Pace 1
Ugo Montanari 1
Jean Hainaut 1
Warda El Kholy 1
Hong Mei 1
Paulo Fernandes 1
Katsuro Inoue 1
Ugo Buy 1
Ekwa Duala-Ekoko 1
Phillip Brooke 1
Nirmit Desai 1
Amit Chopra 1
Thomas Pawlitzki 1
Leon Binder 1
Stefano Tonetta 1
Paul Groth 1
Baowen Xu 1
Neil Walkinshaw 1
Kirill Bogdanov 1
David Piorkowski 1
Danilo Bruschi 1
Wilfredo Marrero 1
Robert Cameron 1
Andrew Myers 1
Roy Fielding 1
Gennaro Costagliola 1
István Forgács 1
David Basin 1
Chaim Kahana 1
Lee White 1
Andrew Ko 1
Shahar Maoz 1
Ammei Lee 1
David Clark 1
Daniel Sinnig 1
Phyllis Frankl 1
William Howden 1
Kari Nies 1
Yolanda McCleese 1
Li Li 1
Steven Reiss 1
Klaus Pohl 1
Kevin Mills 1
Dale Von Heeder 1
Erica Lan 1
Nancy Lynch 1
Wei Zhao 1
Mingming Cao 1
Claus Lewerentz 1
Diomidis Spinellis 1
Artem Polyvyanyy 1
Mariano Ceccato 1
Robrecht Haesevoets, 1
Andrea Lucia 1
Wei Zheng 1
Anthony Finkelsteiin 1
Anand Tripathi 1
Martin Monperrus 1
Nicolás D'Ippolito 1
Lujo Bauer 1
Yepang Liu 1
Jon Whittle 1
Antonio Brogi 1
Shingchi Cheung 1
Walid Maalej 1
Rebecca Tiarks 1
Marco Torchiano 1
Guowei Yang 1
Tao Xie 1
Tony Gorschek 1
Carlos Pombo 1
Nicolas Gold 1
Genoveffa Tortora 1
Emily Hill 1
Marius Bozga 1
Joseph Sifakis 1
Mahmoud Hammad 1
Adnan Shaout 1
Peter Whigham 1
Antonio Carzaniga 1
Sonia Haiduc 1
Konstantinos Masselos 1
Lucas Layman 1
Yanhui Li 1
Yangyang Zhao 1
Iñaki Berra 1
Paul Jennings 1
Alessandro Fantechi 1
Benet Devereux 1
Geert Houben 1
Amy Murphy 1
Rachida Dssouli 1
Jesús Cuadrado 1
Jaspreet Bhatia 1
R Devarapalli 1
Heebeng Tan 1
Jamie Payton 1
Philip Bernhard 1
Gary Leavens 1
Ben Di Vito 1
Shay Artzi 1
Yun Yang 1
Shan Lu 1
Tsongyueh Chen 1
Collin McMillan 1
Genoveva López 1
Dewayne Perry 1
Haim Schneider 1
Michael Butler 1
Torsten Lodderstedt 1
Fausto Fasano 1
Macneil Shonle 1
Brendan Murphy 1
Yossi Cohen 1
Nicholas Jennings 1
Asaf Kleinbort 1
Guido Caso 1
Mira Balaban 1
Francesco Parisi-Presicce 1
David Levine 1
Wassim Masri 1
Medha Umarji 1
Andrei Sheretov 1
Ralf Klamma 1
Daniela Kühn 1
F Franze` 1
Paola Inverardi 1
Bob MacDonald 1
Adriano Valenzano 1
Tankut Akgul 1
Laurie Hendren 1
Anas Mahmoud 1
Latifa Guerrouj 1
Brandon Lucia 1
Angelos Keromytis 1
Chris Verhoef 1
Gail Kaiser 1
Aloysius Mok 1
Cu Nguyen 1
Ali Mesbah 1
Ernst Ellmer 1
Éric Tanter 1
Brian Demsky 1
Patrick Lam 1
Juan Galeotti 1
Jeff Huang 1
Robert Merkel 1
Parastoo Mohagheghi 1
Amer Diwan 1
Răzvan Popescu 1
Klaas Stol 1
Pingyu Zhang 1
Yan Lucas 1
Mikael Lindvall 1
Yingyi Bu 1
Milos Gligoric 1
Alex Groce 1
Chaoqiang Zhang 1
Wei Jin 1
Wiem Mkaouer 1
Pradeep Murukannaiah 1
Brady Garvin 1
Chris Karanikolas 1
Marvin Zelkowitz 1
Gigliola Vaglini 1
Kathryn Stolee 1
Claudia Marcos 1
Tim Miller 1
Marco Pistore 1
Gian Ferrari 1
Hongyang Qu 1
Dan Hao 1
Lingming Zhang 1
Barbara Russo 1
Islem Baki 1
Michael Whalen 1
Mats Heimdahl 1
Kalpesh Kapoor 1
Vasanth Rajamani 1
Pieter Hooimeijer 1
Yoonsik Cheon 1
Robert Ballance 1
Carmen Trammell 1
Alessandro Cimatti 1
Marco Roveri 1
Alexander Wise 1
Jinjun Chen 1
Marcello La Rosa 1
Sagar Chaki 1
Irwin Kwan 1
Marco Pistoia 1
Giampaolo Roglia 1
Eduardo Ostertag 1
Ana Milanova 1
Lynn Pierce 1
Zhendong Su 1
Yuanyuan Song 1
Luigi Lavazza 1
Maria Jaccheri 1
Mikio Aoyama 1
Steven Zeil 1
Jon Doyle 1
Shanshan Huang 1
Brad Myers 1
Gregory Abowd 1
Michael Wooldridge 1
Robin Gandhi 1
Barthélémy Dagenais 1
Christian Zapf 1
Francesco Bergadano 1
Kevin Hoffman 1
Debra Brodbeck 1
Bogdan Korel 1
Sandeep Kulkarni 1
Susanelliott Sim 1
Cristina Lopes 1
Christopher Dupuis 1
Matthias Jarke 1
Klaus Weidenhaupt 1
Peter Haumer 1
Viktor Gyuris 1
Naftaly Minsky 1
Richard Gerber 1
Clay Johnson 1
Roshanak Roshandel 1
John Bible 1
Bevin Brett 1
Idit Keidar 1
Lorenzo Donatiello 1
James Kiper 1
James Miller 1
Moe Wynn 1
James Jones 1
Douglas Thain 1
Nuno Machado 1
Daniel Quinta 1
James Whittaker 1
Jesse Poore 1
Stephen Fink 1
Igor Melatti 1
Paolo Tonella 1
Anastasia Mironova 1
Amrit Tiwana 1
Kedar Namjoshi 1
Michel Wermelinger 1
Rawad Assi 1
Dario Fischbein 1
Tanvir Ahmed 1
Étienne André 1
Nir Piterman 1
David Leblang 1
Jean Berstel 1
Stefano Crespi-Reghizzi 1
Johannes Henkel 1
Praveen Jayaraman 1
Chang Xu 1
Paris Avgeriou 1
Rainer Koschke 1
Egidio Astesiano 1
Robert Feldt 1
Anders Møller 1
José Cruz-Lemus 1
Thomas Fritz 1
Ştefan Stănciulescu 1
Claus Brabrand 1
Fadi Zaraket 1
Joshua Garcia 1
Ivan Bocić 1
Alessandra Gorla 1
Nick Mitchell 1
Santiago Vidal 1
Ralph Jeffords 1
Constance Heitmeyer 1
Elisabetta Di Nitto 1
Alexandre Petrenko 1
Piero Fraternali 1
Mohamed Menshawy 1
Ricardo Czekster 1
Sol Shatz 1
Christine Julien 1
Kotagiri Ramamohanarao 1
Michael Van De Vanter 1
Ben Smith 1
Angelo Susi 1
Adam Kieżun 1
Vijay Ganesh 1
Michael Ernst 1
John Anvik 1
Wei Zhang 1
Remco Dijkman 1
Zibin Zheng 1
Michael Lyu 1
Scott Fleming 1
Joseph Lawrance 1
Michael Würsch 1
Qing Xie 1
Mark Grechanik 1
Lorenzo Martignoni 1
Philip Fong 1
Antonio Durante 1
Edmund Clarke 1
Carolyn Talcott 1
Marco Mamei 1
Donglin Liang 1
Giuseppe Polese 1
James Hendler 1
Jane Ransom 1
Ian Sommerville 1
Magne Jørgensen 1
David Zook 1
Seokwon Lee 1
Josh Dehlinger 1
Patrick Eugster 1
Matteo Pradella 1
Yudong Huang 1
John Howard 1
Sukanya Ratanotayanon 1
Cecilia Mascolo 1
Hermann Kaindl 1
Steve Counsell 1
Marco Bernardo 1
Aparna Kotha 1
Sergiu Dascalu 1
Will Dietz 1
Gregory Kapfhammer 1
Shams Azad 1
Vojtĕch Havel 1
Manfai Lau 1
Ganesan Ramalingam 1
Danny Weyns 1
Xiao Liu 1
Brian Lings 1
Jehad Al Dallal 1
Devdatta Kulkarni 1
Anna Queralt 1
Ernest Teniente 1
Yan Liu 1
Timothy Meyers 1
Arie Arie Van Deursen 1
Darcy Wiborg-Weber 1
Jacky Estublier 1
Tom Maibaum 1
Zhe Fu 1
Jay Ligatti 1
Nathan Baddoo 1
Yueqi Li 1
Xiangyu Zhang 1
Yi Sun 1
Deepak Kapur 1
Filippo Ricca 1
Shriram Krishnamurthi 1
Daekyoo Kim 1
Inmaculada Medina-Bulo 1
Yi Xiang 1
Yuren Zhou 1
Márcio Ribeiro 1
Kai Wang 1
Mohamad Jaber 1
Jooyong Yi 1
Stephen MacDonell 1
Mauro Pezzè 1
Gary Sevitsky 1
Alessandro Lapadula 1
Francesco Tiezzi 1
Steve Easterbrook 1
Gianpaolo Cugola 1
Avik Sinha 1
Alan Santos 1
Thais Webber 1
Fei He 1
Gregory Gay 1
Ajitha Rajan 1
Shangru Wu 1
Jan Mendling 1
Christian Creveuil 1
Scott Smolka 1
Yuan Zhao 1
Andrew Martin 1
Lee Naish 1
Bingchiang Jeng 1
Laurie Williams 1
Reina Uba 1
Junghee Lim 1
Rachel Bellamy 1
Helmut Veith 1
Hoang Nguyen 1
Xin Yao 1
Fernando Alonso 1
Éric Rutten 1
Y Tang 1
Barbara Liskov 1
Gul Agha 1
Ruben Diaz 1
Gary Wassermann 1
Param Singh 1
Rik Eshuis 1
Jürgen Doser 1
Nishit Tewari 1
Vibhu Sharma 1
Sean O'Malley 1
Faten Afifi 1
Rafael Capilla 1
Diego Garbervetsky 1
Sebastian Uchitel 1
Azzam Maraee 1
Alfonso Pierantonio 1
Roger Ferguson 1
Mark Jones 1
Madeline Diep 1
Ralf Domges 1
James Corbett 1
Todd Graves 1
Robert Bowdidge 1
Roger Khazan 1
Michael Schrefl 1
Markus Stumptner 1
Stefan Kramer 1
Stephen Swift 1
Curtis Cook 1
Johnny Martin 1
Marcel Karam 1
Trevor Smedley 1
Seyedeh Emam 1
Arnaud Gotlieb 1
John Regehr 1
Marianna Rapoport 1
Vijay Palepu 1
Khaled ElWazeer 1
Sebastian Proksch 1
Xiujuan Ma 1
Nurit Dor 1
Federico Mari 1
Enrico Tronci 1
Saba Alimadadi 1
David Notkin 1
Tom Holvoet 1
Anders Mattsson 1
Björn Lundell 1
Geoffrey Clemm 1
Eric Dashofy 1
David Walker 1
Çigdem Gencel 1
Laura Cowen 1
Stephanie Forrest 1
ThanhVu Nguyen 1
Omesh Pandita 1
Aditya Kanade 1
Xintao Wu 1
Marcela Genero 1
Khanh Nguyen 1
Andrzej Wąsowski 1
Saddek Bensalem 1
Frank Padberg 1
Cosmin Radoi 1
Gabriella Dodero 1
Matthew Dwyer 1
Feiching Kuo 1
Porfirio Tramontana 1
Giuseppe Lettieri 1
Daniel Dobos 1
Razieh Behjati 1
Macneil Shonle 1
Franco Mazzanti 1
Rosario Pugliese 1
Jaymie Strecker 1
Bruce Labaw 1
Vincenzo Ambriola 1
Jerome Plun 1
Torsten Robschink 1
Kaituo Li 1
Hassan Eldib 1
Jamal Bentahar 1
Ivan Candela 1
Florian Schaub 1
Lijun Zhang 1
Chunbai Yang 1
Chun Ouyang 1
Jaideep Nijjar 1
Mohammad Alipour 1
Shinhwei Tan 1
Daniel Di Nardo 1
Fabrizio Pastore 1
Chris Mills 1
Naeem Esfahani 1
Uraz Türker 1
Simone Romano 1
Yibiao Yang 1
Sorin Lerner 1
Christian Kästner 1
Thomas Thüm 1
Kapil Vaswani 1
Zhenkai Liang 1
Arie Gurfinkel 1
Djamal Benslimane 1
Marco Brambilla 1
Stefano Ceri 1
Carol Smidts 1
Lucelene Lopes 1
Afonso Sales 1
Bowyaw Wang 1
Xiaowei Gao 1
Miaofei Wang 1
Julien Ponge 1
Boualem Benatallah 1
Fabio Casati 1
Richard Paige 1
Chunqing Chen 1
Cathrine Snyder 1
Judith Crow 1
Reid Holmes 1
Simon Miles 1
Luc Moreau 1
Christopher Scaffidi 1
Roberto Cosmo 1
Davide Tosi 1
Leandro Minku 1
Emanuel Giger 1
David Lizcano 1
R Houdebine 1
Roberto Gorrieri 1
Somesh Jha 1
Angelo Gargantini 1
Jeff Magee 1
P Thiagarajan 1
Gleb Naumovich 1
Carl Gould 1
Colin Snook 1
Bashar Nuseibeh 1
Anthony Hunter 1
Pankaj Jalote 1
Tanja Gruschke 1
Atanas Rountev 1
Robyn Lutz 1
Andreas Bauer 1
Daniele Gunetti 1
Philippe Kruchten 1
Scott Henninger 1
Sriram Gopal 1
Martin Vechev 1
Emanuele Ciapessoni 1
Aravinda Sistla 1
Hassan Gomaa 1
Christopher League 1
Helen Callison 1
Riccardo Sisto 1
Stanley Sutton 1
Tatsuhiro Tsuchiya 1
Xuemei Qiu 1
Sastry Duri 1
Jonathan Bowen 1
Jun Sun 1
Friedrich Steimann 1
Huajie Lee 1
Susan Graham 1
Kurt Olender 1
Andrew Meneely 1
Philip Guo 1
Daniel Barrett 1
Amnon Naamad 1
Peri Tarr 1
Steve Munroe 1
Zhenyu Chen 1
Jérôme Vouillon 1
Harald Gall 1
Baowen Xu 1
Feiching Kuo 1
Alessandro Reina 1
Jean Beauvais 1
Riccardo Focardi 1
Edward Felten 1
Dan Wallach 1
James Herbsleb 1
Christine Braun 1
Wuu Yang 1
Rocco Oliveto 1
Giandomenico Oldano 1
Joe Sventek 1
Annie Antón 1
Changhai Nie 1
Wei Le 1
Beatriz Marín 1
Giovanni Giachetti 1
Óscar Pastor 1
Tanja Vos 1
Alain Abran 1
Hong Zhu 1
Patrice Chalin 1
Roongko Doong 1
Eelco Visser 1
Ali Ebnenasir 1
John Doppke 1
Eric Walkingshaw 1
Pericles Loucopoulos 1
Frank Tip 1
Victoria Ungureanu 1
Fuqing Yang 1
Yin Liu 1
Darren Brown 1
Marc Fisher 1
Gary Schneider 1
Alexander Egyed 1
Karim Ali 1
Hoan Nguyen 1
Haipeng Cai 1
Kapil Anand 1
Johannes Lerch 1
Ivano Salvo 1
Karthik Pattabiraman 1
Andrew Tappenden 1
Lin Chen 1
Christian Nentwich 1
Greg Brunet 1
Milton Inostroza 1
Nicolas D’Ippolito 1
Jun Sun 1
Jinsong Dong 1
Jinguo Zhou 1
Leon Moonen 1
Marius Marin 1
Onur Demirörs 1
Chunyang Ye 1
Margaret Storey 1
Min Zhang 1
David Bowes 1
Westley Weimer 1
Suzette Person 1
Mariano Moscato 1
Kathi Fisler 1
Huibiao Zhu 1
Lunjin Lu 1
Francisco Palomo-Lozano 1
Jian Ren 1
Emerson Murphy-Hill 1
Lu Fang 1
Jean Melo 1
Paul Attie 1

Affiliation Paper Counts
Singapore University of Technology and Design 1
Linnaeus University, Kalmar 1
Universite Grenoble Alpes 1
Universidade de Lisboa 1
IBM, Japan 1
SINTEF Digital 1
Buenos Aires Institute of Technology 1
Middle Tennessee State University 1
Bowling Green State University 1
Universidad Rey Juan Carlos 1
University of Nebraska at Omaha 1
Xerox Corporation 1
Chinese Academy of Sciences 1
Leiden University 1
Comision de Investigaciones Cientificas - La Plata 1
University of Liverpool 1
IBM, USA 1
New York University 1
Indian Institute of Technology, Kanpur 1
University of Connecticut 1
University of Delaware 1
The King's University College, Edmonton 1
Universite Claude Bernard Lyon 1 1
Shanghai University 1
Portland State University 1
Motorola 1
Catholic University of Leuven, Leuven 1
ViGYAN, Inc. 1
University of Teesside 1
University of Udine 1
IBM Haifa Labs 1
Microsoft Corporation 1
Vrije Universiteit Brussel 1
DePaul University 1
University of Edinburgh 1
University of Roma Tor Vergata 1
Hungarian Academy of Sciences 1
Swiss Federal Institute of Technology, Lausanne 1
University of New South Wales 1
University of Memphis 1
Siemens AG 1
Universidad Nacional de Educacion a Distancia 1
Macalester College 1
University of Ottawa, Canada 1
University of Athens 1
University of Hawaii System 1
Wuhan University 1
Texas State University-San Marcos 1
Central Washington University 1
McMaster University 1
New University of Lisbon 1
National University of La Plata 1
University of Urbino 1
Korea Advanced Institute of Science & Technology 1
Accenture 1
Miami University Oxford 1
Indian Institute of Technology, Delhi 1
TU Dortmund University 1
University of Seville 1
University of London 1
University of Kuwait 1
Martin Marietta Energy Systems Inc 1
Google Switzerland GmbH 1
Teknowledge Corporation 1
Microsoft Research Cambridge 1
Microsoft Research India 1
I-Logix Inc. 1
Karlsruhe Institute of Technology 1
GE Medical Systems 1
Dhirubhai Ambani Institute of Information and Communication Technology 1
Kansas State University 1
NASA Langley Research Center 1
Boise State University 1
University of Glasgow 1
Mississippi State University 1
University of Nevada, Reno 1
Rochester Institute of Technology 1
Instituto de Engenharia de Sistemas e Computadores Investigacao e Desenvolvimento em Lisboa 1
University of Quebec System 1
University of Calgary 1
Universidad Andres Bello 1
Bar-Ilan University 1
Illinois Institute of Technology 1
University of Texas at San Antonio 1
University of Rostock 1
Northwestern Polytechnical University China 1
Towson University 1
NASA Ames Research Center 1
University of Sannio 1
Consejo Nacional de Investigaciones Cientificas y Tecnicas 1
Lawrence Technological University 1
Rice University 1
Federal University of Alagoas 1
Yale University 1
Los Alamos National Laboratory 1
Google Inc. 1
University of Pennsylvania 1
Louisiana State University 1
Old Dominion University 1
University of South Florida Tampa 1
Goethe University Frankfurt 1
Cornell University 1
College of Wooster 1
Bremen University 1
AT&T Laboratories Florham Park 1
National University of Ireland, Galway 1
Guilin University of Electronic Technology 1
Australian National University 1
Jet Propulsion Laboratory 1
Wayne State University 1
University of Adelaide 1
Avaya Inc. 1
University of Groningen 1
Worcester Polytechnic Institute 1
Nanzan University 1
INRIA Rhone-Alpes 1
The Interdisciplinary Center Herzliya 1
Philipps-Universitat Marburg 1
Montclair State University 1
Allegheny College 1
Stanford University 1
Ca' Foscari University of Venice 1
Universidad Diego Portales 1
Allen-Bradley Company 1
University of Duisburg-Essen 1
Sun Microsystems 1
University of Tennessee, Knoxville 1
Dalhousie University 1
University of York 1
The University of Tennessee System 1
Michigan Technological University 1
Brigham and Women's Hospital 1
Academia Sinica Taiwan 1
University of South Carolina 1
SRI International 2
Universidad de Castilla-La Mancha 2
Universite Blaise Pascal 2
Florida State University 2
New Mexico State University Las Cruces 2
Chinese University of Hong Kong 2
Middle East Technical University 2
Instituto Superior Tecnico 2
University of Insubria 2
National University of Buenos Aires Central Province 2
Nanyang Technological University 2
Universite Paris 7- Denis Diderot 2
Maryville College 2
Facultes Universitaires Notre-Dame de la Paix 2
Universitat Politecnica de Catalunya 2
Vrije Universiteit Amsterdam 2
Hong Kong Polytechnic University 2
University of Texas at Dallas 2
University of Skovde 2
Brown University 2
Universidad Politecnica de Valencia 2
Oakland University 2
Open University 2
Universite de Marne-La-Vallee 2
University of Turin 2
University of Oregon 2
Universidad de Chile 2
Oxford Brookes University 2
Drexel University 2
University of Trento 2
Universidad de Cadiz 2
University of Naples Federico II 2
Jinan University 2
Carleton University 2
Vienna University of Technology 2
Simon Fraser University 2
University of Hagen 2
East China Normal University 2
National Institute of Standards and Technology 2
University of Technology Sydney 2
University of Maryland, Baltimore County 2
INRIA Futurs 2
Rensselaer Polytechnic Institute 2
Swiss Federal Institute of Technology, Zurich 2
Stony Brook University 2
Nokia Corporation 2
University of Oxford 2
Ben-Gurion University of the Negev 2
Enel 2
University of Hamburg 2
University of Aarhus 2
Columbia University 2
Verimag 2
TECH Lab 2
University of Queensland 2
University of California System 2
University of South Australia 2
National University of Rio Cuarto 2
York University Canada 2
University of Tartu 2
Istituto di Scienza e Tecnologie dell'Informazione A. Faedo 2
IBM, India 2
NYU Tandon School of Engineering 2
University of Amsterdam 3
Princeton University 3
University of Texas at Arlington 3
University of Peloponnese 3
University of Manchester 3
University of Modena and Reggio Emilia 3
University of Minnesota System 3
Delft University of Technology 3
The University of Hong Kong 3
Technical University in Braunschweig 3
Free University of Bozen-Bolzano 3
University of Molise 3
Indian Institute of Science, Bangalore 3
Blekinge Institute of Technology 3
University of Otago 3
University of Magdeburg 3
University of L'Aquila 3
Athens University of Economics and Business 3
University of Birmingham 3
Hewlett-Packard Inc. 3
Italian National Research Council 3
University of Notre Dame 3
Lancaster University 3
University of Genoa 3
University of Utah 3
Naval Research Laboratory 3
Technical University of Madrid 3
University of Minnesota Twin Cities 3
Masaryk University 3
University of Alberta 3
University of Leicester 3
Ohio State University 4
University of Michigan-Dearborn 4
The University of North Carolina at Charlotte 4
University of Montreal 4
IBM Research 4
Center for Mathematics and Computer Science - Amsterdam 4
Polytechnic Institute of Turin 4
University of Zurich 4
Norwegian University of Science and Technology 4
The College of William and Mary 4
George Mason University 4
Basilicata University Potenza 4
Sun Yat-Sen University 4
University of Florence 4
Osaka University 4
Tsinghua University 4
University of Melbourne 4
Clemson University 4
Institute for Research in IT and Random Systems 4
Rutgers, The State University of New Jersey 4
Michigan State University 4
Eindhoven University of Technology 4
University of New Mexico 4
Concordia University, Montreal 4
Fraunhofer USA, Inc. 4
Tel Aviv University 5
University of Limerick 5
INRIA Institut National de Rechereche en Informatique et en Automatique 5
City University of Hong Kong 5
University of Passau 5
University of Waterloo 5
University of California, Davis 5
University of Pittsburgh 5
Weizmann Institute of Science Israel 5
IT University of Copenhagen 5
University of Southampton 5
Universidad Autonoma de Madrid 5
University of Southern California 5
University of Roma La Sapienza 5
University of Hertfordshire 5
University of Michigan 6
University of Lugano 6
Purdue University 6
King's College London 6
Loyola University Maryland 6
University of Toronto 6
Technical University of Munich 6
Nokia Bell Labs 6
Virginia Tech 6
University of Bologna 6
McGill University 7
University of Oslo 7
AT&T Inc. 7
University of Washington, Seattle 7
RWTH Aachen University 7
University of Illinois at Chicago 7
American University of Beirut 7
Fondazione Bruno Kessler 7
Case Western Reserve University 8
University of Sheffield 8
Queensland University of Technology 8
Technical University of Darmstadt 8
University of Milan - Bicocca 8
University of Milan 8
Simula Research Laboratory 9
University of Illinois at Urbana-Champaign 9
Washington University in St. Louis 9
University of Virginia 9
Massachusetts Institute of Technology 9
Peking University 10
Imperial College London 10
University of Pisa 10
University of California, San Diego 10
Hong Kong University of Science and Technology 11
University of Wisconsin Madison 11
North Carolina State University 12
University of Texas at Austin 12
Karlsruhe Institute of Technology, Campus South 12
University of Colorado at Boulder 13
The University of British Columbia 13
Brunel University London 13
IBM Thomas J. Watson Research Center 14
University College London 14
University of California, Santa Barbara 14
Nanjing University 14
University of Luxembourg 14
Iowa State University 15
University of Massachusetts Amherst 15
Swinburne University of Technology 15
University of Nebraska - Lincoln 16
Georgia Institute of Technology 17
University of Buenos Aires 18
Carnegie Mellon University 19
University of Salerno 20
University of Maryland 22
National University of Singapore 23
Oregon State University 30
University of California, Irvine 33
Politecnico di Milano 41

ACM Transactions on Software Engineering and Methodology (TOSEM)
Archive


2018
Volume 27 Issue 1, April 2018  Issue-in-Progress
Volume 26 Issue 4, February 2018
Volume 26 Issue 3, January 2018

2017
Volume 26 Issue 2, October 2017
Volume 26 Issue 1, July 2017
Volume 25 Issue 4, May 2017

2016
Volume 25 Issue 3, August 2016
Volume 25 Issue 2, May 2016

2015
Volume 25 Issue 1, December 2015
Volume 24 Issue 4, August 2015 Special Issue on ISSTA 2013
Volume 24 Issue 3, May 2015

2014
Volume 24 Issue 2, December 2014
Volume 24 Issue 1, September 2014
Volume 23 Issue 4, August 2014 Special Issue International Conference on Software Engineering (ICSE 2012) and Regular Papers
Volume 23 Issue 3, May 2014
Volume 23 Issue 2, March 2014
Volume 23 Issue 1, February 2014

2013
Volume 22 Issue 4, October 2013 Testing, debugging, and error handling, formal methods, lifecycle concerns, evolution and maintenance
Volume 22 Issue 3, July 2013 In memoriam, fault detection and localization, formal methods, modeling and design
Volume 22 Issue 2, March 2013
Volume 22 Issue 1, February 2013

2012
Volume 21 Issue 4, November 2012
Volume 21 Issue 3, June 2012
Volume 21 Issue 2, March 2012

2011
Volume 21 Issue 1, December 2011
Volume 20 Issue 4, September 2011
Volume 20 Issue 3, August 2011

2010
Volume 20 Issue 2, August 2010
Volume 20 Issue 1, June 2010
Volume 19 Issue 4, April 2010
Volume 19 Issue 3, January 2010

2009
Volume 19 Issue 2, October 2009
Volume 19 Issue 1, August 2009
Volume 18 Issue 4, July 2009
Volume 18 Issue 3, May 2009

2008
Volume 18 Issue 2, November 2008
Volume 18 Issue 1, September 2008
Volume 17 Issue 4, August 2008
Volume 17 Issue 3, June 2008
Volume 17 Issue 2, April 2008

2007
Volume 17 Issue 1, December 2007
Volume 16 Issue 4, September 2007
Volume 16 Issue 3, July 2007
Volume 16 Issue 2, April 2007
Volume 16 Issue 1, February 2007

2006
Volume 15 Issue 4, October 2006
Volume 15 Issue 3, July 2006
Volume 15 Issue 2, April 2006
Volume 15 Issue 1, January 2006

2005
Volume 14 Issue 4, October 2005
Volume 14 Issue 3, July 2005
Volume 14 Issue 2, April 2005
Volume 14 Issue 1, January 2005

2004
Volume 13 Issue 4, October 2004
Volume 13 Issue 3, July 2004
Volume 13 Issue 2, April 2004
Volume 13 Issue 1, January 2004

2003
Volume 12 Issue 4, October 2003
Volume 12 Issue 3, July 2003
Volume 12 Issue 2, April 2003
Volume 12 Issue 1, January 2003

2002
Volume 11 Issue 4, October 2002
Volume 11 Issue 3, July 2002
Volume 11 Issue 2, April 2002
Volume 11 Issue 1, January 2002

2001
Volume 10 Issue 4, Oct. 2001
Volume 10 Issue 3, July 2001
Volume 10 Issue 2, April 2001
Volume 10 Issue 1, Jan. 2001

2000
Volume 9 Issue 4, Oct. 2000
Volume 9 Issue 3, July 2000
Volume 9 Issue 2, April 2000
Volume 9 Issue 1, Jan. 2000

1999
Volume 8 Issue 4, Oct. 1999
Volume 8 Issue 3, July 1999
Volume 8 Issue 2, April 1999
Volume 8 Issue 1, Jan. 1999

1998
Volume 7 Issue 4, Oct. 1998
Volume 7 Issue 3, July 1998
Volume 7 Issue 2, April 1998
Volume 7 Issue 1, Jan. 1998

1997
Volume 6 Issue 4, Oct. 1997
Volume 6 Issue 3, July 1997
Volume 6 Issue 2, April 1997
Volume 6 Issue 1, Jan. 1997

1996
Volume 5 Issue 4, Oct. 1996
Volume 5 Issue 3, July 1996
Volume 5 Issue 2, April 1996
Volume 5 Issue 1, Jan. 1996

1995
Volume 4 Issue 4, Oct. 1995
Volume 4 Issue 3, July 1995
Volume 4 Issue 2, April 1995
Volume 4 Issue 1, Jan. 1995

1994
Volume 3 Issue 4, Oct. 1994
Volume 3 Issue 3, July 1994
Volume 3 Issue 2, April 1994
Volume 3 Issue 1, Jan. 1994

1993
Volume 2 Issue 4, Oct. 1993
Volume 2 Issue 3, July 1993
Volume 2 Issue 2, April 1993
Volume 2 Issue 1, Jan. 1993

1992
Volume 1 Issue 4, Oct. 1992
Volume 1 Issue 3, July 1992
Volume 1 Issue 2, April 1992
Volume 1 Issue 1, Jan. 1992
 
All ACM Journals | See Full Journal Index

Search TOSEM
enter search term and/or author name