ACM DL

ACM Transactions on

Software Engineering and Methodology (TOSEM)

Menu
Latest Articles

Understanding Integer Overflow in C/C++

Integer overflow bugs in C and C++ programs are difficult to track down and may lead to fatal errors or exploitable vulnerabilities. Although a number of tools for finding these bugs exist, the situation is complicated because not all overflows are bugs. Better tools need to be constructed, but a thorough understanding of the issues behind these... (more)

Intelligent Code Completion with Bayesian Networks

Code completion is an integral part of modern Integrated Development Environments (IDEs). Developers often use it to explore Application Programming... (more)

Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines

Tasks in real-time embedded systems (RTES) are often subject to hard deadlines that constrain how... (more)

Do Automatically Generated Test Cases Make Debugging Easier? An Experimental Assessment of Debugging Effectiveness and Efficiency

Several techniques and tools have been proposed for the automatic generation of test cases. Usually,... (more)

Test Case Prioritization Using Extended Digraphs

Although many test case prioritization techniques exist, their performance is far from perfect. Hence, we propose a new fault-based test case... (more)

Boa

In today's software-centric world, ultra-large-scale software repositories, such as SourceForge, GitHub, and Google Code, are the new library of Alexandria. They contain an enormous corpus of software and related information. Scientists and engineers alike are interested in analyzing this wealth of information. However, systematic extraction and... (more)

The Effectiveness of Test Coverage Criteria for Relational Database Schema Integrity Constraints

Despite industry advice to the contrary, there has been little work that has sought to test that a... (more)

Type-Based Call Graph Construction Algorithms for Scala

Call graphs have many applications in software engineering. For example, they serve as the basis for code navigation features in integrated... (more)

Estimating Semantic Relatedness in Source Code

Contemporary software engineering tools exploit semantic relations between individual code terms to aid in code analysis and retrieval tasks. Such tools employ word similarity methods, often used in natural language processing (nlp), to analyze the textual content of source code. However, the notion of similarity in source code is different from... (more)

NEWS

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

ACM introduces a new publishing license agreement, an updated copyright transfer agreement, and a new author-pays option which allows for perpetual open access through the ACM Digital Library. For more information, visit the ACM Author Rights webpage.

 

About TOSEM

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

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

read more
Forthcoming Articles

Inflow and Retention in OSS Communities with Commercial Involvement: A Case Study of Three Hybrids

Less is More: Estimating Probabilistic Rewards over Partial System Explorations

Concurrency Debugging with Differential Schedule Projections

We present Symbiosis: a concurrency debugging technique based on novel differential schedule projections (DSPs). A DSP shows the small set of memory operations and data-flows responsible for a failure, as well as a reordering of those elements that avoids the failure. To build a DSP, Symbiosis first generates a full, failing, multithreaded schedule via thread path profil- ing and symbolic constraint solving. Symbiosis selectively reorders events in the failing schedule to produce a non-failing, alternate schedule. A DSP reports the ordering and data-flow differences between the failing and non-failing schedules. Our evaluation on buggy real-world software and benchmarks shows that, in practical time, Symbiosis generates DSPs that both isolate the small fraction of event orders and data-flows responsible for the failure, and show which event reorderings prevent failing. In our experiments, DSPs contain 90% fewer events and 96% fewer data-flows than the full failure-inducing schedules. Moreover, by allowing developers to focus on only a few events, DSPs reduce the amount of time required to find a valid fix.

Control Explicit---Data Symbolic Model Checking

Automatic verification of programs and computer systems with data non-determinism (e.g. reading from user input) represents a significant and well-motivated challenge. The case of parallel programs is especially difficult, because then also the control flow non-trivially complicates the verification process. We apply the techniques of explicit-state model checking to account for the control aspects of verified programs and use set-based reduction of the data flow, thus handling the two sources of non-determinism separately. We build the theory of set-based reduction using first-order formulae in the bit-vector theory to encode the sets of variable evaluations representing program data. These representations are tested for emptiness and equality (state matching) during the verification and we harness modern satisfiability modulo theories solvers to implement these tests. We design two methods of implementing the state matching, one using quantifiers and one which is quantifier-free, and we provide both analytical and experimental comparison. Further experiments evaluate the efficiency of the set-based reduction showing the classical, explicit approach to fail to scale with the size of data domains. Finally, we propose and evaluate two heuristics to decrease the number of expensive satisfiability queries, together yielding a 10-fold speedup.

