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) 2847
Downloads (12 Months) 25213
Downloads (cumulative) 457799
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
Gruia Roman 6
Gail Murphy 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
Jeff Kramer 4
Tsongyueh Chen 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
Don Batory 3
Thomas Reps 3
Guoqing Xu 3
Marouane Kessentini 3
Alfonso Fuggetta 3
Peter McCann 3
David Garlan 3
Brian Fitzgerald 3
Leon Osterweil 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
Luciano Baresi 3
Audris Mockus 3
Shingchi Cheung 3
Richard Taylor 3
Carlo Ghezzi 3
Pamela Zave 3
Reidar Conradi 3
Marsha Chećhik 2
Christoph Reichenbach 2
Harvey Siy 2
Rolf Adams 2
Louise Moser 2
Huoyan Chen 2
Christian Schallhart 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
Amy Zaremski 2
Alberto Coen-Porisini 2
Mira Mezini 2
Nazareno Aguirre 2
Arthur Hofstede 2
Slim Bechikh 2
George Kutty 2
Miguel Felder 2
Jonathan Ostroff 2
Annette Weinert 2
Susan Horwitz 2
Robert Dyer 2
Mark Van Den Brand 2
Jeannette Wing 2
Nenad Medvidović 2
Marcelo Frias 2
Yvan Labiche 2
Michael Jackson 2
Eli Tilevich 2
Yishai Feldman 2
Franco Zambonelli 2
Elaine Weyuker 2
Giovanni Cantone 2
T Tse 2
Adam Porter 2
Eran Yahav 2
Martin Erwig 2
Ernesto Damiani 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
Wes Masri 2
Jonathan Cook 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
Andrea De Lucia 1
Chao Wang 1
Patrick Schaumont 1
Hongyu Zhang 1
Takaaki Tateishi 1
Omer Tripp 1
Gianluigi Caldiera 1
Funting Chan 1
Kiran Lakhotia 1
Chong Sun 1
Vincenzo Deufemia 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
Ferhat Khendek 1
Ian Bayley 1
Victor Braberman 1
Andreas Zeller 1
Daniel Yankelevich 1
T Dinesh 1
Charles Yang 1
Francis Wolff 1
Jean Jézéquel 1
Piergiorgio Mirandola 1
Jungmin Kim 1
Jason Robbins 1
Alexander Shvartsman 1
Weitek Tsai 1
Manfred Nagl 1
Gregor Engels 1
Jurgen Vinju 1
Matteo Pradella 1
Luca Durante 1
Vincent Mooney 1
Marija Mikic-Rakic 1
Vincenzo Gervasi 1
Stefano Di Alesio 1
Chris Wright 1
Tien Nguyen 1
Gary Bradshaw 1
Alessandro Marchetto 1
Julian Dolby 1
Frank Tip 1
Farn Wang 1
Esteban Pavese 1
Sheldon Sequeira 1
Hong Mei 1
Raul Santelices 1
Xiaohui Liu 1
Sergio Segura 1
Matthew Smithson 1
Rajeev Barua 1
Antónia Lopes 1
Ingolf Krüger 1
Michael Meisinger 1
Baowen Xu 1
Hareton Leung 1
Yun Yang 1
Eric Bodden 1
Bikram Sengupta 1
Amy Felty 1
Dick Hamlet 1
Helen Sharp 1
Sarah Beecham 1
Matteo Tanca 1
Jean Talpin 1
Abdoulaye Gamatié 1
Wen Su 1
Xiaofeng Wu 1
Anirudh Santhiar 1
Gianna Reggio 1
Neha Rungta 1
Sarfraz Khurshid 1
Michael Unterkalmsteiner 1
Muhammad Babar 1
Dharmalingam Ganesan 1
Jingwen Ou 1
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
Warda El Kholy 1
Hong Mei 1
Ugo Buy 1
Phillip Brooke 1
Stefano Tonetta 1
Nirmit Desai 1
Amit Chopra 1
Ekwa Duala-Ekoko 1
Thomas Pawlitzki 1
Danilo Bruschi 1
Robert Cameron 1
Wilfredo Marrero 1
David Basin 1
Chaim Kahana 1
István Forgács 1
Leon Binder 1
Andrew Myers 1
Roy Fielding 1
Paul Groth 1
Baowen Xu 1
Neil Walkinshaw 1
Kirill Bogdanov 1
David Piorkowski 1
Gennaro Costagliola 1
Lee White 1
Andrew Ko 1
Ammei Lee 1
David Clark 1
Daniel Sinnig 1
Shahar Maoz 1
Phyllis Frankl 1
William Howden 1
Kevin Mills 1
Li Li 1
Kari Nies 1
Yolanda McCleese 1
Steven Reiss 1
Klaus Pohl 1
Nancy Lynch 1
Dale Von Heeder 1
Claus Lewerentz 1
Erica Lan 1
Mingming Cao 1
Wei Zhao 1
Diomidis Spinellis 1
Mariano Ceccato 1
Wei Zheng 1
Anthony Finkelsteiin 1
Andrea Lucia 1
Anand Tripathi 1
Robrecht Haesevoets, 1
Martin Monperrus 1
Nicolás D'Ippolito 1
Lujo Bauer 1
Antonio Brogi 1
S Cheung 1
Yepang Liu 1
Jon Whittle 1
Walid Maalej 1
Rebecca Tiarks 1
Nicolas Gold 1
Marco Torchiano 1
Guowei Yang 1
Genoveffa Tortora 1
Tony Gorschek 1
Carlos Pombo 1
Tao Xie 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
R Devarapalli 1
Shay Artzi 1
Jamie Payton 1
Tsongyueh Chen 1
Collin McMillan 1
Genoveva López 1
Dewayne Perry 1
Haim Schneider 1
Michael Butler 1
Torsten Lodderstedt 1
Heebeng Tan 1
Fausto Fasano 1
Macneil Shonle 1
Philip Bernhard 1
Gary Leavens 1
Ben Di Vito 1
Yun Yang 1
Shan Lu 1
Brendan Murphy 1
Yossi Cohen 1
Nicholas Jennings 1
Mira Balaban 1
Asaf Kleinbort 1
Guido Caso 1
Francesco Parisi-Presicce 1
David Levine 1
Medha Umarji 1
Paola Inverardi 1
Andrei Sheretov 1
Wassim Masri 1
Ralf Klamma 1
Daniela Kühn 1
F Franze` 1
Bob MacDonald 1
Adriano Valenzano 1
Tankut Akgul 1
Laurie Hendren 1
Chris Verhoef 1
Anas Mahmoud 1
Cu Nguyen 1
Gail Kaiser 1
Aloysius Mok 1
Ali Mesbah 1
Brandon Lucia 1
Angelos Keromytis 1
Ernst Ellmer 1
Yuming Zhou 1
Éric Tanter 1
Brian Demsky 1
Patrick Lam 1
Juan Galeotti 1
Jeff Huang 1
Robert Merkel 1
Amer Diwan 1
Răzvan Popescu 1
Parastoo Mohagheghi 1
Klaas Stol 1
Yan Lucas 1
Mikael Lindvall 1
Pingyu Zhang 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
Marco Pistore 1
Gian Ferrari 1
Hongyang Qu 1
Tim Miller 1
Dan Hao 1
Lingming Zhang 1
Carmen Trammell 1
Alessandro Cimatti 1
Marco Roveri 1
Pieter Hooimeijer 1
Vasanth Rajamani 1
Giampaolo Roglia 1
Eduardo Ostertag 1
Ana Milanova 1
Zhendong Su 1
Yuanyuan Song 1
Kalpesh Kapoor 1
Marco Pistoia 1
Yoonsik Cheon 1
Robert Ballance 1
Jinjun Chen 1
Alexander Wise 1
Marcello La Rosa 1
Sagar Chaki 1
Irwin Kwan 1
Lynn Pierce 1
Luigi Lavazza 1
Maria Jaccheri 1
Mikio Aoyama 1
Steven Zeil 1
Brad Myers 1
Michael Wooldridge 1
Robin Gandhi 1
Barthélémy Dagenais 1
Christian Zapf 1
Francesco Bergadano 1
Jon Doyle 1
Shanshan Huang 1
Gregory Abowd 1
Kevin Hoffman 1
Susanelliott Sim 1
Cristina Lopes 1
Naftaly Minsky 1
Christopher Dupuis 1
Debra Brodbeck 1
Bogdan Korel 1
Sandeep Kulkarni 1
Klaus Weidenhaupt 1
Peter Haumer 1
Matthias Jarke 1
Viktor Gyuris 1
John Bible 1
Richard Gerber 1
Idit Keidar 1
Clay Johnson 1
Bevin Brett 1
Roshanak Roshandel 1
James Kiper 1
James Miller 1
Lorenzo Donatiello 1
Paolo Tonella 1
James Whittaker 1
Jesse Poore 1
Douglas Thain 1
Nuno Machado 1
Daniel Quinta 1
Stephen Fink 1
Anastasia Mironova 1
Amrit Tiwana 1
Michel Wermelinger 1
Igor Melatti 1
Dario Fischbein 1
Tanvir Ahmed 1
Kedar Namjoshi 1
Rawad Assi 1
Étienne André 1
Nir Piterman 1
David Leblang 1
Jean Berstel 1
Stefano Crespi-Reghizzi 1
Johannes Henkel 1
Chang Xu 1
Praveen Jayaraman 1
Westley Weimer 1
Rainer Koschke 1
Egidio Astesiano 1
José Cruz-Lemus 1
Robert Feldt 1
Paris Avgeriou 1
Thomas Fritz 1
Anders Møller 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
Alexandre Petrenko 1
Juan De Lara 1
Ben Smith 1
Angelo Susi 1
Andrian Marcus 1
Adam Kieżun 1
Vijay Ganesh 1
Michael Ernst 1
Christine Julien 1
Michael Würsch 1
Mark Grechanik 1
Qing Xie 1
Lorenzo Martignoni 1
Philip Fong 1
Antonio Durante 1
Edmund Clarke 1
Carolyn Talcott 1
James Hendler 1
Marco Mamei 1
Donglin Liang 1
Jane Ransom 1
Ian Sommerville 1
Sol Shatz 1
Michael Van De Vanter 1
John Anvik 1
Kotagiri Ramamohanarao 1
Remco Dijkman 1
Wei Zhang 1
Zibin Zheng 1
Michael Lyu 1
Scott Fleming 1
Joseph Lawrance 1
Giuseppe Polese 1
Seokwon Lee 1
Josh Dehlinger 1
Magne Jørgensen 1
David Zook 1
Patrick Eugster 1
Matteo Pradella 1
Yudong Huang 1
Sukanya Ratanotayanon 1
John Howard 1
Hermann Kaindl 1
Cecilia Mascolo 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
Danny Weyns 1
Yan Liu 1
Darcy Wiborg-Weber 1
Jacky Estublier 1
Tom Maibaum 1
Timothy Meyers 1
Arie Arie Van Deursen 1
Zhe Fu 1
Nathan Baddoo 1
Jay Ligatti 1
Yueqi Li 1
Xiangyu Zhang 1
Yi Sun 1
Deepak Kapur 1
Filippo Ricca 1
Daekyoo Kim 1
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
Scott Smolka 1
Laurie Williams 1
Andrew Martin 1
Hoang Nguyen 1
Xin Yao 1
Fernando Alonso 1
Éric Rutten 1
Y Tang 1
Gul Agha 1
Ruben Diaz 1
Rik Eshuis 1
Jürgen Doser 1
Gary Wassermann 1
Sean O'Malley 1
Christian Creveuil 1
Yuan Zhao 1
Barbara Liskov 1
Param Singh 1
Nishit Tewari 1
Bingchiang Jeng 1
Lee Naish 1
Reina Uba 1
Junghee Lim 1
Helmut Veith 1
Rachel Bellamy 1
Vibhu Sharma 1
Faten Afifi 1
Mark Jones 1
Rafael Capilla 1
Azzam Maraee 1
Diego Garbervetsky 1
Sebastian Uchitel 1
Alfonso Pierantonio 1
Roger Ferguson 1
Madeline Diep 1
Ralf Domges 1
Todd Graves 1
James Corbett 1
Roger Khazan 1
Michael Schrefl 1
Markus Stumptner 1
Stefan Kramer 1
Johnny Martin 1
Robert Bowdidge 1
Stephen Swift 1
Curtis Cook 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
Nurit Dor 1
Khaled Elwazeer 1
David Notkin 1
Federico Mari 1
Tom Holvoet 1
Anders Mattsson 1
Björn Lundell 1
Enrico Tronci 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
Marcela Genero 1
Xintao Wu 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
Jaymie Strecker 1
Macneil Shonle 1
Franco Mazzanti 1
Rosario Pugliese 1
Bruce Labaw 1
Torsten Robschink 1
Kaituo Li 1
Jamal Bentahar 1
Jerome Plun 1
Vincenzo Ambriola 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
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
P Thiagarajan 1
Colin Snook 1
Carl Gould 1
Hassan Eldib 1
Roberto Cosmo 1
Judith Crow 1
Luc Moreau 1
Christopher Scaffidi 1
Gleb Naumovich 1
Bashar Nuseibeh 1
Anthony Hunter 1
Pankaj Jalote 1
Robyn Lutz 1
Andreas Bauer 1
Daniele Gunetti 1
Philippe Kruchten 1
Tanja Gruschke 1
Scott Henninger 1
Sriram Gopal 1
Martin Vechev 1
Hassan Gomaa 1
Emanuele Ciapessoni 1
Aravinda Sistla 1
Christopher League 1
Tatsuhiro Tsuchiya 1
Xuemei Qiu 1
Gary Schneider 1
Helen Callison 1
Stanley Sutton 1
Matteo Rossi 1
Riccardo Sisto 1
Darren Brown 1
Marc Fisher 1
Fuqing Yang 1
Yin Liu 1
Alexander Egyed 1
Karim Ali 1
Hoan Nguyen 1
Johannes Lerch 1
Karthik Pattabiraman 1
Haipeng Cai 1
Kapil Anand 1
Christian Nentwich 1
Ivano Salvo 1
Lin Chen 1
Milton Inostroza 1
Nicolas D’Ippolito 1
Greg Brunet 1
Andrew Tappenden 1
Jun Sun 1
Jinsong Dong 1
Leon Moonen 1
Simon Miles 1
Jaideep Nijjar 1
Mohammad Alipour 1
Shinhwei Tan 1
Afonso Sales 1
Lucelene Lopes 1
Xiaowei Gao 1
Miaofei Wang 1
Bowyaw Wang 1
Christian Kästner 1
Sorin Lerner 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
Andrew Meneely 1
Philip Guo 1
Jun Sun 1
Friedrich Steimann 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
Jonathan Bowen 1
Jérôme Vouillon 1
James Herbsleb 1
Rocco Oliveto 1
Susan Graham 1
Amnon Naamad 1
Steve Munroe 1
Kurt Olender 1
Peri Tarr 1
Daniel Barrett 1
Zhenyu Chen 1
Jinguo Zhou 1
Marius Marin 1
Onur Demirörs 1
Margaret Storey 1
David Bowes 1
Chunyang Ye 1
Min Zhang 1
Huibiao Zhu 1
Suzette Person 1
Mariano Moscato 1
Lunjin Lu 1
Francisco Palomo-Lozano 1
Jian Ren 1
Kathi Fisler 1
Emerson Murphy-Hill 1
Huajie Lee 1
Wuu Yang 1
Giandomenico Oldano 1
Joe Sventek 1
Changhai Nie 1
Beatriz Marín 1
Giovanni Giachetti 1
Óscar Pastor 1
Tanja Vos 1
Alain Abran 1
Patrice Chalin 1
Annie Antón 1
Wei Le 1
Hong Zhu 1
Roongko Doong 1
Victoria Ungureanu 1
Frank Tip 1
Eelco Visser 1
Ali Ebnenasir 1
Eric Walkingshaw 1
Pericles Loucopoulos 1
Carl Gunter 1
David Redmiles 1
Tohru Kikuno 1
Alexey Malishevsky 1
Praveen Kallakuri 1
Wilhelm Schäfer 1
Andy Schürr 1
Kiemphong Vo 1
Jason Crampton 1
Lu Zhang 1
Jiasu Sun 1
Vasileios Vlachos 1
Yuentak Yu 1
Didar Zowghi 1
Ralf Lämmel 1
Peng Li 1
Vikram Adve 1
Simon Kaplan 1
Petr Bauch 1
Jiří Barnat 1
Minghui Zhou 1
Luís Rodrigues 1
Miqing Li 1
Emmanuel Geay 1
Stephen Siegel 1
John Doppke 1
Tao Xie 1
José Fiadeiro 1
Mehrdad Sabetzadeh 1
Ling Shi 1
James Miller 1
Dong Yuan 1
Jinjun Chen 1
Yang Liu 1
Hadi Hemmati 1
Charles Zhang 1
Gabriel Baum 1
Gilles Roussel 1
Hugh Robinson 1
Daniel Germán 1
Tobias Roehm 1
Richard Banach 1
Marcelo Frias 1
Mathias Schwarz 1
Dilan Sahin 1
Kai Pan 1
Darko Marinov 1
Patrice Koligheu 1
Michele Risi 1
Caitlin Owen 1
Elena Sherman 1
Edith Schonberg 1
Nicoletta Francesco 1
Antonella Santone 1
Gunter Saake 1
Arka Ghosh 1
Philippe Thiran 1
Ioana Manolescu 1
Paul Strooper 1
Robert Walker 1
Author index 1
Farouk Toumani 1
Jinsong Dong 1
Kieran Conboy 1
Christian Kästner 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

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