ACM DL

ACM Transactions on

Software Engineering and Methodology (TOSEM)

Menu
Latest Articles

Augmenting Field Data for Testing Systems Subject to Incremental Requirements Changes

When testing data processing systems, software engineers often use real-world data to perform system-level testing. However, in the presence of new... (more)

Ensuring the Consistency of Adaptation through Inter- and Intra-Component Dependency Analysis

Dynamic adaptation should not leave a software system in an inconsistent state, as it could lead to failure. Prior research has used inter-component... (more)

Predicting Query Quality for Applications of Text Retrieval to Software Engineering Tasks

Context: Since the mid-2000s, numerous recommendation systems based on text retrieval (TR) have been proposed to support software engineering (SE)... (more)

Human Competitiveness of Genetic Programming in Spectrum-Based Fault Localisation

We report on the application of Genetic Programming to Software Fault Localisation, a problem in the area of Search-Based Software Engineering (SBSE).... (more)

Parallel Algorithms for Generating Distinguishing Sequences for Observable Non-deterministic FSMs

A distinguishing sequence (DS) for a finite-state machine (FSM) is an input sequence that... (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
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 affects the fixing of faults in C and Java source code with respect to full-word identifier names. The family consists of an original (or baseline) controlled experiment and three replications carried out with 100 participants with different background and experience. The results from each individual experiment in our family were integrated through the use of a meta-analysis. Results from the meta-analysis suggested that there was not a difference in terms of effort and efficacy to fix faults, when source code contains either only abbreviated or only full-word identifier names. As for efficiency to fix faults, we observed a difference in favor of source code with full-word identifier names.

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

This paper presents a novel technique to formally verify models of real-time systems captured through a set of heterogeneous UML diagrams. The technique is based on the following key elements: (i) a subset of UML diagrams, called C-UML, which allows designers to describe the components of the system and their behavior through several kinds of diagrams (e.g., state machine diagrams, sequence diagrams, interaction overview diagrams), and stereotypes taken from the UML MARTE profile; (ii) a formal semantics of C-UML diagrams, defined through formulae of the metric temporal logic TRIO; (iii) a tool, called Corretto, which implements the aforementioned semantics and allows users to carry out formal verification tasks on modeled systems. We validate the feasibility of our approach through a set of heterogeneous case studies, taken from both the academic and the industrial domain.

Bibliometrics

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

Affiliation Paper Counts
Universidade de Lisboa 1
IBM, Japan 1
SINTEF Digital 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
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
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 Naples Federico II 1
University of South Carolina 1
Buenos Aires Institute of Technology 1
Middle Tennessee 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
Polytechnic University - Brooklyn 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
Jinan University 2
Carleton University 2
Vienna University of Technology 2
Simon Fraser University 2
University of Birmingham 2
University of Hagen 2
Basilicata University Potenza 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
University of Amsterdam 3
Princeton University 3
University of Texas at Arlington 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 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
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
Brunel University London 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
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 Salerno 15
University of Massachusetts Amherst 15
Swinburne University of Technology 15
University of Nebraska - Lincoln 16
University of Buenos Aires 17
Georgia Institute of Technology 17
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 36

ACM Transactions on Software Engineering and Methodology (TOSEM)
Archive


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