ACM DL

ACM Transactions on

Software Engineering and Methodology (TOSEM)

Menu
Latest Articles

Impact-Driven Process Model Repair

The abundance of event data in today’s information systems makes it possible to “confront” process models with the actual observed behavior. Process mining techniques use event logs to discover process models that describe the observed behavior, and to check conformance of process models by diagnosing deviations between models and... (more)

Generating API Call Rules from Version History and Stack Overflow Posts

Researchers have shown that related functions can be mined from groupings of functions found in the version history of a system. Our first... (more)

Dynamic Dependence Summaries

Software engineers construct modern-day software applications by building on existing software libraries and components that they necessarily do not author themselves. Thus, contemporary software applications rely heavily on existing standard and third-party libraries for their execution and behavior. As such, effective runtime analysis of such a... (more)

NEWS

 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
Parallel Algorithms for generating distinguishing sequences for non-deterministic observable FSMs

A distinguishing sequence (DS) for a finite state machine (FSM) is an input sequence that distinguish every pair of states of the FSM. There are techniques that generate a test sequence with guaranteed fault detection power and it has been found that shorter test sequence can be produced if DSs are used. Despite these benefits, however, until recently the only published DS generation algorithms have been for deterministic FSMs. While there is now a published algorithm for observable non-deterministic FSMs, this assumes that the FSM is completely-specified. This paper develops a massively parallel algorithm, which can be used in GPU Computing, to generate DSs from \emph{partial} non-deterministic observable FSMs. We also present the results of experiments using randomly generated FSMs and some benchmark FSMs. The results are promising and indicate that the proposed algorithm can derive DSs from partial non-deterministic FSMs with 32,000 states in an acceptable amount of time.

Bibliometrics

