ACM DL

ACM Transactions on

Software Engineering and Methodology (TOSEM)

Menu
Latest Articles

Multi-Step Learning and Adaptive Search for Learning Complex Model Transformations from Examples

Model-driven engineering promotes models as main development artifacts. As several models may be... (more)

Learning Weighted Assumptions for Compositional Verification of Markov Decision Processes

Probabilistic models are widely deployed in various systems. To ensure their correctness, verification techniques have been developed to analyze... (more)

Mining Privacy Goals from Privacy Policies Using Hybridized Task Recomposition

Privacy policies describe high-level goals for corporate data practices; regulators require industries to make available conspicuous, accurate privacy... (more)

Multi-Criteria Code Refactoring Using Search-Based Software Engineering

One of the most widely used techniques to improve the quality of existing software systems is refactoring—the process of improving the design of... (more)

Using Cohesion and Coupling for Software Remodularization

Refactoring and, in particular, remodularization operations can be performed to repair the design of a software system and remove the erosion caused... (more)

NEWS

New options for ACM authors to manage rights and permissions for their work

ACM introduces a new publishing license agreement, an updated copyright transfer agreement, and a new author-pays option which allows for perpetual open access through the ACM 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
Hierarchical Program Paths

Whole program control flow is fundamental information about program executions with a wide range of applications. Tracing an execution of a program for a brief period easily generates billions of control flow events, and yet such a profile should keep these events and their order. Existing path tracing techniques target at producing compressed trace representations to efficiently and compactly keep such information. Performing path queries on such representations incurs heavy slowdown due to the involved decompression. In this paper, we propose a novel path tracing framework ¾ Hierarchical Program Path (HPP) ¾ to model the whole program control flow. HPP firstly efficiently profiles and models the whole program control flow as a tree-based representation, namely HPPTree. Then HPP systematically identifies equivalent inter-procedural paths in HPPTree as equivalent sets, each of which is modeled by one subgraph resulting in the compositional graph-based representation, namely HPPDAG. The experiment on the SPLASH2 benchmarks shows that HPP achieves significantly smaller trace size and slowdown factor on whole program control flow tracing and HPPDAG is highly compact and can be efficiently queried on. We also develop a novel path profiling technique on top of HPP framework to demonstrate the application of HPP.

The Effect of Program and Model Structure on the Effectiveness of MC/DC Test Adequacy Coverage

Test adequacy metrics defined over the program structure, such as Modified Condition and Decision Coverage (MC/DC), are used to assess testing efforts. MC/DC coverage, can be cheated by restructuring a program to make it easier to achieve the desired coverage. This is concerning, given the importance of MC/DC in assessing the adequacy of test suites for critical systems domains. In this work, we have explored the impact of implementation structure on the efficacy of test suites satisfying the MC/DC coverage criterion using four real world avionics systems. Our results demonstrate that test suites achieving MC/DC over implementations with structurally complex Boolean expressions are generally more effective than test suites achieving MC/DC over functionally equivalent, but structurally simpler, implementations. Additionally, we found that test suites generated over simpler implementations achieve significantly lower MC/DC coverage when applied to complex implementations. By measuring MC/DC over simple implementations, we significantly reduce the cost of testing, but we also reduce the effectiveness of the testing process. Thus, developers have an economic incentive to cheat the MC/DC criterion, but this cheating leads to negative consequences. Accordingly, we recommend organizations require MC/DC coverage over a structurally complex implementation for testing purposes to avoid these consequences.

Stochastic Performance Analysis of Global Software Development Teams

Measuring productivity in globally distributed projects is crucial to improve team performance. These measures often display information on whether a given project is moving forward or starts to demonstrate undesired behaviors. In this paper we are interested in showing how analytical models could be derived to represent a distributed software collaboration project. We present stochastic automata networks (SAN) models comprising a distributed reality showing that it is possible, for instance, to estimate the level of coordination required due to project requirements. We focus our attention on the level of interaction among project participants and its close relation with team's productivity. The models are parameterized for different scenarios and solved using numerical methods to obtain exact solutions. We vary the team's expertise and support levels to measure the impact on the overall project performance. As results, we present our derived productivity index for all scenarios and we state lessons learned in order to analyze popular preconceptions in GSD area, confirming some, and refusing others. Finally, we foresee ways to extend the models to represent more intricate behaviors and communication patterns that are usually present in globally distributed software projects.