Understanding JavaScript Event-Based Interactions with Clematis

Web applications have become one of the fastest growing types of software systems today. Despite their popularity, understanding the behaviour of modern web applications is still a challenging endeavour for developers during development and maintenance tasks. The challenges mainly stem from the dynamic, event-driven, and asynchronous nature of the JavaScript language. We propose a generic technique for capturing low-level event-based interactions in a web application and mapping those to a higher-level behavioural model. This model is then transformed into an interactive visualization, representing episodes of triggered causal and temporal events, related JavaScript code executions, and their impact on the dynamic DOM state. Our approach, implemented in a tool called Clematis, allows developers to easily understand the complex dynamic behaviour of their application at three different semantic levels of granularity. Furthermore, Clematis helps developers bridge the gap between test cases and program code by localizing the fault related to a test assertion. The results of our industrial controlled experiment show that Clematis is capable of improving the comprehension task accuracy by 61%, while reducing the task completion time by 47%. A follow up experiment reveals that Clematis improves the fault localization accuracy of developers by a factor of two.

Bibliometrics

Publication Years 1992-2015
Publication Count 413
Citation Count 9109
Available for Download 413
Downloads (6 weeks) 3712
Downloads (12 Months) 28601
Downloads (cumulative) 433231
Average downloads per article 1049
Average citations per article 22
First Name Last Name Award
Gregory Abowd ACM Eugene L. Lawler Award for Humanitarian Contributions within Computer Science and Informatics (2009)
ACM Fellows (2008)
ACM Senior Member (2008)
Vikram Adve ACM Fellows (2014)
ACM Software System Award (2012)
Andrew W Appel ACM Fellows (1998)
George S Avrunin ACM Distinguished Member (2006)
Victor Basili ACM Fellows (1997)
Travis D. Breaux ACM Senior Member (2014)
Margaret Burnett ACM Distinguished Member (2015)
Stefano Ceri ACM Fellows (2013)
Edmund Clarke 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)
Michael D Ernst ACM Fellows (2014)
ACM Doctoral Dissertation Award (2000)
Michael D. Ernst ACM Fellows (2014)
ACM Doctoral Dissertation Award (2000)
Michael D Ernst ACM Fellows (2014)
ACM Doctoral Dissertation Award (2000)
Michael D. Ernst ACM Fellows (2014)
ACM Doctoral Dissertation Award (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)
Rajiv Gupta ACM Fellows (2009)
David Harel ACM Software System Award (2007)
ACM Fellows (1994)
ACM Karl V. Karlstrom Outstanding Educator Award (1992)
Laurie J Hendren ACM Fellows (2009)
Matthias Jarke ACM Fellows (2013)
Ondrej Lhotak ACM Senior Member (2013)
Barbara Liskov A. M. Turing Award (2008)
ACM Fellows (1996)
Cristina Videira Lopes ACM Distinguished Member (2011)
Nancy Lynch ACM-W Athena Lecturer Award (2012)
ACM Fellows (1997)
Andrian Marcus ACM Senior Member (2011)
Nenad Medvidovic ACM Distinguished Member (2015)
Gail C Murphy ACM Distinguished Member (2010)
Andrew Clifford Myers ACM Fellows (2013)
Brad A Myers ACM Fellows (2005)
Amnon Naamad ACM Software System Award (2007)
David S Notkin ACM Fellows (1998)
Alessandro Orso ACM Senior Member (2012)
Leon J Osterweil ACM Fellows (1998)
Hridesh Rajan ACM Senior Member (2014)
Ganesan Ramalingam ACM 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 G Ryder ACM Presidential Award (2008)
ACM Fellows (1998)
Riccardo Sisto ACM Senior Member (2010)
Mary Lou Soffa ACM - IEEE CS Ken Kennedy Award (2012)
ACM Fellows (1999)
Diomidis Spinellis ACM Senior Member (2006)
Richard N Taylor ACM Fellows (1998)
Walter F. Tichy ACM Fellows (2012)
ACM Distinguished Member (2010)
ACM Senior Member (2006)
Frank Tip ACM Distinguished Member (2008)
Sebastian Uchitel ACM Distinguished Member (2015)
ACM Senior Member (2013)
Elaine J 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)
Andreas Zeller ACM Fellows (2010)

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

