2009.06.02 22:32

2009년 ESEC/FSE발표예정 논문들

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
Trackback 0 Comment 0