Bibliometrics

Publication Years 1992-2016
Publication Count 427
Citation Count 9354
Available for Download 427
Downloads (6 weeks) 3199
Downloads (12 Months) 28030
Downloads (cumulative) 795994
Average downloads per article 1864
Average citations per article 22
First Name Last Name Award
Gregory Abowd ACM Eugene L. Lawler Award for Humanitarian Contributions within Computer Science and Informatics (2009)
ACM Senior Member (2008)
Vikram Adve ACM Software System Award (2012)
George S Avrunin ACM Distinguished Member (2006)
Travis D. Breaux ACM Senior Member (2014)
Margaret Burnett ACM Distinguished Member (2015)
Edmund Clarke ACM A. M. Turing Award (2007)
ACM Paris Kanellakis Theory and Practice Award (1998)
Ernesto Damiani ACM Distinguished Member (2008)
Kalyanmoy Deb ACM Senior Member (2011)
Laura Dillon ACM Distinguished Member (2009)
ACM Senior Member (2009)
Matthew B Dwyer ACM Distinguished Member (2007)
Alexander Egyed ACM Senior Member (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)
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 Senior Member (2008)
Susan L Graham ACM-IEEE CS Ken Kennedy Award (2011)
ACM Distinguished Service Award (2006)
David Harel ACM Software System Award (2007)
ACM Karl V. Karlstrom Outstanding Educator Award (1992)
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)
Cristina Videira Lopes ACM Distinguished Member (2011)
Nancy Lynch ACM-W Athena Lecturer Award (2012)
Andrian Marcus ACM Senior Member (2011)
Nenad Medvidovic ACM Distinguished Member (2015)
Gail C Murphy ACM Distinguished Member (2010)
Amnon Naamad ACM Software System Award (2007)
Alessandro Orso ACM Senior Member (2012)
Hridesh Rajan ACM Senior Member (2014)
Ganesan Ramalingam ACM Distinguished Member (2009)
Thomas Reps ACM Doctoral Dissertation Award (1983)
Martin Robillard ACM Senior Member (2010)
Barbara Gershon Ryder ACM Presidential Award (2008)
Riccardo Sisto ACM Senior Member (2010)
Mary Lou Soffa ACM-IEEE CS Ken Kennedy Award (2012)
Diomidis Spinellis ACM Senior Member (2006)
Walter F. Tichy 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 J Weyuker ACM Presidential Award (2010)
Laurie Ann Williams ACM Distinguished Member (2011)
Jeannette M. Wing ACM Distinguished Service Award (2014)
Tao Xie ACM Distinguished Member (2015)
ACM Senior Member (2011)
Franco Zambonelli ACM Distinguished Member (2012)
ACM Senior Member (2009)
Franco Zambonelli ACM Distinguished Member (2012)
ACM Senior Member (2009)

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