Affiliation Paper Counts
Kansas State University 1
NASA Langley Research Center 1
Boise State University 1
University of Glasgow 1
Mississippi State University 1
University of Lisbon 1
University of Nevada, Reno 1
Rochester Institute of Technology 1
University of Quebec System 1
University of Calgary 1
Universidad Andres Bello 1
Bar-Ilan University 1
Illinois Institute of Technology 1
University of Texas at San Antonio 1
University of Rostock 1
Towson University 1
NASA Ames Research Center 1
Sintef Foundation for Scientific and Industrial Research At the Norwegian Institute of Technology 1
University of Sannio 1
Lawrence Technological University 1
Rice University 1
Yale University 1
University of Minnesota System 1
Los Alamos National Laboratory 1
University of Pennsylvania 1
Louisiana State University 1
Old Dominion University 1
University of South Florida Tampa 1
Johann Wolfgang Goethe University of Frankfurt 1
Cornell University 1
College of Wooster 1
Bremen University 1
AT&T Laboratories Florham Park 1
National University of Ireland, Galway 1
Australian National University 1
Jet Propulsion Laboratory 1
Wayne State University 1
University of Texas at Dallas 1
University of Montreal 1
University of Adelaide 1
Free University of Bozen-Bolzano 1
Avaya Inc. 1
University of Groningen 1
Worcester Polytechnic Institute 1
Nanzan University 1
INRIA Rhone-Alpes 1
The Interdisciplinary Center Herzliya 1
Philipps-Universitat Marburg 1
Montclair State University 1
Allegheny College 1
Stanford University 1
Ca' Foscari University of Venice 1
Universidad Diego Portales 1
Allen-Bradley Company 1
University of Molise 1
Sun Microsystems 1
University of Washington 1
University of Tennessee, Knoxville 1
Dalhousie University 1
University of York 1
Michigan Technological University 1
Brigham and Women's Hospital 1
University of Naples Federico II 1
Buenos Aires Institute of Technology 1
Middle Tennessee State University 1
Bowling Green State University 1
Universidad Rey Juan Carlos 1
University of Nebraska at Omaha 1
Xerox Corporation 1
Leiden University 1
University of Liverpool 1
Sun Yat-Sen University 1
University of Notre Dame 1
New York University 1
Indian Institute of Technology, Kanpur 1
University of Connecticut 1
University of Delaware 1
The King's University College, Edmonton 1
Universite Claude Bernard Lyon 1 1
Shanghai University 1
GE Healthcare, Sweden 1
Portland State University 1
Motorola 1
Catholic University of Leuven 1
Tsinghua University 1
ViGYAN, Inc. 1
University of Teesside 1
University of Udine 1
Microsoft 1
Vrije Universiteit Brussel 1
DePaul University 1
University of Roma Tor Vergata 1
Hungarian Academy of Sciences 1
University of New South Wales 1
University of Memphis 1
Siemens AG 1
Macalester College 1
University of Ottawa, Canada 1
University of Athens 1
University of Hawaii System 1
Columbia University 1
Texas State University-San Marcos 1
Central Washington University 1
McMaster University 1
New University of Lisbon 1
National University of La Plata 1
University of Urbino 1
Accenture 1
Miami University Oxford 1
Indian Institute of Technology, Delhi 1
University of Dortmund 1
University of London 1
University of Kuwait 1
Martin Marietta Energy Systems Inc 1
Teknowledge Corporation 1
Microsoft Research Cambridge 1
Microsoft Research India 1
I-Logix Inc. 1
Karlsruhe Institute of Technology 1
Dhirubhai Ambani Institute of Information and Communication Technology 1
Singapore University of Technology and Design 1
Linnaeus University 1
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
University of Insubria 2
Nanyang Technological University 2
Universite Paris 7- Denis Diderot 2
Maryville College 2
Facultes Universitaires Notre-Dame de la Paix 2
Universitat Politecnica de Catalunya 2
Vrije Universiteit Amsterdam 2
Hong Kong Polytechnic University 2
University of Skovde 2
Brown University 2
Universidad Politecnica de Valencia 2
Oakland University 2
Open University 2
Universite de Marne-La-Vallee 2
University of Turin 2
University of Oregon 2
Universidad de Chile 2
City University of Hong Kong 2
AT&T Inc. 2
Oxford Brookes University 2
Drexel University 2
University of Trento 2
Universidad de Cadiz 2
Carleton University 2
Vienna University of Technology 2
Simon Fraser University 2
University of Birmingham 2
University of Hagen 2
Basilicata University Potenza 2
East China Normal University 2
National Institute of Standards and Technology 2
University of Technology Sydney 2
Osaka University 2
University of Maryland, Baltimore County 2
INRIA Futurs 2
Rensselaer Polytechnic Institute 2
Swiss Federal Institute of Technology, Zurich 2
Alcatel-Lucent 2
Stony Brook University 2
University of Oxford 2
Ben-Gurion University of the Negev 2
Enel 2
University of Hamburg 2
University of Aarhus 2
TECH Lab 2
University of Queensland 2
University of California System 2
University of South Australia 2
National University of Rio Cuarto 2
York University Canada 2
University of Tartu 2
Istituto di Scienza e Tecnologie dell'Informazione A. Faedo 2
University of Jinan 2
University of Amsterdam 3
Princeton University 3
University of Texas at Arlington 3
University of Manchester 3
University of Modena and Reggio Emilia 3
Delft University of Technology 3
University of Michigan-Dearborn 3
The University of Hong Kong 3
Technical University in Braunschweig 3
Indian Institute of Science 3
Blekinge Institute of Technology 3
University of Otago 3
University of Magdeburg 3
University of L'Aquila 3
Athens University of Economics and Business 3
Hewlett-Packard 3
Italian National Research Council 3
IBM 3
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
University of Alberta 3
Michigan State University 3
Eindhoven University of Technology 3
University of Leicester 3
Ohio State University 4
The University of North Carolina at Charlotte 4
Center for Mathematics and Computer Science - Amsterdam 4
Polytechnic Institute of Turin 4
University of Zurich 4
Norwegian University of Science and Technology 4
The College of William and Mary 4
George Mason University 4
University of Florence 4
University of Melbourne 4
Clemson University 4
Institut de Recherche en Informatique et Systemes Aleatoires 4
Rutgers University 4
University of New Mexico 4
Concordia University, Montreal 4
American University of Beirut 4
Fraunhofer USA, Inc. 4
Tel Aviv University 5
University of Lugano 5
University of Limerick 5
Queensland University of Technology 5
INRIA Institut National de Rechereche en Informatique et en Automatique 5
University of Passau 5
University of Waterloo 5
University of California, Davis 5
University of Pittsburgh 5
Weizmann Institute of Science Israel 5
University of Southampton 5
University of Southern California 5
University of Roma La Sapienza 5
University of Hertfordshire 5
University of Michigan 6
Alcatel-Lucent Bell Labs 6
Purdue University 6
IBM Research 6
King's College London 6
Loyola University Maryland 6
University of Washington Seattle 6
University of Toronto 6
Technical University of Munich 6
Virginia Tech 6
University of Bologna 6
McGill University 7
University of Oslo 7
Peking University 7
University of Illinois at Chicago 7
Nanjing University 7
Fondazione Bruno Kessler 7
Case Western Reserve University 8
University of Sheffield 8
Technical University of Darmstadt 8
University of Milan - Bicocca 8
RWTH Aachen University 8
Brunel University 8
University of Milan 8
Simula Research Laboratory 9
University of Illinois at Urbana-Champaign 9
Washington University in St. Louis 9
The University of British Columbia 9
University of Virginia 9
Massachusetts Institute of Technology 9
Imperial College London 10
University of Pisa 10
University of California, San Diego 10
Hong Kong University of Science and Technology 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
University College London 13
Swinburne University of Technology 13
University of Buenos Aires 14
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
Carnegie Mellon University 15
University of Nebraska - Lincoln 16
Georgia Institute of Technology 17
University of Maryland 17
University of California, Irvine 20
National University of Singapore 23
Oregon State University 30
Politecnico di Milano 36

ACM Transactions on Software Engineering and Methodology (TOSEM)
Archive


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