ACM DL

ACM Transactions on

Software Engineering and Methodology (TOSEM)

Menu
Latest Articles

Editorial

Fixing Faults in C and Java Source Code: Abbreviated vs. Full-Word Identifier Names

We carried out a family of controlled experiments to investigate whether the use of abbreviated identifier names, with respect to full-word identifier names, affects fault fixing in C and Java source code. This family consists of an original (or baseline) controlled experiment and three replications. We involved 100 participants with different... (more)

A Logic-Based Approach for the Verification of UML Timed Models

This article presents a novel technique to formally verify models of real-time systems captured through a set of heterogeneous UML diagrams. The... (more)

Early Evaluation of Implementation Alternatives of Composite Data Structures Toward Maintainability

Selecting between different design options is a crucial decision for object-oriented software... (more)

NEWS

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
Global and Local Deadlock Freedom in BIP

We present a criterion for checking local and global deadlock freedom of finite state systems expressed in BIP: a component-based framework for the construction of complex distributed systems. Our criterion is evaluated by model-checking a set of subsystems of the overall large system. If satisfied in small subsystems, it implies deadlock-freedom of the overall system. If not satisfied, then we re-evaluate over larger subsystems, which improves the accuracy of the check. When the subsystem being checked becomes the entire system, our criterion becomes complete for deadlock-freedom. Hence our criterion can only fail to decide deadlock-freedom because of computational limitations: state-space explosion sets in when the subsystems being checked become too large. Our method thus combines the possibility of fast response together with theoretical completeness. Other criteria for deadlock-freedom, in contrast, are incomplete in principle, and so may fail to decide deadlock-freedom even if unlimited computational resources are available. Also, our criterion certifies freedom from local deadlock, in which a subsystem is deadlocked while the rest of the system executes. We present experimental results for dining philosophers and for a multi token-based resource allocation system, which subsumes several data arbiters and schedulers, including Milner's token based scheduler.

Variability Bugs in Highly-Configurable Systems: A Qualitative Analysis

Variability-sensitive verification pursues effective analysis of the exponentially many variants of a program family. Several variability-aware techniques have been proposed, but researchers still lack examples of concrete bugs induced by variability, occurring in real large-scale systems. A collection of real world bugs is needed to evaluate tool implementations of variability-sensitive analyses by testing them on real bugs. We present a qualitative study of 98 diverse variability bugs collected from bug-fixing commits in the Linux, Apache, BusyBox, and Marlin repositories. We analyze each of the bugs, and record the results in a database. For each bug, we create a self-contained simplified C99 version and a simplified patch, in order to help researchers who are not experts on these subject studies to understand them, so that they can use these bugs for evaluation of their tools. In addition, we provide single-function versions of the bugs, which are useful for evaluating intra-procedural analyses. A web-based user interface for the database allows to conveniently browse and visualize the collection of bugs. Our study provides insights into the nature and occurrence of variability bugs in four highly-configurable systems implemented in C/C++, and shows in what ways variability hinders comprehension and the uncovering of software bugs.

Bibliometrics

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

Affiliation Paper Counts
IBM, Japan 1
SINTEF Digital 1
Universidad Rey Juan Carlos 1
University of Nebraska at Omaha 1
Xerox Corporation 1
Chinese Academy of Sciences 1
Leiden University 1
University of Liverpool 1
Sun Yat-Sen University 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
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
Singapore University of Technology and Design 1
Linnaeus University, Kalmar 1
Universite Grenoble Alpes 1
Universidade de Lisboa 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
Lawrence Technological University 1
Rice University 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
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
Buenos Aires Institute of Technology 1
Middle Tennessee State University 1
Bowling Green State University 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
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 Birmingham 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
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
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
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
American University of Beirut 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
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
Nanjing University 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
University of Luxembourg 14
Iowa State University 15
University of Massachusetts Amherst 15
Swinburne University of Technology 15
University of Salerno 16
University of Nebraska - Lincoln 16
Georgia Institute of Technology 17
University of Buenos Aires 18
Carnegie Mellon University 19
University of Maryland 22
National University of Singapore 23
University of California, Irvine 25
Oregon State University 30
Politecnico di Milano 41

ACM Transactions on Software Engineering and Methodology (TOSEM)
Archive


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