ICSE와 함께 최고의 소프트웨어 공학 학회인 ESEC/FSE 2009 에 accept된 논문들이 발표 되었습니다. 이번학회에 참여할 예정이니 여러분들의 관심을 끄는 논문을 알려 주시면 제가 유심히 보고 후기를 올리겠습니다.
http://www.esec-fse-2009.ewi.tudelft.nl/node/27
Full Papers
Fitting the Pieces Together: A Machine-Checked Model of Safe Composition
Benjamin Delaware, University of Texas at Austin,
William Cook, University of Texas at Austin,
Don Batory, University of Texas at Austin
On the Relationship Between Process Maturity and Geographic
Distribution: an Empirical Analysis of their Impact on Software Quality
Marcelo Cataldo, Bosch Corporate Researrch
Sangeeth Nambiar, Robert Bosch Engineering and Business Solutions Limited
Automatic Steering of Behavioral Model Inference
David Lo, Singapore Management University
Leonardo Mariani, University of Milano Bicocca
Mauro Pezzè, University of Milano Bicocca
DARWIN: An Approach for Debugging Evolving Programs
Dawei Qi, National University of Singapore
Abhik Roychoudhury, National University of Singapore
Zhenkai Liang, National University of Singapore
Kapil Vaswani, Microsoft Research India
Navigating the API Web via Structural Overlap
Fan Long, Tsinghua University
Xi Wang, Massachusetts Institute of Technology
Yang Cai, Massachusetts Institute of Technology
Improving Bug Triage with Bug Tossing Graphs
Gaeul Jeong, Seoul National University
Sunghun Kim, Hong Kong University of Science and Technology
Thomas Zimmermann, Microsoft Research
Refactoring for Reentrancy
Jan Wloka, Rutgers University
Manu Sridharan, IBM T.J. Watson Research Center
Frank Tip, IBM T.J. Watson Research Center
DebugAdvisor: A Recommender System for Debugging
B Ashok, Microsoft Research
Joseph Joy, Microsoft Research
Hongkang Liang, Microsoft
Sriram Rajamani, Microsoft Research
Gopal Srinivasa, Microsoft Research
Vipindeep Vangala, Microsoft
Static Data Race Detection for Concurrent Programs with Asynchronous Calls
Vineet Kahlon, NEC Laboratories, Princeton
Nishant Sinha, NEC Laboratories, Princeton
Yun Zhang, Princeton University, Princeton
Erik Kruus, NEC Laboratories, Princeton
Backward-compatible constant-time exception-protected memory
Pradeep Varma, IBM India Research Laboratory
Rudrapatna Shyamasundar, IBM India Research Laboratory
Harshit Shah, IBM India Research Laboratory
Automatic synthesis of behavior protocols for composable web-services
Antonia Bertolino, ISTI-CNR, Pisa
Paola Inverardi, University of L'Aquila
Patrizio Pelliccione, University of L'Aquila
Massimo Tivoli, University of L'Aquila
Improving Slice Accuracy by Compression of Data and Control Flow Paths
Aharon Abadi, IBM Haifa Research Lab
Ran Ettinger, IBM Haifa Research Lab
Yishai A. Feldman, IBM Haifa Research Lab
Behavioral Automata Composition for Automatic Topology Independent Verification of Parameterized Systems
Youssef Hanna, Iowa State University
Samik Basu, Iowa State University
Hridesh Rajan, Iowa State University
Probabilistic Environments in the Quantitative Analysis of (Non-Probabilistic) Behaviour Models
Esteban Pavese, Universidad de Buenos Aires
Victor Braberman, Universidad de Buenos Aires
Sebastián Uchitel, Universidad de Buenos Aires
Fair and Balanced? Bias in Bug-Fix Datasets
Christian Bird, University of California, Davis
Adrian Bachmann, University of Zurich
Eirik Aune, University of California, Davis
John Duffy, University of California, Davis
Abraham Bernstein, University of Zurich
Vladimir Filkov, University of California, Davis
Cross-project Defect Prediction
Thomas Zimmermann, Microsoft Research
Nachiappan Nagappan, Microsoft Research
Harald Gall, University of Zurich
Emanuel Giger, University of Zurich
Brendan Murphy, Microsoft Research
Capturing Propagation of Infected Program States
Zhenyu Zhang, The University of Hong Kong
W.k. Chan, City University of Hong Kong
T.h. Tse, The University of Hong Kong
Bo Jiang, The University of Hong Kong
Xinming Wang, Hong Kong University of Science and Technology
Symbolic Pruning of Concurrent Program Executions
Chao Wang, NEC Labs America
Swarat Chaudhuri, Penn State University
Aarti Gupta, NEC Labs America
Yu Yang, Univ. of Utah
MSeqGen: Object-Oriented Unit-Test Generation via Mining Source Code
Suresh Thummalapenta, North Carolina State University
Tao Xie, North Carolina State University
Nikolai Tillmann, Microsoft Research
Jonathan Halleux, Microsoft Research
Wolfram Schulte, Microsoft Research
Saturation-based Testing of Concurrent Programs
Elena Sherman, University of Nebraska - Lincoln
Matthew B. Dwyer, University of Nebraska - Lincoln
Sebastian Elbaum, University of Nebraska - Lincoln
Asserting and Checking Determinism for Multithreaded Programs
Jacob Burnim, University of California, Berkeley
Koushik Sen, University of California, Berkeley
Synthesizing Partial Component-Level Behavior Models from System Specifications
Ivo Krka, University of Southern California
Yuriy Brun, University of Southern California
George Edwards, University of Southern California
Nenad Medvidovic, University of Southern California
Ensuring Interoperable Software Systems through Engineered Self-Healing
Giovanni Denaro, University of Milano-Bicocca
Mauro Pezzè, University of Milano-Bicocca and University of Lugano
Davide Tosi, University of Milano-Bicocca
Sireum/Topi LDP: A Lightweight Semi-Decision Procedure for Optimizing Symbolic Execution-based Analyses
Jason Belt, Kansas State University
Fnu Robby, Kansas State University
Xianghua Deng, Penn State University - Harrisburg
Supporting Automatic Model Inconsistency Fixing
Yingfei Xiong, University of Tokyo
Zhenjiang Hu, GRACE Center, National Institute of Informatics, Tokyo
Haiyan Zhao, Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education
Hui Song, Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education
Masato Takeichi, University of Tokyo
Hong Mei, Key Laboratory of High Confidence Software Technologies (Peking University), Ministry of Education
Graph-based Mining of Multiple Object Usage Patterns
Tung Nguyen, Iowa State University
Hoan Nguyen, Iowa State University
Nam Pham, Iowa State University
Jafar Al-Kofahi, Iowa State University
Tien Nguyen, Iowa State University
Monitoring for Probabilistic Properties
Lars Grunske, Swinburne University of Technology
Pengcheng Zhang, Swinburne University of Technology
Learning from Examples to Improve Code Completion Systems
Marcel Bruch, Darmstadt University of Technology
Martin Monperrus, Darmstadt University of Technology
Mira Mezini, Darmstadt University of Technology
Automated Security Testing of Web Widget Interactions
Cor-Paul Bezemer, Delft University of Technology and Exact Software
Ali Mesbah, Delft University of Technology
Arie van Deursen, Delft University of Technology
Whitening SOA Testing
Cesare Bartolini, ISTI-CNR
Antonia Bertolino, ISTI-CNR
Sebastian Elbaum, University of Nebraska
Eda Marchetti, ISTI-CNR
QoS driven Runtime Adaptation of Service-oriented Architectures of Service-oriented Architectures
Valeria Cardellini, Universita' di Roma "Tor Vergata"
Emiliano Casalicchio, Universita' di Roma "Tor Vergata"
Vincenzo Grassi, Universita' di Roma "Tor Vergata"
Francesco Lo Presti, Universita' di Roma "Tor Vergata"
Raffaela Mirandola, Politecnico di Milano
Data Flow Testing of Service Choreography
Lijun Mei, The University of Hong Kong
W.k. Chan, City Univeristy of Hong Kong
T.h. Tse, The University of Hong Kong
Short Papers
Facilitating Software Refactoring with Appropriate Resolution Order of Bad Smells
Hui Liu, Beijing Institute of Technology
Software Change Dynamics: Which Dependencies do matter? Empirical Evidence from 35 Java Projects
Markus M. Geipel, ETH Zurich
Frank Schweitzer, ETH Zurich
Identifying Crosscutting Concerns Using Historical Code Changes
Bram Adams, SAIL, Queen's University
Zhen Ming Jiang, SAIL, Queen's University
Ahmed E. Hassan, SAIL, Queen's University
Scalable Modular Checking of System-Specific Properties: Myth or Reality?
Shuvendu K. Lahiri, Microsoft Research
Brian Hackett, Stanford University
Shaz Qadeer, Microsoft Research
Thomas Ball, Microsoft Research
Practical Framework Constraints
Francois Bronsard, Siemens Corporate Research
Evaluating Recovery Aware Components for Grid Reliability
Iman Yusuf, RMIT University
Heinz Schmidt, RMIT University
Ian Peake, RMIT University
Towards Accurate Probabilistic Models using State Refinement
Paulo H. Maia, Imperial College London
Jeff Kramer, Imperial College London
Sebastian Uchitel, Imperial College London
Nabor C. Mendonça, Universidade de Fortaleza
Prev
Rss Feed