ACM DL

ACM Transactions on

Software Engineering and Methodology (TOSEM)

Menu
Latest Articles

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

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

STADS: Software Testing as Species Discovery

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

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

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

NEWS

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


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


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

 

About TOSEM

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

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

read more
Forthcoming Articles
Shadow Symbolic Execution for Testing Software Patches

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

Linear Programming as a Baseline for Software Effort Estimation

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

Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores

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

Bibliometrics

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

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

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

ACM Transactions on Software Engineering and Methodology (TOSEM)
Archive


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

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

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

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

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

2013
Volume 22 Issue 4, October 2013 Testing, debugging, and error handling, formal methods, lifecycle concerns, evolution and maintenance
Volume 22 Issue 3, July 2013 In memoriam, fault detection and localization, formal methods, modeling and design
 
All ACM Journals | See Full Journal Index

Search TOSEM
enter search term and/or author name