• A
  • ASE
  • 2012
  • 2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Advanced Search 
2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Essen, Germany Germany
September 03-September 07
ISBN: 978-1-4503-1204-2
Table of Contents
Papers
Mark Harman, University College London, UK
William B. Langdon, University College London, UK
Yue Jia, University College London, UK
David R. White, University of Glasgow, UK
Andrea Arcuri, Simula Research Laboratory, Norway
John A. Clark, University of York, UK
pp. 1-14
Ivar Jacobson, Ivar Jacobson International, UK
Ian Spence, Ivar Jacobson International, UK
Pontus Johnson, KTH Royal Institute of Technology, Sweden
Mira Kajko-Mattsson, KTH Royal Institute of Technology, Sweden
pp. 15-19
Kai Yu, Beihang University, China
Mengxiang Lin, Beihang University, China
Jin Chen, Beihang University, China
Xiangyu Zhang, Beihang University, China
pp. 20-29
Liang Gong, Tsinghua University, China
David Lo, Singapore Management University, Singapore
Lingxiao Jiang, Singapore Management University, Singapore
Hongyu Zhang, Tsinghua University, China
pp. 30-39
Divya Gopinath, University of Texas at Austin, USA
Razieh Nokhbeh Zaeem, University of Texas at Austin, USA
Sarfraz Khurshid, University of Texas at Austin, USA
pp. 40-49
Ferdian Thung, Singapore Management University, Singapore
Lucia, Singapore Management University, Singapore
David Lo, Singapore Management University, Singapore
Lingxiao Jiang, Singapore Management University, Singapore
Foyzur Rahman, UC Davis, USA
Premkumar T. Devanbu, UC Davis, USA
pp. 50-59
Anh Tuan Nguyen, Iowa State University, USA
Tung Thanh Nguyen, Iowa State University, USA
Tien N. Nguyen, Iowa State University, USA
David Lo, Singapore Management University, Singapore
Chengnian Sun, National University of Singapore, Singapore
pp. 70-79
Xusheng Xiao, North Carolina State University, USA
Nikolai Tillmann, Microsoft Research, USA
Manuel Fahndrich, Microsoft Research, USA
Jonathan De Halleux, Microsoft Research, USA
Michal Moskal, Microsoft Research, USA
pp. 80-89
Sonia Haiduc, Wayne State University, USA
Gabriele Bavota, University of Salerno, Italy
Rocco Oliveto, University of Molise, Italy
Andrea De Lucia, University of Salerno, Italy
Andrian Marcus, Wayne State University, USA
pp. 90-99
Mohamed Almorsy, Swinburne University of Technology, Australia
John Grundy, Swinburne University of Technology, Australia
Amani S. Ibrahim, Swinburne University of Technology, Australia
pp. 100-109
Sven Apel, University of Passau, Germany
Olaf Lessenich, University of Passau, Germany
Christian Lengauer, University of Passau, Germany
pp. 120-129
Ayman Amin, Swinburne University of Technology, Australia
Lars Grunske, University of Kaiserslautern, Germany
Alan Colman, Swinburne University of Technology, Australia
pp. 130-139
Ning Chen, Hong Kong University of Science and Technology, China
Sunghun Kim, Hong Kong University of Science and Technology, China
pp. 140-149
Kari Kahkonen, Aalto University, Finland
Olli Saarikivi, Aalto University, Finland
Keijo Heljanko, Aalto University, Finland
pp. 150-159
Adel Noureddine, INRIA, France / University of Lille, France
Aurelien Bourdon, INRIA, France / University of Lille, France
Romain Rouvoy, INRIA, France / University of Lille, France
Lionel Seinturier, INRIA, France / University of Lille, France / Institut Universitaire de France, France
pp. 160-169
Hyunmin Seo, Hong Kong University of Science and Technology, China
Sunghun Kim, Hong Kong University of Science and Technology, China
pp. 180-189
Dennis Westermann, SAP Research, Germany
Jens Happe, SAP Research, Germany
Rouven Krebs, SAP Research, Germany
Roozbeh Farahbod, SAP Research, Germany
pp. 190-199
Mohamed Almorsy, Swinburne University of Technology, Australia
John Grundy, Swinburne University of Technology, Australia
Amani S. Ibrahim, Swinburne University of Technology, Australia
pp. 230-233
Amani S. Ibrahim, Swinburne University of Technology, Australia
John Grundy, Swinburne University of Technology, Australia
James Hamlyn-Harris, Swinburne University of Technology, Australia
Mohamed Almorsy, Swinburne University of Technology, Australia
pp. 234-237
Xiaoyin Wang, Peking University, China
Yingnong Dang, Microsoft Research, China
Lu Zhang, Peking University, China
Dongmei Zhang, Microsoft Research, China
Erica Lan, Microsoft, USA
Hong Mei, Peking University, China
pp. 170-179
Julia Rubin, University of Toronto, Canada / IBM Research, Israel
Marsha Chechik, University of Toronto, Canada
pp. 242-245
Katsuhisa Maruyama, Ritsumeikan University, Japan
Eijiro Kitsu, Ritsumeikan University, Japan
Takayuki Omori, Ritsumeikan University, Japan
Shinpei Hayashi, Tokyo Institute of Technology, Japan
pp. 246-249
Martin Faunes, Université de Montréal, Canada
Houari Sahraoui, Université de Montréal, Canada
Mounir Boukadoum, Université du Québec à Montréal, Canada
pp. 250-253
Konrad Jamrozik, Saarland University, Germany
Gordon Fraser, University of Sheffield, UK
Nikolai Tillmann, Microsoft Research, USA
Jonathan De Halleux, Microsoft Research, USA
pp. 254-257
Domenico Amalfitano, Università Federico II Napoli, Italy
Anna Rita Fasolino, Università Federico II Napoli, Italy
Porfirio Tramontana, Università Federico II Napoli, Italy
Salvatore De Carmine, Università Federico II Napoli, Italy
Atif M. Memon, University of Maryland, USA
pp. 258-261
Lucia, Singapore Management University, Singapore
David Lo, Singapore Management University, Singapore
Lingxiao Jiang, Singapore Management University, Singapore
Aditya Budi, Singapore Management University, Singapore
pp. 262-265
JeeHyun Hwang, North Carolina State University, USA
Tao Xie, North Carolina State University, USA
Donia El Kateb, University of Luxembourg, Luxembourg
Tejeddine Mouelhi, University of Luxembourg, Luxembourg
Yves Le Traon, University of Luxembourg, Luxembourg
pp. 266-269
Lei Shang, University of New South Wales, Australia
Yi Lu, University of New South Wales, Australia
Jingling Xue, University of New South Wales, Australia
pp. 270-273
Alexandre Bartel, University of Luxembourg, Luxembourg / SnT, Luxembourg
Jacques Klein, University of Luxembourg, Luxembourg / SnT, Luxembourg
Yves Le Traon, University of Luxembourg, Luxembourg / SnT, Luxembourg
Martin Monperrus, University of Lille, France / INRIA, France
pp. 274-277
Abdou Maiga, Université de Montréal, Canada
Nasir Ali, École Polytechnique de Montréal, Canada
Neelesh Bhattacharya, École Polytechnique de Montréal, Canada
Aminata Sabane, École Polytechnique de Montréal, Canada
Yann-Gael Gueheneuc, École Polytechnique de Montréal, Canada
Giuliano Antoniol, École Polytechnique de Montréal, Canada
Esma Aimeur, Université de Montréal, Canada
pp. 278-281
Hung Viet Nguyen, Iowa State University, USA
Hoan Anh Nguyen, Iowa State University, USA
Tung Thanh Nguyen, Iowa State University, USA
Anh Tuan Nguyen, Iowa State University, USA
Tien N. Nguyen, Iowa State University, USA
pp. 282-285
Friedrich Steimann, Fernuniversität in Hagen, Germany
Jens von Pilgrim, Fernuniversität in Hagen, Germany
pp. 290-293
Rainer Lutz, University of Trier, Germany
Sascha Schafer, University of Trier, Germany
Stephan Diehl, University of Trier, Germany
pp. 298-301
Timo Kehrer, University of Siegen, Germany
Udo Kelter, University of Siegen, Germany
Pit Pietsch, University of Siegen, Germany
Maik Schmidt, University of Siegen, Germany
pp. 306-309
Huihua Lu, West Virginia University, USA
Bojan Cukic, West Virginia University, USA
Mark Culp, West Virginia University, USA
pp. 314-317
Rui Ding, Microsoft Research, China
Qiang Fu, Microsoft Research, China
Jian-Guang Lou, Microsoft Research, China
Qingwei Lin, Microsoft Research, China
Dongmei Zhang, Microsoft Research, USA
Jiajun Shen, Shanghai Jiao Tong University, China
Tao Xie, North Carolina State University, USA
pp. 318-321
Massila Kamalrudin, Universiti Teknikal Malaysia Melaka, Malaysia
John Grundy, Swinburne University of Technology, Australia
John Hosking, Australian National University, Australia
pp. 326-329
Sebastian Bauersfeld, Universitat Politècnica de València, Spain
Tanja E. J. Vos, Universitat Politècnica de València, Spain
pp. 330-333
Palakorn Achananuparp, Singapore Management University, Singapore
Ibrahim Nelman Lubis, Singapore Management University, Singapore
Yuan Tian, Singapore Management University, Singapore
David Lo, Singapore Management University, Singapore
Ee-Peng Lim, Singapore Management University, Singapore
pp. 334-337
Sebastian Biallas, RWTH Aachen University, Germany
Jorg Brauer, Verified Systems International, Germany
Stefan Kowalewski, RWTH Aachen University, Germany
pp. 338-341
Yves Ledru, UJF-Grenoble 1, France / Grenoble-INP, France / UPMF-Grenoble2, France / CNRS, France
German Vega, UJF-Grenoble 1, France / Grenoble-INP, France / UPMF-Grenoble2, France / CNRS, France
Taha Triki, UJF-Grenoble 1, France / Grenoble-INP, France / UPMF-Grenoble2, France / CNRS, France
Lydie du Bousquet, UJF-Grenoble 1, France / Grenoble-INP, France / UPMF-Grenoble2, France / CNRS, France
pp. 342-345
Fu Song, CNRS, France / University Paris Diderot, France
Tayssir Touili, CNRS, France / University Paris Diderot, France
pp. 346-349
Inah Omoronyia, Lero, Ireland / University of Limerick, Ireland
Liliana Pasquale, Lero, Ireland / University of Limerick, Ireland
Mazeiar Salehie, Lero, Ireland / University of Limerick, Ireland
Luca Cavallaro, Lero, Ireland / University of Limerick, Ireland
Gavin Doherty, Lero, Ireland / Trinity College Dublin, Ireland
Bashar Nuseibeh, Lero, Ireland / University of Limerick, Ireland / Open University, UK
pp. 354-357
Antonio Cicchetti, Mälardalen University, Sweden
Federico Ciccozzi, Mälardalen University, Sweden
Silvia Mazzini, Intecs, Italy
Stefano Puri, Intecs, Italy
Marco Panunzio, University of Padova, Italy
Alessandro Zovi, University of Padova, Italy
Tullio Vardanega, University of Padova, Italy
pp. 362-365
Ahmed Tamrawi, Iowa State University, USA
Hoan Anh Nguyen, Iowa State University, USA
Hung Viet Nguyen, Iowa State University, USA
Tien N. Nguyen, Iowa State University, USA
pp. 366-369
Cameron Hine, Swinburne University of Technology, Australia
Jean-Guy Schneider, Swinburne University of Technology, Australia
Jun Han, Swinburne University of Technology, Australia
Steve Versteeg, CA Labs, Australia
pp. 370-373
Jose Campos, University of Porto, Portugal
Andre Riboira, University of Porto, Portugal
Alexandre Perez, University of Porto, Portugal
Rui Abreu, University of Porto, Portugal
pp. 378-381
Jesper Andersen, University of Copenhagen, Denmark
Anh Cuong Nguyen, National University of Singapore, Singapore
David Lo, Singapore Management University, Singapore
Julia L. Lawall, INRIA, France
Siau-Cheng Khoo, National University of Singapore, Singapore
pp. 382-385
Tuong Huan Nguyen, Swinburne University of Technology, Australia
Bao Quoc Vo, Swinburne University of Technology, Australia
Markus Lumpe, Swinburne University of Technology, Australia
John Grundy, Swinburne University of Technology, Australia
pp. 386-389
Panita Meananeatra, Thammasat University, Thailand / National Electronics and Computer Technology Center, Thailand
pp. 406-409
Usage of this product signifies your acceptance of the Terms of Use.