The Community for Technology Leaders
2013 8th International Workshop on Automation of Software Test (AST) (2013)
San Francisco, CA, USA
May 18, 2013 to May 19, 2013
ISBN: 978-1-4673-6161-3
TABLE OF CONTENTS

[Front matter] (PDF)

pp. 1-2

Contents (PDF)

pp. 1-2

Integrated TaaS platform for mobile development: Architecture solutions (Abstract)

Oleksii Starov , Department of Computer Science East Carolina University NC, USA
Sergiy Vilkomir , Department of Computer Science East Carolina University NC, USA
pp. 1-7

Automated scalability testing of software as a service (Abstract)

Paulo Moura , Department of Computer Science University of São Paulo - Brazil
Fabio Kon , Department of Computer Science University of São Paulo - Brazil
pp. 8-14

Vee@Cloud: The virtual test lab on the cloud (Abstract)

Xiaoying Bai , Department of Computer Science and Technology, TNList, Tsinghua University, Beijing, China
Muyang Li , Department of Computer Science and Technology, TNList, Tsinghua University, Beijing, China
Xiaofei Huang , Department of Computer Science and Technology, TNList, Tsinghua University, Beijing, China
Wei-Tek Tsai , Department of Computer Science and Technology, TNList, Tsinghua University, Beijing, China
Jerry Gao , Department of Computer Science and Technology, TNList, Tsinghua University, Beijing, China
pp. 15-18

Test algebra for combinatorial testing (Abstract)

Wei-Tek Tsai , School of Computing, Informatics, and Decision Systems Engineering Arizona State University, Tempe, AZ, USA
Charles J. Colbourn , School of Computing, Informatics, and Decision Systems Engineering Arizona State University, Tempe, AZ, USA
Jie Luo , State Key Laboratory of Software Development Environment School of Computer Science and Engineering, Beihang University, Beijing, China
Guanqiu Qi , School of Computing, Informatics, and Decision Systems Engineering Arizona State University, Tempe, AZ, USA
Qingyang Li , School of Computing, Informatics, and Decision Systems Engineering Arizona State University, Tempe, AZ, USA
Xiaoying Bai , Department of Computer Science and Technology, INLIST Tsinghua University, Beijing, China
pp. 19-25

ParTes: A test generation strategy for choreography participants (Abstract)

Francesco De Angelis , Computer Science Division - School of Science and Technology University of Camerino Via Madonna delle Carceri, 9-62032 Camerino, Italy
Daniele Fani , Computer Science Division - School of Science and Technology University of Camerino Via Madonna delle Carceri, 9-62032 Camerino, Italy
Andrea Polini , ISTI - CNR Via G. Moruzzi, 1 56124 Pisa, Italy
pp. 26-32

Functional SOA testing based on constraints (Abstract)

Seema Jehan , Institute for Software Technology Graz University of Technology, Austria
Ingo Pill , Institute for Software Technology Graz University of Technology, Austria
Franz Wotawa , Institute for Software Technology Graz University of Technology, Austria
pp. 33-39

Automatic generation of parallel unit tests (Abstract)

Jochen Schimmel , Karlsruhe Institute of Technology (KIT), Germany
Korbinian Molitorisz , Karlsruhe Institute of Technology (KIT), Germany
Ali Jannesari , German Research School for Simulation Sciences, Aachen, Germany
Walter F. Tichy , Karlsruhe Institute of Technology (KIT), Germany
pp. 40-46

Profile directed systematic testing of concurrent programs (Abstract)

Yan Hu , School of Software Dalian University of Technology Dalian, China
Jun Yan , Institute of Software Chinese Academy of Sciences Beijing, China
Jian Zhang , Institute of Software Chinese Academy of Sciences Beijing, China
He Jiang , School of Software Dalian University of Technology Dalian, China
pp. 47-52

Which compiler optimization options should I use for detecting data races in multithreaded programs? (Abstract)

Changjiang Jia , City University of Hong Kong Tat Chee Avenue, Hong Kong
W. K. Chan , City University of Hong Kong Tat Chee Avenue, Hong Kong
pp. 53-56

Security testing of the communication among Android applications (Abstract)

Andrea Avancini , Fondazione Bruno Kessler Trento, Italy
Mariano Ceccato , Fondazione Bruno Kessler Trento, Italy
pp. 57-63

Access control enforcement testing (Abstract)

Donia El Kateb , Security, Reliability and Trust Interdisciplinary Research Center, SnT
Yehia El Rakaiby , Security, Reliability and Trust Interdisciplinary Research Center, SnT
Tejeddine Mouelhi , Security, Reliability and Trust Interdisciplinary Research Center, SnT
Yves Le Traon , Security, Reliability and Trust Interdisciplinary Research Center, SnT
pp. 64-70

XSS pattern for attack modeling in testing (Abstract)

