ACM DL

ACM Transactions on

Software Engineering and Methodology (TOSEM)

Menu
Latest Articles

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

Self-Adaptive Software (SAS) can reconfigure itself to adapt to the changing environment at runtime, aiming to continually optimize conflicted nonfunctional objectives (e.g., response time, energy consumption, throughput, cost, etc.). In this article, we present Feature-guided and knEe-driven Multi-Objective optimization for Self-Adaptive softwAre... (more)

Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores

CafeOBJ is a language for writing formal specifications for a wide variety of software and hardware systems and for verifying their properties.... (more)

STADS: Software Testing as Species Discovery

A fundamental challenge of software testing is the statistically well-grounded extrapolation from program behaviors observed during testing. For instance, a security researcher who has run the fuzzer for a week has currently no means (1) to estimate the total number of feasible program branches, given that only a fraction has been covered... (more)

Maintaining Architecture-Implementation Conformance to Support Architecture Centrality: From Single System to Product Line Development

Architecture-centric development addresses the increasing complexity and variability of software systems by focusing on architectural models, which... (more)

NEWS

Call for EiC Nominations.
The term of David Rosenblum, the current Editor-in-Chief (EiC) of TOSEM, is coming to an end, and the ACM Publications Board has set up a nominating committee to assist the Board in selecting the next EiC. The deadline is September 9. READ MORE


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
Test-equivalence Analysis for Automatic Patch Generation

Automated program repair is a problem of finding a transformation (called a patch) of a given incorrect program that eliminates the observable failures. It has important applications such as providing debugging aids, automatically grading student assignments and patching security vulnerabilities. A common challenge faced by existing repair techniques is scalability to large patch spaces, since there are many candidate patches that these techniques explicitly or implicitly consider. The correctness criteria for program repair is often given as a suite of tests. Current repair techniques do not scale due to the large number of test executions performed by the underlying search algorithms. In this work, we address this problem by introducing a methodology of patch generation based on a test-equivalence relation (if two programs are "test-equivalent" for a given test, they produce indistinguishable results on this test). We propose two test-equivalence relations based on runtime values and dependencies respectively and present an algorithm that performs on-the-fly partitioning of patches into test-equivalence classes. Our experiments on real-world programs reveal that the proposed methodology drastically reduces the number of test executions and therefore provides an order of magnitude efficiency improvement over existing repair techniques, without sacrificing patch quality.

Recommending Who to Follow in the Software Engineering Twitter Space

Singer et al. find that software developers use Twitter to ``keep up with the fast-paced development landscape''. Our survey with 71 developers who use Twitter in their development activities highlights that developers are interested in following specialized software gurus that share relevant technical tweets. However, finding these gurus among the more than 310 million Twitter users is not an easy feat. To help developers perform this task, we propose a recommendation system to identify specialized gurus which takes into account four things; firstly the content of microblogs generated by Twitter users, secondly the structure of the Twitter network of such users, thirdly the profile information of the users, and lastly the GitHub information of the users. Our approach first extracts different kinds of features that characterize a Twitter user and then employs a two-stage classification approach to generate a discriminative model that can differentiate specialized software gurus in a particular domain from other Twitter users that generate domain-related tweets. Our experiments on a dataset of 62,774 Twitter users, which generate 6,321,450 tweets over one month, demonstrate that our approach can achieve an F-measure of up to 0.774, which outperforms a state-of-the-art competing approach by at least 56.05%.

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.

Multi-Objective Optimization of Energy Consumption of GUIs in Android Apps