Affiliation Paper Counts
University of Naples Federico II 1
Buenos Aires Institute of Technology 1
Middle Tennessee State University 1
Bowling Green State University 1
Universidad Rey Juan Carlos 1
University of Nebraska at Omaha 1
Xerox Corporation 1
Chinese Academy of Sciences 1
Leiden University 1
University of Liverpool 1
Sun Yat-Sen University 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
GE Healthcare, Sweden 1
Portland State University 1
Motorola 1
Catholic University of Leuven 1
ViGYAN, Inc. 1
University of Teesside 1
University of Udine 1
Microsoft 1
Vrije Universiteit Brussel 1
DePaul University 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
Macalester College 1
University of Ottawa, Canada 1
University of Athens 1
University of Hawaii System 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
Accenture 1
Miami University Oxford 1
Indian Institute of Technology, Delhi 1
University of Dortmund 1
University of Seville 1
University of London 1
University of Kuwait 1
Martin Marietta Energy Systems Inc 1
Teknowledge Corporation 1
Microsoft Research Cambridge 1
Microsoft Research India 1
I-Logix Inc. 1
Karlsruhe Institute of Technology 1
Dhirubhai Ambani Institute of Information and Communication Technology 1
Singapore University of Technology and Design 1
Linnaeus University 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
Sintef Foundation for Scientific and Industrial Research At the Norwegian Institute of Technology 1
University of Sannio 1
Lawrence Technological University 1
Rice University 1
Yale University 1
University of Minnesota System 1
Los Alamos National Laboratory 1
University of Pennsylvania 1
Louisiana State University 1
Old Dominion University 1
University of South Florida Tampa 1
Johann Wolfgang Goethe University of 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 Texas at Dallas 1
University of Adelaide 1
Free University of Bozen-Bolzano 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 Molise 1
Sun Microsystems 1
University of Washington 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
SRI International 2
Universidad de Castilla-La Mancha 2
Universite Blaise Pascal 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 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
City University of Hong Kong 2
AT&T Inc. 2
Oxford Brookes University 2
Drexel University 2
University of Trento 2
Universidad de Cadiz 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
Osaka University 2
University of Maryland, Baltimore County 2
INRIA Futurs 2
Rensselaer Polytechnic Institute 2
Swiss Federal Institute of Technology, Zurich 2
Alcatel-Lucent 2
Stony Brook University 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
University of Jinan 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
Delft University of Technology 3
University of Michigan-Dearborn 3
The University of Hong Kong 3
Technical University in Braunschweig 3
University of Montreal 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 3
Italian National Research Council 3
IBM 3
University of Notre Dame 3
Lancaster University 3
University of Genoa 3
University of Utah 3
Universidad Autonoma de Madrid 3
Naval Research Laboratory 3
Technical University of Madrid 3
University of Minnesota Twin Cities 3
Masaryk University 3
University of Alberta 3
Michigan State University 3
Eindhoven University of Technology 3
University of Leicester 3
Ohio State University 4
The University of North Carolina at Charlotte 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
Tsinghua University 4
University of Melbourne 4
Clemson University 4
Institute for Research in IT and Random Systems 4
Rutgers University 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 Lugano 5
University of Limerick 5
Queensland University of Technology 5
INRIA Institut National de Rechereche en Informatique et en Automatique 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
University of Southern California 5
University of Roma La Sapienza 5
University of Hertfordshire 5
University of Michigan 6
Alcatel-Lucent Bell Labs 6
Purdue University 6
IBM Research 6
King's College London 6
Loyola University Maryland 6
University of Washington Seattle 6
University of Toronto 6
Technical University of Munich 6
Virginia Tech 6
University of Bologna 6
McGill University 7
University of Oslo 7
University of Illinois at Chicago 7
Nanjing University 7
Fondazione Bruno Kessler 7
Case Western Reserve University 8
University of Sheffield 8
Technical University of Darmstadt 8
University of Milan - Bicocca 8
RWTH Aachen University 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 11
University of Wisconsin Madison 11
University of Luxembourg 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
University College London 13
Swinburne University of Technology 13
University of Salerno 14
IBM Thomas J. Watson Research Center 14
University of California, Santa Barbara 14
Iowa State University 15
University of Massachusetts Amherst 15
University of Nebraska - Lincoln 16
University of Buenos Aires 17
Georgia Institute of Technology 17
Carnegie Mellon University 19
University of California, Irvine 20
University of Maryland 22
National University of Singapore 23
Oregon State University 30
Politecnico di Milano 36

ACM Transactions on Software Engineering and Methodology (TOSEM)
Archive


2016
Volume 25 Issue 3, June 2016  Issue-in-Progress
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