Josip Bozic , Institute for Software Technology Graz University of Technology A-8010 Graz, Austria
Franz Wotawa , Institute for Software Technology Graz University of Technology A-8010 Graz, Austria
pp. 71-74

Automated generation of state abstraction functions using data invariant inference (Abstract)

Paolo Tonella , Fondazione Bruno Kessler, Trento, Italy
Cu Duy Nguyen , Fondazione Bruno Kessler, Trento, Italy
Alessandro Marchetto , Fondazione Bruno Kessler, Trento, Italy
Kiran Lakhotia , University College London, UK
Mark Harman , University College London, UK
pp. 75-81

Towards automatic scenario generation from coverage information (Abstract)

Melanie Diepenbeck , Institute of Computer Science, University of Bremen, 28359 Bremen, Germany
Mathias Soeken , Institute of Computer Science, University of Bremen, 28359 Bremen, Germany
Daniel Grobe , Solvertec GmbH, 28359 Bremen, Germany
Rolf Drechsler , Institute of Computer Science, University of Bremen, 28359 Bremen, Germany
pp. 82-88

Test-Duo: A framework for generating and executing automated acceptance tests from use cases (Abstract)

Chin-Yun Hsieh , Department of Computer Science and Information Engineering National Taipei University of Technology Taipei, Taiwan 106
Chen-Hsin Tsai , Department of Computer Science and Information Engineering National Taipei University of Technology Taipei, Taiwan 106
Yu Chin Cheng , Department of Computer Science and Information Engineering National Taipei University of Technology Taipei, Taiwan 106
pp. 89-92

A refactoring-based approach for test case selection and prioritization (Abstract)

Everton L. G. Alves , SPLab - Software Practices Laboratory, Federal University of Campina Grande, UFCG, Campina Grande, Brazil
Patricia D. L. Machado , SPLab - Software Practices Laboratory, Federal University of Campina Grande, UFCG, Campina Grande, Brazil
Tiago Massoni , SPLab - Software Practices Laboratory, Federal University of Campina Grande, UFCG, Campina Grande, Brazil
Samuel T. C. Santos , SPLab - Software Practices Laboratory, Federal University of Campina Grande, UFCG, Campina Grande, Brazil
pp. 93-99

Utilizing software reuse experience for automated test recommendation (Abstract)

Werner Janjic , Software-Engineering Group University of Mannheim 68131 Mannheim, Germany
Colin Atkinson , Software-Engineering Group University of Mannheim 68131 Mannheim, Germany
pp. 100-106

Did we test our changes? Assessing alignment between tests and development in practice (Abstract)

Sebastian Eder , Technische Universität Miinchen, Germany
Benedikt Hauptmann , Technische Universität Miinchen, Germany
Maximilian Junker , Technische Universität Miinchen, Germany
Elmar Juergens , CQSE GmbH, Germany
Rudolf Vaas , Munich Re Group, Germany
Karl-Heinz Prommer , Munich Re Group, Germany
pp. 107-110

Automatic test generation for mutation testing on database applications (Abstract)

Kai Pan , University of North Carolina at Charlotte Charlotte, North Carolina, USA
Xintao Wu , University of North Carolina at Charlotte Charlotte, North Carolina, USA
Tao Xie , North Carolina State University Raleigh, North Carolina, USA
pp. 111-117

An industry proof-of-concept demonstration of automated combinatorial test (Abstract)

Redge Bartholomew , Rockwell Collins Cedar Rapids, la., USA
pp. 118-124

Extension of Selenium RC tool to perform automated testing with databases in web applications (Abstract)

Andreza M. F. V. de Castro , Nokia Institute of Technology Manaus, Amazonas, Brazil
Gisele A. Macedo , Nokia Institute of Technology Manaus, Amazonas, Brazil
Eliane F. Collins , Nokia Institute of Technology Manaus, Amazonas, Brazil
Arilo C. Dias-Neto , Institute of Computing Federal University of Amazonas Manaus, Amazonas, Brazil
pp. 125-131

Quantifying the complexity of dataflow testing (Abstract)

Giovanni Denaro , University of Milano-Bicocca Milano, Italy 20126
Mauro Pezze , University of Milano-Bicocca University of Lugano Lugano, Switzerland 6900
Mattia Vivanti , University of Lugano Lugano, Switzerland 6900
pp. 132-138

Computation and visualization of cause-effect paths (Abstract)

Alpana Dubey , Software Development Improvement Program ABB Ltd. Bangalore, India
Pvr Murthy , Corporate Research Technologies Siemens Bangalore, India
pp. 139-145

JIFFY: A framework for encompassing aspects in testing and debugging software (Abstract)

Mohammad Asif , Software Engineering Research Lab International Institute of Information Technology (IIIT-H) Hyderabad, India
Y. Raghu Reddy , Software Engineering Research Lab International Institute of Information Technology (IIIT-H) Hyderabad, India
pp. 146-149
86 ms
(Ver 3.3 (11022016))