Publication Years 1992-2017
Publication Count 433
Citation Count 10129
Available for Download 433
Downloads (6 weeks) 2841
Downloads (12 Months) 25112
Downloads (cumulative) 457698
Average downloads per article 1057
Average citations per article 23
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)
Ana I Anton ACM Distinguished Member (2009)
George S Avrunin ACM Distinguished Member (2006)
Travis D. Breaux ACM Senior Member (2014)
Margaret Burnett ACM Distinguished Member (2015)
Shing-Chi Cheung ACM Distinguished Member (2016)
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)
E. Allen Emerson ACM A. M. Turing Award (2007)
ACM Paris Kanellakis Theory and Practice Award (1998)
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)
Somesh Jha 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)
Cristina Videira Lopes ACM Distinguished Member (2011)
Nancy Lynch ACM 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 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
Atif Memon 4
Sebastián Uchitel 4
David Rosenblum 4
David Harel 3
Paul Klint 3
Paolo Ciancarini 3
André Van Der Hoek 3
Dawei Qi 3
Giuseppe Scanniello 3
Shiva Nejati 3
Andy Podgurski 3
Thomas Reps 3
Don Batory 3
Guoqing Xu 3
Marouane Kessentini 3
Alfonso Fuggetta 3
Leon Osterweil 3
David Garlan 3
Brian Fitzgerald 3
Peter McCann 3
Andrea Arcuri 3
Atanas Rountev 3
Robert Allen 3
Denys Poshyvanyk 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
Christian Schallhart 2
Huoyan Chen 2
Harvey Siy 2
Rolf Adams 2
Shin Yoo 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
Saurabh Sinha 2
Alberto Coen-Porisini 2
Mira Mezini 2
Amy Zaremski 2
Nazareno Aguirre 2
Arthur Hofstede 2
Slim Bechikh 2
George Kutty 2
Miguel Felder 2
Jonathan Ostroff 2
Susan Horwitz 2
Annette Weinert 2
Robert Dyer 2
Mark Van Den Brand 2
Nenad Medvidović 2
Jeannette Wing 2
Marcelo Frias 2
Yvan Labiche 2
Michael Jackson 2
Eli Tilevich 2
Giovanni Cantone 2
Elaine Weyuker 2
T Tse 2
Yishai Feldman 2
Franco Zambonelli 2
Ernesto Damiani 2
Adam Porter 2
Eran Yahav 2
Martin Erwig 2
Ernest Emerson 2
Panagiotis Louridas 2
Víctor Braberman 2
Tracy Hall 2
Tevfik Bultan 2
Alessandro Orso 2
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
Wil Van Der Aalst 2
Peter Rigby 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
Gabriele Bavota 2
Yuanfang Cai 2
Paul Guernic 2
Thierry GAUTIER 2
Qing Xie 2
Ondřej Lhoták 2
Manfred Broy 2
Ali Ouni 2
W Chan 2
Sven Apel 2
Jonathan Cook 2
Wes Masri 2
Rajiv Gupta 2
Michal Young 2
Carlo Bellettini 2
Gordon Fraser 2
Carmine Gravino 2
Victor Basili 2
Lionel Briand 2
Houari Sahraoui 2
Rocco Oliveto 2
Travis Breaux 2
Samik Basu 2
Inmaculada Medina-Bulo 1
Shriram Krishnamurthi 1
Vijay Palepu 1
Jooyong Yi 1
Stephen MacDonell 1
Mauro Pezzè 1
Gary Sevitsky 1
Alan Santos 1
Thais Webber 1
Fei He 1
Gregory Gay 1
Ajitha Rajan 1
Shangru Wu 1
Alessandro Lapadula 1
Francesco Tiezzi 1
Gianpaolo Cugola 1
Steve Easterbrook 1
Avik Sinha 1
Jan Mendling 1
Christian Creveuil 1
Scott Smolka 1
Laurie Williams 1
Yuan Zhao 1
Andrew Martin 1
Junghee Lim 1
Reina Uba 1
Helmut Veith 1
Bingchiang Jeng 1
Rachel Bellamy 1
Hoang Nguyen 1
Xin Yao 1
Fernando Alonso 1
Éric Rutten 1
Y Tang 1
Gul Agha 1
Lee Naish 1
Barbara Liskov 1
Ruben Diaz 1
Rik Eshuis 1
Jürgen Doser 1
Gary Wassermann 1
Sean O'Malley 1
Faten Afifi 1
Vibhu Sharma 1
Param Singh 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
Roger Khazan 1
Michael Schrefl 1
Markus Stumptner 1
Stefan Kramer 1
Stephen Swift 1
Johnny Martin 1
Marcel Karam 1
Trevor Smedley 1
Seyedeh Emam 1
Arnaud Gotlieb 1
John Regehr 1
Marianna Rapoport 1
Sebastian Proksch 1
Saba Alimadadi 1
Xiujuan Ma 1
Khaled Elwazeer 1
Nurit Dor 1
Curtis Cook 1
David Notkin 1
Federico Mari 1
Enrico Tronci 1
Tom Holvoet 1
Anders Mattsson 1
Björn Lundell 1
Geoffrey Clemm 1
Eric Dashofy 1
David Walker 1
Çigdem Gencel 1
Laura Cowen 1
ThanhVu Nguyen 1
Stephanie Forrest 1
Omesh Pandita 1
Aditya Kanade 1
Xintao Wu 1
Marcela Genero 1
Frank Padberg 1
Cosmin Radoi 1
Gabriella Dodero 1
Matthew Dwyer 1
Giuseppe Lettieri 1
Razieh Behjati 1
Daniel Dobos 1
Ivan Candela 1
Florian Schaub 1
Lijun Zhang 1
Chunbai Yang 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
Chun Ouyang 1
Richard Paige 1
Cathrine Snyder 1
Reid Holmes 1
Julien Ponge 1
Boualem Benatallah 1
Fabio Casati 1
Chunqing Chen 1
Jerome Plun 1
Vincenzo Ambriola 1
Judith Crow 1
Simon Miles 1
Luc Moreau 1
Christopher Scaffidi 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
Roberto Cosmo 1
Jaideep Nijjar 1
Mohammad Alipour 1
Shinhwei Tan 1
Lucelene Lopes 1
Afonso Sales 1
Gleb Naumovich 1
P Thiagarajan 1
Colin Snook 1
Carl Gould 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
Philippe Kruchten 1
Sriram Gopal 1
Martin Vechev 1
Aravinda Sistla 1
Hassan Gomaa 1
Christopher League 1
Matteo Rossi 1
Riccardo Sisto 1
Tatsuhiro Tsuchiya 1
Xuemei Qiu 1
Fuqing Yang 1
Yin Liu 1
Gary Schneider 1
Karim Ali 1
Johannes Lerch 1
Hoan Nguyen 1
Karthik Pattabiraman 1
Haipeng Cai 1
Kapil Anand 1
Darren Brown 1
Marc Fisher 1
Alexander Egyed 1
Emanuele Ciapessoni 1
Helen Callison 1
Stanley Sutton 1
Christian Nentwich 1
Andrew Tappenden 1
Ivano Salvo 1
Lin Chen 1
Milton Inostroza 1
Nicolas D’Ippolito 1
Greg Brunet 1
Jun Sun 1
Jinsong Dong 1
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
Sastry Duri 1
Jonathan Bowen 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
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
Huajie Lee 1
Jérôme Vouillon 1
Christine Braun 1
James Herbsleb 1
Rocco Oliveto 1
Wuu Yang 1
Giandomenico Oldano 1
Joe Sventek 1
Annie Antón 1
Roongko Doong 1
Changhai Nie 1
Eelco Visser 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
Kathi Fisler 1
Huibiao Zhu 1
Suzette Person 1
Mariano Moscato 1
Emerson Murphy-Hill 1
Lunjin Lu 1
Francisco Palomo-Lozano 1
Jian Ren 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
Eric Walkingshaw 1
Pericles Loucopoulos 1
Victoria Ungureanu 1
Frank Tip 1
Carl Gunter 1
David Redmiles 1
Tohru Kikuno 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
Yuentak Yu 1
Peng Li 1
Vikram Adve 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
José Fiadeiro 1
Ali Ebnenasir 1
Kiemphong Vo 1
Simon Kaplan 1
James Miller 1
Mehrdad Sabetzadeh 1
Dong Yuan 1
Jinjun Chen 1
Yang Liu 1
Wei Le 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
Dilan Sahin 1
Richard Banach 1
Kai Pan 1
Marcelo Frias 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
Paul Strooper 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
Funting Chan 1
Kiran Lakhotia 1
Takaaki Tateishi 1
Omer Tripp 1
Giovanni Denaro 1
Herve Chang 1
Chen Fu 1
Roberto Paleari 1
Javier Soriano 1
Andrew Appel 1
Nalini Venkatasubramanian 1
Richard DeMillo 1
Andrea De Lucia 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
Victor Braberman 1
Ian Bayley 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
Jurgen Vinju 1
Matteo Pradella 1
Luca Durante 1
Jason Robbins 1
Alexander Shvartsman 1
Weitek Tsai 1
Gregor Engels 1
Manfred Nagl 1
Vincenzo Gervasi 1
Farn Wang 1
Stefano Di Alesio 1
Chris Wright 1
Julian Dolby 1
Frank Tip 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
Sergio Segura 1
Gary Bradshaw 1
Alessandro Marchetto 1
Antónia Lopes 1
Vincenzo Deufemia 1
Piergiorgio Mirandola 1
Vincent Mooney 1
Marija Mikic-Rakic 1
Ingolf Krüger 1
Michael Meisinger 1
Baowen Xu 1
Hareton Leung 1
Yun Yang 1
Eric Bodden 1
Bikram Sengupta 1
Amy Felty 1
Dick Hamlet 1
Sarah Beecham 1
Helen Sharp 1
Matteo Tanca 1
Jean Talpin 1
Abdoulaye Gamatié 1
Wen Su 1
Xiaofeng Wu 1
Anirudh Santhiar 1
Gianna Reggio 1
Neha Rungta 1
Sarfraz Khurshid 1
Michael Unterkalmsteiner 1
Muhammad Babar 1
Jingwen Ou 1
Dharmalingam Ganesan 1
Artem Polyvyanyy 1
Rohan Sharma 1
Danny Dig 1
Nicolò Perino 1
Mainul Islam 1
Paulo Fernandes 1
Katsuro Inoue 1
Ugo Montanari 1
Jean Hainaut 1
Hong Mei 1
Warda El Kholy 1
Ugo Buy 1
Phillip Brooke 1
Stefano Tonetta 1
Nirmit Desai 1
Amit Chopra 1
Ekwa Duala-Ekoko 1
Thomas Pawlitzki 1
Leon Binder 1
Neil Walkinshaw 1
Kirill Bogdanov 1
Paul Groth 1
Baowen Xu 1
David Piorkowski 1
Danilo Bruschi 1
Robert Cameron 1
Wilfredo Marrero 1
Andrew Myers 1
Gennaro Costagliola 1
Roy Fielding 1
David Basin 1
Chaim Kahana 1
Lee White 1
István Forgács 1
Andrew Ko 1
Phyllis Frankl 1
Shahar Maoz 1
Ammei Lee 1
David Clark 1
Kari Nies 1
William Howden 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
Wei Zhao 1
Claus Lewerentz 1
Diomidis Spinellis 1
Wei Zheng 1
Mingming Cao 1
Mariano Ceccato 1
Anthony Finkelsteiin 1
Andrea Lucia 1
Anand Tripathi 1
Martin Monperrus 1
Nicolás D'Ippolito 1
Robrecht Haesevoets, 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
Latifa Guerrouj 1
Adnan Shaout 1
Peter Whigham 1
Antonio Carzaniga 1
Lucas Layman 1
Jaspreet Bhatia 1
Alessandro Fantechi 1
Paul Jennings 1
Benet Devereux 1
Amy Murphy 1
Geert Houben 1
Rachida Dssouli 1
Esther Guerra 1
Jesús Cuadrado 1
Gary Leavens 1
R Devarapalli 1
Shay Artzi 1
Heebeng Tan 1
Jamie Payton 1
Shan Lu 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
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
F Franze` 1
Paola Inverardi 1
Andrei Sheretov 1
Bob MacDonald 1
Adriano Valenzano 1
Laurie Hendren 1
Chris Verhoef 1
Aloysius Mok 1
Ali Mesbah 1
Brandon Lucia 1
Angelos Keromytis 1
Anas Mahmoud 1
Cu Nguyen 1
Tankut Akgul 1
Gail Kaiser 1
Ernst Ellmer 1
Yuming Zhou 1
Éric Tanter 1
Brian Demsky 1
Patrick Lam 1
Jeff Huang 1
Juan Galeotti 1
Robert Merkel 1
Amer Diwan 1
Răzvan Popescu 1
Pingyu Zhang 1
Klaas Stol 1
Yan Lucas 1
Mikael Lindvall 1
Parastoo Mohagheghi 1
Moe Wynn 1
James Jones 1
Milos Gligoric 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
Islem Baki 1
Barbara Russo 1
Mats Heimdahl 1
Michael Whalen 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
Sagar Chaki 1
Marcello La Rosa 1
Alexander Wise 1
Jinjun Chen 1
Irwin Kwan 1
Marco Pistoia 1
Giampaolo Roglia 1
Eduardo Ostertag 1
Lynn Pierce 1
Ana Milanova 1
Zhendong Su 1
Steven Zeil 1
Luigi Lavazza 1
Maria Jaccheri 1
Mikio Aoyama 1
Jon Doyle 1
Yuanyuan Song 1
Brad Myers 1
Michael Wooldridge 1
Robin Gandhi 1
Barthélémy Dagenais 1
Christian Zapf 1
Francesco Bergadano 1
Kevin Hoffman 1
Shanshan Huang 1
Debra Brodbeck 1
Gregory Abowd 1
Bogdan Korel 1
Susanelliott Sim 1
Cristina Lopes 1
Klaus Weidenhaupt 1
Peter Haumer 1
Matthias Jarke 1
Viktor Gyuris 1
Naftaly Minsky 1
Christopher Dupuis 1
John Bible 1
Richard Gerber 1
Clay Johnson 1
Idit Keidar 1
James Kiper 1
Lorenzo Donatiello 1
James Miller 1
Douglas Thain 1
Nuno Machado 1
Daniel Quinta 1
Stephen Fink 1
Anastasia Mironova 1
Sandeep Kulkarni 1
Paolo Tonella 1
Amrit Tiwana 1
Michel Wermelinger 1
Bevin Brett 1
Roshanak Roshandel 1
James Whittaker 1
Jesse Poore 1
Igor Melatti 1
Rawad Assi 1
Dario Fischbein 1
Tanvir Ahmed 1
Étienne André 1
Nir Piterman 1
David Leblang 1
Jean Berstel 1
Stefano Crespi-Reghizzi 1
Kedar Namjoshi 1
Johannes Henkel 1
Praveen Jayaraman 1
Chang Xu 1
Westley Weimer 1
Rainer Koschke 1
Anders Møller 1
Egidio Astesiano 1
José Cruz-Lemus 1
Robert Feldt 1
Paris Avgeriou 1
Thomas Fritz 1
Shams Azad 1
Ivan Bocić 1
Alessandra Gorla 1
Nick Mitchell 1
Ricardo Czekster 1
Ralph Jeffords 1
Constance Heitmeyer 1
Elisabetta Di Nitto 1
Piero Fraternali 1
Mohamed Menshawy 1
Juan De Lara 1
Sol Shatz 1
Michael Van De Vanter 1
Ben Smith 1
Angelo Susi 1
Andrian Marcus 1
Adam Kieżun 1
Vijay Ganesh 1
Michael Ernst 1
Christine Julien 1
Wei Zhang 1
Remco Dijkman 1
Alexandre Petrenko 1
John Anvik 1
Zibin Zheng 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
Kotagiri Ramamohanarao 1
Giuseppe Polese 1
James Hendler 1
Marco Mamei 1
Donglin Liang 1
Jane Ransom 1
Ian Sommerville 1
Magne Jørgensen 1
Seokwon Lee 1
Josh Dehlinger 1
Patrick Eugster 1
David Zook 1
Yudong Huang 1
Matteo Pradella 1
John Howard 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
Xiao Liu 1
Jehad Al Dallal 1
Devdatta Kulkarni 1
Brian Lings 1
Anna Queralt 1
Ernest Teniente 1
Yan Liu 1
Timothy Meyers 1
Arie Arie Van Deursen 1
Darcy Wiborg-Weber 1
Jacky Estublier 1
Tom Maibaum 1
Zhe Fu 1
Danny Weyns 1
Jay Ligatti 1
Nathan Baddoo 1
Yueqi Li 1
Xiangyu Zhang 1
Yi Sun 1
Deepak Kapur 1
Filippo Ricca 1
Daekyoo Kim 1

Affiliation Paper Counts
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
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
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
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
Google Switzerland GmbH 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
Universite Grenoble Alpes 1
Universidade de Lisboa 1
Kansas State University 1
NASA Langley Research Center 1
Boise State University 1
University of Glasgow 1
Mississippi State University 1
University of Nevada, Reno 1
Rochester Institute of Technology 1
Instituto de Engenharia de Sistemas e Computadores Investigacao e Desenvolvimento em Lisboa 1
University of Quebec System 1
University of Calgary 1
Universidad Andres Bello 1
Bar-Ilan University 1
Illinois Institute of Technology 1
University of Texas at Arlington 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
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 Adelaide 1
Avaya Inc. 1
University of Groningen 1
University of Skovde 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
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
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
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
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
University of Leicester 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 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
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
Ohio State University 4
University of Michigan-Dearborn 4
University of Lugano 4
The University of North Carolina at Charlotte 4
University of Montreal 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
University of Texas System 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 Oslo 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
University of Southern California 5
University of Roma La Sapienza 5
University of Hertfordshire 5
University of Michigan 6
Purdue University 6
University of Limerick 6
IBM Research 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 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 8
University of Illinois at Urbana-Champaign 9
Washington University in St. Louis 9
University of Milan - Bicocca 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
Simula Research Laboratory 11
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 Maryland 22
University of California, Irvine 23
National University of Singapore 23
Oregon State University 30
Politecnico di Milano 36

ACM Transactions on Software Engineering and Methodology (TOSEM)
Archive


2017
Volume 25 Issue 4, January 2017  Issue-in-Progress

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