The number of mobile devices sold worldwide has exponentially increased in recent years, surpassing that of personal computers in 2011. Such devices daily download and run millions of apps that take advantage of modern hardware features (e.g., multi-core processors, large OLED screens) to offer exciting user experiences. Clearly, there is a cost to pay in terms of energy consumption and, in particular, of reduced battery life. This has pushed researchers to investigate how to reduce the energy consumption of apps, for example, by optimizing the color palette used in the app's GUI. Whilst past research in this area aimed at optimizing energy while keeping an acceptable level of contrast, this paper proposes an approach, named GEMMA (Gui Energy Multi-objective optiMization for Android apps), for generating color palettes using a multi-objective optimization technique, which produces color solutions optimizing energy consumption and contrast while using consistent colors with respect to the original palette. The empirical evaluation demonstrates (i) substantial improvements in the three different objectives, (ii) a concrete reduction of the energy consumption as assessed by a power monitor, (iii) the attractiveness of the generated color compositions for apps' users, and (iv) the suitability of GEMMA to be adopted in industrial context

The ABC of Software Engineering Research

A wide variety of research methods and techniques are available to software engineering researchers to conduct studies in software engineering. Although several overviews exist of research methods, overall, there is not a great deal of consistency in the research methods covered, and also some ambiguities in how research terminology is used. Furthermore, research is sometimes criticized by reviewers for characteristics inherent to the used methods. We present the ABC framework for SE research which offers a holistic view of eight archetypal research strategies. The ABC framework is based on two dimensions that are widely considered to be key in research design: the level of control that a researcher can exert on a research setting, and the level of generalizability of a study's findings. We identify metaphors for each and also discuss essential limitations and potential strengths of each strategy. ABC refers to the research goal which seeks to achieve generalizability over actors (A), precise measurement of their behavior (B), in a realistic context (C). We illustrate these research strategies in two key SE domains: global software engineering and requirements engineering. Finally, we discuss six ways in which the framework can be used to further SE research.

Spectrum-Based Fault Localization in Model Transformations

Model transformations play a cornerstone role in Model-Driven Engineering (MDE) as they provide the essential mechanisms for manipulating and transforming models. The correctness of software built using MDE techniques greatly relies on the correctness of model transformations. However, it is challenging and error prone to debug them, and the situation gets more critical as the size and complexity of model transformations grow, where manual debugging is no longer possible. Spectrum-Based Fault Localization (SBFL) uses the results of test cases and their corresponding code coverage information to estimate the likelihood of each program component (e.g., statements) of being faulty. In this paper we present an approach to apply SBFL for locating the faulty rules in model transformations. We evaluate the feasibility and accuracy of the approach by comparing the effectiveness of 18 different state-of-the-art SBFL techniques at locating faults in model transformations. Evaluation results revealed that the best techniques, namely Kulcynski2, Mountford, Ochiai and Zoltar, lead the debugger to inspect a maximum of three rules in order to locate the bug in around 74% of the cases. Furthermore, we compare our approach with a static approach for fault localization in model transformations, observing a clear superiority of the proposed SBFL-based method.

Linear Programming as a Baseline for Software Effort Estimation

Software effort estimation studies still suffer from discordant empirical results (i.e. conclusion instability) due mainly to the lack of rigorous benchmarking methods. So far only one baseline method, namely Automatically Transformed Linear Model (ATLM), has been proposed yet it has not been extensively assessed. In this paper, we propose a novel method based on Linear Programming (dubbed as Linear Programming for Effort Estimation, LP4EE) and carry out a thorough empirical study to evaluate the effectiveness of both LP4EE and ATLM for benchmarking widely used effort estimation techniques. The results of our study confirm the need to benchmark every other proposal against robust baselines and reveal that LP4EE is not only more accurate than ATLM for 66% of the experiments but also more robust against different data splits for 41% of the cases. Therefore, suggesting that using LP4EE as a baseline method can help reduce conclusion instability. We make publicly available an open-source implementation of LP4EE in order to facilitate its adoption as a benchmark in future studies.

TOSEM 27:3 - Editorial

Bibliometrics

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

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

ACM Transactions on Software Engineering and Methodology (TOSEM)
Archive


2018
Volume 27 Issue 2, July 2018
Volume 27 Issue 1, June 2018
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
 
All ACM Journals | See Full Journal Index

Search TOSEM
enter search term and/or author name